NASA - National Aeronautics and Space Administration

Each year, the results of OSMA-sponsored research initiatives are presented at the annual OSMA Technical Interchange Meeting.

The Tenth Annual Meeting of the Office of Safety and Mission Assurance Software Assurance Research Program (SARP) was conducted at NASA Headquarters August 10-12. Formerly known as the Software Assurance Symposium (SAS) the Program now-presents its results as part of a Technical Interchange Meeting. The intent is the same—to put the results of SARP research before its customers and stakeholders.

On August 10th, SARP Researchers presented an executive overview of their work. Throughout the day on August 11th, more in depth exchange and discussion of the work took place.

Bryan O'Connor

Bryan O’Connor, Chief, Office of Safety and Mission Assurance, addressed the audience of researchers, project managers, and headquarters and center representatives on Thursday, August 12th.

To conclude the proceedings, SARP Program Manager, Lisa Montgomery, offered a summary of the program and a look into the future for SARP researchers and those who seek the program’s support. A working meeting for the research team took place following lunch.

See the Agenda for more detail.

For more information contact Harmony Dressler by e-mail Harmony.F.Dressler@ivv.nasa.gov

Agenda SARP Technical Interchange Meeting

Tuesday, August 10

9:00 AM	9:30 AM	Introduction and Context Glennan Auditorium	Research P.I. (Presenters TBD)	Center(s)
9:00 AM	9:15 AM	Advanced Tools and Techniques for V&V of IVHM Systems (CI10)	Schumann, Johann	ARC
9:15 AM	9:30 AM	Architectural Analysis of Dynamically Reconfigurable Systems (CI10)	Lindvall, Mikael	GSFC
9:30 AM	9:45 AM	Software Architecture Modeling and Assurance with AADL for the JPL SMAP Project (RII10)	Weiss, Kathryn	JPL
9:45 AM	10:00 AM	Assurance and Recertification of Safety-Critical Software in Legacy Systems (CI07)	Hill, Janie	LaRC
10:00 AM	10:15 AM	Infusion of SDA for automated assessment of LADEE (RII10)	Del Carmen, Guillermo	ARC
10:15 AM	10:35 AM	BREAK
10:35 AM	10:50 AM	Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures (CI09)	Patterson-Hine, Ann	ARC, JPL
10:50 AM	11:05 AM	Text-Mining for Problem Trending into Software Change Reports at JSC	Throop, David	JSC
11:05 AM	11:20 AM	Automated Tool and Method for System Safety Analysis (CI07)	Malin, Jane	JSC
11:20 AM	11:35 AM	Toward Clear and Consistent Textual Requirements: An Application of Natural Language Processing Techniques (CI10)	Nikora, Allen	JPL
11:35 AM	1:35 PM	LUNCH on our own
1:35 PM	1:50 PM	Required Assurance and Reliability Estimator (CI09)	Smith, Donna	GSFC, WFF
1:50 PM	2:05 PM	Command Process Modeling & Risk Analysis (CI10)	Meshkat, Leila	JPL
2:05 PM	2:20 PM	Software Reliability Techniques Applied to Constellation (CI08)	Nikora, Allen	JPL
2:20 PM	2:40 PM	BREAK
2:40 PM	2:55 PM	Formal Methods for Systems and Software Specifications (CI09)	Wang, Caroline	GSFC, MSFC
2:55 PM	3:10 PM	Safety Case for NASA Ares Abort Fault Detection, Notification & Response (CI09)	Feather, Martin	ARC, JPL
3:10 PM	3:25 PM	BREAK
3:25 PM	3:40 PM	NASA Software Safety Risk Metrics Initiative (CI09)	Basili, Victor	GSFC, KSC
3:40 PM	3:55 PM	Inspections for Systems and Software (CI09)	Shull, Forrest	SSC
3:55 PM	4:10 PM	Product-Line Verification of Safety-Critical Software (CI07)	Lutz, Robyn	JPL

Wednesday, August 11

9:00 AM	9:30 AM	Introduction and Context Glennan Auditorium
9:30 AM	9:55 AM	Room 1 MIC 5B	Room 2 MIC 6B	Room 3 MIC 7B
9:55 AM	10:30 AM	NASA Software Safety Risk Metrics Initiative (CI09)	Text-Mining for Problem Trending into Software Change Reports at JSC	Advanced Tools and Techniques for V&V of IVHM Systems (CI10)
10:30 AM	11:05 AM	Product-Line Verification of Safety-Critical Software (CI07)	Automated Tool and Method for System Safety Analysis (CI07)	Architectural Analysis of Dynamically Reconfigurable Systems (CI10)
11:05 AM	11:30 AM	Inspections for Systems and Software (CI09)	Toward Clear and Consistent Textual Requirements: An Application of Natural Language Processing Techniques (CI10)	Software Architecture Modeling and Assurance with AADL for the JPL SMAP Project (RII10)
11:40 AM	1:40 PM	Lunch
1:40 PM	2:15 PM	Required Assurance and Reliability Estimator (CI09)	Assurance and Recertification of Safety-Critical Software in Legacy Systems (CI07)	Formal Methods for Systems and Software Specifications (CI09)
2:15 PM	2:50 PM	Command Process Modeling & Risk Analysis (CI10)	Infusion of SDA for automated assessment of LADEE (RII10)	Safety Case for NASA Ares Abort Fault Detection, Notification & Response (CI09)
2:50 PM	3:25 PM	Software Reliability Techniques Applied to Constellation (CI08)	Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures (CI09)	NASA Software Safety Risk Metrics Initiative (CI09)
3:25 PM	3:55 PM
3:55 PM	4:30 PM	Safety Case for NASA Ares Abort Fault Detection, Notification & Response (CI09)	Software Architecture Modeling and Assurance with AADL for the JPL SMAP Project (RII10)	Product-Line Verification of Safety-Critical Software (CI07)

Thursday, August 12

8:45 AM	9:00 AM	Introduction and Context Glennan Auditorium
9:00 AM	10:00 AM	Keynote Address Bryan O’Connor, Chief, Office of Safety and Mission Assurance
10:00 AM	10:15 AM	Break
10:15 AM	11:00 AM	Program Summary and Conclusion Lisa Montgomery, SARP Delegated Program Manager
11:00 AM	1:00 PM	Lunch
1:00 PM	4:00 PM	SARP Workshop for Research Team

For more information on SAS and the results from previous years, please visit the http://sarpresults.ivv.nasa.gov.