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
https://www.nasa.gov/centers/ivv/workshops/index.html
We are currently seeking technical paper, poster and demo submissions in the areas noted below.
MANAGEMENT TRACK |
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 DOD FAA Law Enforcement Automotive |
TECHNICAL TRACK |
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 |
R&D TRACK |
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 |