タイトル | Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations |
本文(外部サイト) | http://hdl.handle.net/2060/20040047188 |
著者(英) | Carreno, Victor A.; Dowek, Gilles; Munoz, Cesar |
著者所属(英) | NASA Langley Research Center |
発行日 | 2004-03-01 |
言語 | eng |
内容記述 | 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). |
NASA分類 | Numerical Analysis |
レポートNO | NASA/TM-2004-213006 L-18361 |
権利 | No Copyright |