2013 NASA IV&V Workshop Call for Papers

UPDATE: The deadline for abstract papers has been moved to June 30, 2013.


2013 NASA IV&V Workshop Call for Papers

The Fifth International Workshop on Independent Verification & Validation (IV&V) of Software

West Virginia University’s Erickson Alumni Center

Morgantown, West Virginia, USA

September 10-12, 2013

The NASA IV&V Annual Workshop offers an in-depth understanding of the challenges that V&V organizations face in assuring that system software operates safely and reliably. The goal of the workshop is to generate solutions to these challenges. This year, we will be offering topics in three different tracks, as indicated in the tables below. To participate in this workshop, you must submit an abstract (maximum 4000 characters, including spaces) by April 15, 2013. Abstracts will be reviewed for relevancy to this workshop. A new feature of this year’s workshop will give authors the option of preparing a paper that will be presented in proceedings to be published at the completion of the workshop. If an abstract is deemed relevant, the author will be invited to prepare a draft of his or her final paper. All final paper drafts will be reviewed for acceptance as either a poster presentation or an oral presentation at this year’s workshop.


All abstracts are to be written in English. An electronic version (PDF or MS Word format) should be submitted via email to Lisa Downs at Sadie.E.Downs@nasa.gov.


Important Dates

April 15, 2013              Abstract submission Due

May 15, 2013              Notification of Acceptance

June 1, 2013               Attendee Registration Opens

August 31, 2013          Final Papers/Presentations Due

August 31, 2013          Attendee Registration Closes


Contact Information

Annual IV&V Workshop Chair: Lisa Downs, Sadie.E.Downs@nasa.gov

Registration and Social Media: Bailee Morris, Bailee.R.Morris@ivv.nasa.gov and Jennifer Neptune, Jennifer.D.Neptune@ivv.nasa.gov

Corporate Sponsorships: Phil Loftis, Philip.D.Loftis@ivv.nasa.gov

Technical Committee and Annual IV&V Workshop Co-Chair: Stephen Husty, Stephen.Husty@nasa.gov





We are currently seeking technical paper, poster and demo submissions in the areas noted below.



Optimizing IV&V Planning and Execution

Analysis Framework Reuse (i.e., developer-specific mission analysis frameworks)

Development and Application of Assurance Case Structures

Efficiency Measurement and Continuous Improvement

Unified IV&V Analysis Process

IV&V Analysis Work Optimization Tips and Techniques

Application of Common Office Tools in Reducing Burden of IV&V Analysis and Evidence Collection

Use of Shared Data Dictionary for Improving Commonality of Terms of Reference Between Projects

IV&V Infrastructure and Stakeholder Community Support

IV&V Education Challenges

IV&V Skills Development and Certification

Efficient Risk Management in IV&V

Computing the Value of IV&V

Integrating NASA Assured Systems with Commercial Assured Systems

Commercial Space Systems IV&V

IV&V Challenges and Opportunities of SDLC Choices and Applicable Lessons Learned

Extending NASA IV&V Methods and Tools Applicability to Other Domains

New York City 911



Law Enforcement




IV&V Analysis Case Studies

Addressing Security Aspects of System Assurance via IV&V

Development and Application of IV&V Technical Reference Solutions

Assurance of Model-based Development

Automated Software Specification

Automated Software Design and Synthesis

IV&V of Autogenerated Code

Writing a “Good” Assurance Claim

Architecture Frameworks as Applied to NASA Systems

Software Assurance of Complex Algorithms

Criticality Analysis

Data Product IV&V

Data Integrity

Data Visualization

Patterns and Frameworks Applied to IV&V Analysis

Off-nominal Operations

Software-based Hazard Causes, Contributors and Controls




Special-Case IV&V Challenges

Challenges of IV&V of Projects Using Other Than Waterfall SDLC

Performing IV&V on an En Route Project

IV&V of Auto-generated Code

Highly Parallel Development Projects

IV&V Test Verification Methodologies

Autonomous Systems IV&V

Robotic Systems IV&V

IV&V of Early Lifecycle Artifacts

Partitioned Systems

Swarm Intelligence

Adaptive Systems

Application of Assurance Case Methodology to Assuring Autonomous Systems

Initiating and Evolving IV&V Methods

Use of Simulations in Performing IV&V

IV&V of Critical Behavior

Improving Effectiveness and Efficiency of IV&V Methods

Evolving Technology Impacts on IV&V Analysis Methodologies

The Future of Software Development and Its Impact on IV&V

Innovative Uses of Non-traditional IV&V Tools to Improve IV&V Analyses

Crowd Sourcing as a Prototype for Code Validation

Towards Content/Context-based and Collaborative IV&V

Application of Data Mining Tools to Support IV&V

Applying Social Media to IV&V

Knowledge Engineering Tools and Techniques

Knowledge Representation and Retrieval

Knowledge Visualization

Integrity, Security and Fault Tolerance Assessments in IV&V

Fault Management Architecture and Implementation IV&V

Team-based Approach to Performing IV&V of Systems

Computer-Supported Cooperative Work

Verifying Scripts

Providing Assurance of Enterprise Software, Middleware and Tools

Performance-based Design Assurance

Formal Methods: Current Tools and Practical Applications