Software Assurance Symposium (SAS) / Software Assurance Research Program (SARP) TIM

Text Size

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.