Delivery included to the United States

Abstract Model of the Sats Concept of Operations

Abstract Model of the Sats Concept of Operations Initial Results and Recommendations

Paperback (27 Aug 2018)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

An 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).Dowek, Gilles and Munoz, Cesar and Carreno, Victor A.Langley Research CenterMATHEMATICAL MODELS; SAFETY; PROTOTYPES; TRANSPORTATION...

Book information

ISBN: 9781726167987
Publisher: Createspace Independent Publishing Platform
Imprint: Createspace Independent Publishing Platform
Pub date:
Number of pages: 48
Height: 12mm
Width: 9mm
Spine width: 1mm