Suggested Searches

Proceedings of NASA’s 2014 Annual Workshop on Independent Verification and Validation of Software is available.
Download 2014 Proceedings

Below you will find links to the presentations submitted and associated video for the 2014 collection.

* Presentation slides are not available on this video. You can download the associated slides to the left of the video link.

Day 1  September 9, 2014

The Art and Science of Managing Command File Errors (Leila Meshkat) | Abstract and Video*

Analysis of the Effects of Auto Genterated Code on IV&V of Mission Critical Software (Noble Nkwocha, Andrew Sung) | Abstract and Video*

Introduction to DMA and AMF (Don Kranz, Steve Husty) | Abstract and Video*

Plug and Play with DMA Components (Neal Saito, Tom Gullion, Don Kranz) | Abstract and Video*

Using Combinatorial Methods to Determine Test Set Size (Rick Kuhn) | Abstract and Video*

Application of Goal Structure Notation (GSN) in IV&V Activities (Taisuke Kanbe) | Abstract and Video*

Comparison of IV&V’s Use of Non Verification Environments and Program Use of Verification Environments (Ricky Beamer) | Abstract and Video*

Risk Based Assessment and Information Assurance (Joelle Loretta, Rich Brockway, Craig Burget) | Abstract and Video*

IV&V Lessons Learned From a Memory-Scrub Anomaly (Dan Painter) | Abstract and Video*

There and Back Again – Connecting Assurance Statements to Analysis Spreadsheets in Support of Evidence Based Assurance for the GSDO Project (Pat Olguin) | Abstract and Video*

Global Precipitation Measurement (GPM) Safety Inhibit Timeline Tool (Shirley Dion) | Abstract and Video*

Day 2  September 10, 2014

Automating Evidence Collection for Software Assurance from Existing Status Reports (Bob Inscoe) | Abstract and Video

Use of XSLT to Transform the Output of Multiple Static Code Analysis Tools Into A Consistent Analysis Spreadsheet Format (Ben Markle) | Abstract and Video

Automated Visual GUI Testing for the Space Network (Charles Song) | Abstract and Video

IV&V and the Heartbleed Vulnerability (Gerald Hess) | Abstract and Video

What IV&V Can Learn from River Guides (Lorlei Lohrli-Kirk, Neal Saito) | Abstract and Video

NASA Software Assurance Challenges for Commercial Crew Program (Kathy Malnick, Chad Schaeffer) | Abstract and Video

Metrics for V&V of Cyberdefenses (Martin Feather) | Abstract and Video

Get Confidence in Mission Security with IV&V Information Assurance (Rich Brockway) | Abstract and Video

IRSim: A Web-Based Tool for Establishing Traceability Links Among Software Artifacts (Dharma Genesan) | Abstract and Video

Day 3 September 11, 2014

Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach (Emil Vassev) | Abstract and Video

The Challenges of Assuring Vision Systems for Space Missions (Charley Price, Vincent Howard)) | Abstract and Video

Robotic Systems of OSIRIS-REx, Asteroid Redirect and Mars 2020 Missions Q&A (Andre Sylvester, Thomas Evans, David Turner, Vincent Howard, Charley Price) | Abstract and Video

Sketch Theory as a Framework for Knowledge Management ( Ralph Wojtowicz) | Abstract and Video

End-to-End Fault Management Analysis Method, Results, and Future Improvements (Ryan Starn) | Abstract and Video

NASA IV&V Software Emulator Technology Portfolio (Matt Grubb) | Abstract and Video*

Space Hardware (Steve Yokum) | Abstract and Video*

Assessment of Fault Management in Network Resource-Intensive and Protocol-Rich Environments (Tom Hempler) | Abstract and Video

Scoping and Analysis of FPGA’s from an IV&V Perspective (Pradip Mairta, John Ryan) | Abstract and Video*