A Software-Assurance Design Approach for NextGen Enabling Technologies, Phase I

Metadata Updated: May 2, 2019

The Next Generation Air Transportation System (NextGen) brings significant advancements to the current management of the National Airspace (NAS). These fundamental changes have significant implications for safety and security, which, in turn, require new, more flexible techniques for the verification and validation of complex, software-intensive systems and systems of systems. To address this need, Barron Associates will develop a demonstration sense-and- avoid application, representative of the kinds of new systems that are possible in NextGen, and a safety case arguing that it is safe to operate in the NAS. The safety case will rely on run-time assurance and formal methods as evidence to support its claims. Run-time assurance continuously monitors system-level safety properties for impending violations to diagnose software faults and allows a simpler, high-criticality reversionary function to provide assurance for a more complex software function; formal methods provide strong design-time assurance of correctness for software that must operate at the highest levels of criticality. A safety-case-based approach citing these two strategies as evidence offers significant cost savings for similar or higher levels of assurance as compared to traditional, process-based approaches.

Access & Use Information

Public: This dataset is intended for public access and use. License: U.S. Government Work

Downloads & Resources


Metadata Created Date August 1, 2018
Metadata Updated Date May 2, 2019

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date August 1, 2018
Metadata Updated Date May 2, 2019
Publisher Space Technology Mission Directorate
Unique Identifier TECHPORT_8749
Maintainer Email
Public Access Level public
Bureau Code 026:00
Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
Metadata Catalog ID https://data.nasa.gov/data.json
Schema Version https://project-open-data.cio.gov/v1.1/schema
Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
Datagov Dedupe Retained 20190501230127
Harvest Object Id fab5ce3b-53c4-4fa6-944f-90423d16abad
Harvest Source Id 39e4ad2a-47ca-4507-8258-852babd0fd99
Harvest Source Title NASA Data.json
Data First Published 2010-07-01
Homepage URL https://techport.nasa.gov/view/8749
License http://www.usa.gov/publicdomain/label/1.0/
Data Last Modified 2018-07-19
Program Code 026:027
Source Datajson Identifier True
Source Hash de1d9dedeca521c1f45cf343e6978befae4b8b31
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.