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


Page Last Updated: August 14th, 2014
Page Editor: Michael Asbury