NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Due to the lapse in federal government funding, NASA is not updating this website. We sincerely regret this inconvenience.

Back to Results
Abstract Model of the SATS Concept of Operations: Initial Results and RecommendationsAn abstract mathematical model of the concept of operations for the Small Aircraft Transportation System (SATS) is presented. The Concept of Operations consist of several procedures that describe nominal operations for SATS, Several safety properties of the system are proven using formal techniques. The final goal of the verification effort is to show that under nominal operations, aircraft are safely separated. The abstract model was written and formally verified in the Prototype Verification System (PVS).
Document ID
20040047188
Acquisition Source
Langley Research Center
Document Type
Technical Memorandum (TM)
Authors
Dowek, Gilles (Ecole Polytechnique Palaiseau, France)
Munoz, Cesar (National Inst. of Aerospace Research Hampton, VA, United States)
Carreno, Victor A. (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
March 1, 2004
Subject Category
Numerical Analysis
Report/Patent Number
NASA/TM-2004-213006
L-18361
Report Number: NASA/TM-2004-213006
Report Number: L-18361
Funding Number(s)
CONTRACT_GRANT: NCC1-02043
WORK_UNIT: WU 23-786-10-10
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available