Formal Analysis of SATS-HVO
The Small Aircraft Transportation System (SATS) program
at NASA Langley Research Center aims at higher volume operations for general aviation at
non-radar non-towered airports. The Formal Methods group at the National
Institute of Aerospace has participated in the design of a
Conflict Detection and Resolution Logic suitable for the SATS concept and the formal
verification of the Higher Volume Operation concept.
- Formal Analysis of the Operational Concept for the Small Aircraft Transportation System, César Muñoz, Víctor Carreño and Gilles Dowek, Rigorous Engineering of Fault-Tolerant Systems, BibTex Reference, 2006.
- Safety Verification of the Small Aircraft Transportation System Concept of Operations, Víctor Carreño and César Muñoz, AIAA 5th Aviation, Technology, Integration, and Operations Conference, BibTex Reference, 2005.
- Conflict Prevention and Separation Assurance Method in the Small Aircraft Transportation System, Maria Consiglio, Víctor Carreño, Daniel Williams, and César Muñoz, AIAA 5th Aviation, Technology, Integration, and Operations Conference, BibTex Reference, 2005.
- Hybrid Verification of an Air Traffic Operational
Concept, César Muñoz and Gilles Dowek, IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, BibTex Reference, 2005.
- Implicit Intent Information for Conflict Detection and Alerting,
Víctor Carreño and César Muñoz, Proceedings
of the 23rd Digital Avionics Systems Conference, DASC 2004, BibTeX Reference, 2004.
- Conflict Detection and Alerting in a Self Controlled Terminal Area,
Maria Consiglio, César Muñoz, and Victor Carreño,
Proceedings of the 24th Congress of International Council of Aeronautical
Sciences, ICAS 2004, BibTex Reference, 2004.
- Modeling and Verification of an Air Traffic Concept of Operations, César Muñoz, Gilles Dowek, and Victor Carreño,
Proceedings of the International Symposium on
Software Testing and Analysis, ISTTA 2004, BibTex Reference, 2004.
- Abstract Model of the SATS
Concept of Operations: Initial Results and Recommendations,
Gilles Dowek, César Muñoz, and Victor Carreño,
NASA/TM-2004-213006, BibTex Reference, 2004.
Maintained by:
César A. Muñoz