NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robost Software Engineering Safety Case Team Presents Work to Software Assurance Working Group
Intelligent Systems Division Banner

Robost Software Engineering Safety Case Team Presents Work to Software Assurance Working Group

Members of the Robust Software Engineering (RSE) Safety Case team presented their work to the Software Assurance Working Group (SAWG), who were holding their annual meeting at NASA Ames. Ewen Denney gave an invited talk on ongoing research in safety assurance cases, while Ganesh Pai gave a well-received demonstration of the Assurance Case Automation Toolset (AdvoCATE), which is under development by the group. Together with Martin Feather (CalTech/JPL), they also presented the results to date from their joint FY18 project, "Adapting the Software Assurance Objectives Hierarchy to a Model-based Reuse Process", which is being funded by the SAWG through the Software Assurance Research Program (SARP). This project seeks to characterize the relation between the Software Assurance Objectives Hierarchy, a new guidance element of the upcoming revision of the NASA Software Assurance Standard (NASA-STD-8739.8), and Risk-informed Safety Cases, the assurance approach promulgated by the NASA System Safety Handbook. The project is also investigating the practical applicability of Risk-informed Safety Cases through a retrospective application to the flight software of the BioSentinel mission.

BACKGROUND: Ewen Denney and Ganesh Pai are developing the Assurance Case Automation Toolset (AdvoCATE) for the principled application of argument-based assurance to aviation problems, such as safety assurance and airworthiness certification. They have applied their methodology and have contributed to the development of safety assurance cases for a ground-based detect-and-avoid capability, in support of the Unmanned Aerial Systems (UAS) Traffic Management (UTM) technical challenge. In the past, they have also developed the safety case for beyond visual line of sight UAS operations in support of the Marginal Ice Zone Observations and Processes EXperiment (MIZOPEX) Earth science mission.

NASA PROGRAM FUNDING: Safe Autonomous Systems Operations (SASO) project, Airspace Operations and Safety Program (AOSP); System-wide Safety project, Software Assurance Research Program (SARP); Aeronautics Research Mission Directorate

TEAM: Ewen Denney, Martin Feather (CalTech/JPL), and Ganesh Pai


First Gov logo
NASA Logo -