Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept by Nasa Technical Reports Server (Ntrs)

Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept (Paperback) (ISBN-13: 9781289261092)

Vendor: Nasa Technical Reports Server (Ntrs)
Product type: Books
Format: Paperback
$15.75
$15.75
$15.75
Subtotal: $15.75
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept by Nasa Technical Reports Server (Ntrs)

Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

$15.75
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept by Nasa Technical Reports Server (Ntrs)

Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept

$15.75
Format: Paperback
Description
Description
x
New concepts for automating air traffic management functions at small non-towered airports raise serious safety issues associated with the software implementations and their underlying key algorithms. The criticality of such software systems necessitates that strong guarantees of the safety be developed for them. In this paper we present a formal method for modeling and verifying such systems using the PVS theorem proving system. The method is demonstrated on a preliminary concept of operation for the Small Aircraft Transportation System (SATS) project at NASA Langley.

Author: Nasa Technical Reports Server (Ntrs),Victor A. Carreno
ISBN-10: 1289261091
ISBN-13: 9781289261092
Publisher: Bibliogov
Language: English
Published: 07/31/2013
Pages: 48
Format: Paperback
Weight: 0.23lbs
Size: 9.69h x 7.44w x 0.10d

Recently Viewed Products