原文传递
Abstract Model of the SATS Concept of Operations Initial Results and Recommendations
| 题名： | Abstract Model of the SATS Concept of Operations Initial Results and Recommendations |
| 作者： | Dowek, Gilles; Munoz, Cesar; Carreno, Victor A. |
| 关键词： | recommend；operation；endat；concept；tial；niti；model；mathematical；trac；prototype |
| 摘要： | 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). |
| 报告类型： | 科技报告 |
相关文献
- Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations.
- Abstract Model of the SATS Concept of Operations: Initial Results and Recommendations.
- Preliminary Validation of the Small Aircraft Transportation System Higher Volume Operations (SATS HVO) Concept. Final Report.
- Preliminary Validation of the Small Aircraft Transportation System Higher Volume Operations (SATS HVO) Concept
- Flight Technical Error Analysis of the SATS Higher Volume Operations Simulation and Flight Experiments. Final Report.
- The Small Aircraft Transportation System Higher Volume Operations (SATS HVO) Flight Experiment
检索历史
应用推荐
