IV&V Annual Workshop 2013

Loading ...

2013 Annual Workshop Presentations

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

NASA's 2013 Annual Workshop on Independent Verification and Validation of Software Schedule is available.
Download 2013 Schedule

September 10-12, 2013

Virtual Conference: The organizing committee of NASA's 2013 Annual Workshop on Independent Verification and Validation of Software is eager to provide a flexible conference to allow maximum participation. For 2013 we are planning a virtual conference using web-based interactive applications. We will announce the details of participation as soon as possible. Please check back for updates.

To the Robert H. Mollohan Research Center
1000 Galliher Drive
Fairmont, WV 26554
(304) 333-6470


Download the agenda
Start Time Presentation Video Presenter(s)
Day 1 09/10/2013
8:30 JAXA's IV&V Activity and Value Concept Tsutomu Matsumoto, Umeda Hiroki
9:00 IV&V Lessons Learned From On-Orbit Anomaly Research Joseph D. Painter, Stephen M. Pukansky, Stephen Husty, Koorosh Mirfakhraie
9:30 Orion Crew Exploration Vehicle Model-Based Design Implementation - An IV&V Perspective Joel Henry, David Frazier, Steve Driskell, Leonard Frost
10:15 NASA IV&V for the New York City E911 Program Shirley Savarino, Mike Facemire, Hendrik Strydom
10:45 IV&V of PSAP Radio System Pradip Maitra
11:15 Robustness of PSAP Radio System Roman Mezhericher
13:00 IV&V Coverage of NASA Software Guidelines Jacob Cox
13:30 An Introduction to AMF Don Kranz, Tom Gullion, Neal Saito, Gary Marchiny
14:00 NASA Operational Simulator (NOS) Justin R. Morris
14:45 MPCV IV&V with a Dynamic Twist Ricky Beamer, David Ho
15:15 Using Static Code Analysis Tools for Detection of Security Vulnerabilities Katerina Goseva-Popstojanova, Andrei Perhinschi
15:45 Evidence-Based Assurance with the Analyst Workbench Zachary Seamon, Donald Kranz
16:15 Supporting Project Management with AMF Jeremy Fienhold, Don Kranz
16:45 James Webb Space Telescope (JWST) Integrated Science Instrument Module (ISIM) Independent Testing Chris Lescinsky, Rick Hess
Day 2 09/11/2013
8:15 Space Launch System (SLS) Independent Verification and Validation (IV&V) Analysis Processes within Enterprise Architecture (EA) Mark Lee, Guy Kubic
8:45 Mining Technical Issue Memorandums for Knowledge: Challenges and Possibilities William Stanton
9:15 Finite States: Base Elements in a Computing Orchestra, Reducing Software Complexity and Improving Software Accuracy, Validation and Verification Ronald Finkbine, Ph.D.
10:00 Semantic Knowledge Representation Jim Trawick
10:30 Multimedia Steganalysis as Part of Mission Critical Software Independent Verification & Validation (IV&V) Qingzhong Liu, Noble N. Nkwocha, Andrew H. Sung
11:00 Static Analysis Tool Comparison with Respect to C++ Jacob Cox
11:30 What's the Big Deal About CQCs? Rick Hess, Pat Theeke
13:00 Performance Measurement at NASA Independent Verification and Validation Art Rabeau, Travis Dawson
13:30 Assurance Cases in Planning and Execution of NASA IV&V Projects Travis Dawson, Sam Brown
14:00 Practical Assurance Case Design Samuel Brown
14:45 Independent Formal Verification of Safety-‐‐Critical Systems’ User Interface: A Space System Case Study Manuel Sousa, Jose Creissac Campos, Miriam Alves, Michael D. Harrison
15:15 Scalable and Flexible Static Analysis of Flight-‐‐Critical Software Guillaume Brat, Arnaud Venet
15:45 Accelerating MS Office Work with AMF Neal Saito, Gary Marchiny, Donald Kranz
16:15 NATO IV&V: Work in Progress Brad Bigelow, M.Sc., Arend Smit, Ph.D.
Day 3 09/12/2013
8:15 TraceLab Player: From Researchers to IV&Vers Jane Hayes, Jane Huang, Adam Czauderna
8:45 Use of a Technical Reference in NASA Independent Verification and Validation Travis Dawson
9:15 Model‐Based Testing of Spacecraft Flight Software Maria Hernek
9:45 Model-based Testing of NASA systems Dharmalingam Ganesan
10:30 Architecture of the AMF Don Kranz, Tom Gullion, Neal Saito, Gary Marchiny
11:00 IV&V Techniques for Robotics on OSIRIS-REx Charley Price, Ricky Forguer, David Turner
13:00 Evaluating the t-way Combinatorial Technique for Determining the Thoroughness of a Test Suite Charley Price, Ricky Forquer, Adel Lagoy, D. Richard Kuhn, Raghu Kacker
13:30 Automated Design-Time Analysis for the GOES-R System David Hall, Corina Pasareanu
14:00 IV&V Guidance for IV&V for Product Line Software Charley Price
14:30 Assurance Cases for Software Releases in ISS Sustaining Phase of Development Sarma Susaria
15:15 Applying NASA-STD-7009 Standard to Models and Simulations Darilyn Dunkerley
15:45 Data-Driven IV&V Decision Support Chris Williams
16:15 Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL Emil Vassev, Mike Hinchey


Page Last Updated: January 5th, 2016
Page Editor: Michael Asbury