FM Program: Small Aircraft Transportation System
The NASA Langley Research Center, the Federal Aviation Administration,
along with industry and academic partners are seeking to significantly
increase the capacity of regional airports through advanced
technology. This five-year research program is called the Small Aircraft
Transportation System (SATS) program.
The long-term goal is to improve travel
between remote communities and transportation centers in urban areas
by utilizing a new generation of aircraft between the nation's 5,400
under-utilized public-use general aviation airports. One of the most
revolutionary aspects of the SATS approach is the use of a software
system that will sequence aircraft into the SATS airspace in the
absence of an airport controller. There are serious safety issues
associated with these software systems and
their underlying key algorithms. The criticality of such software
systems necessitates that strong guarantees of the safety be developed
Under the SATS program NASA Langley reseachers are currently investigating
rigorous verification of these software system using formal methods.
- María Consiglio, Víctor Carreño, Daniel Williams, and
César Muñoz, Conflict
Prevention and Separation Assurance Method in the Small Aircraft
Transportation System, Journal of Aircraft, Vol. 45, No. 0021-8669, 2008.
Conference paper presented at the AIAA 5th Aviation, Technology, Integration,
and Operations Conference (ATIO 2005), 2005.
- César Muñoz, Víctor Carreño, and
Analysis of the Operational Concept for the Small Aircraft
Rigorous Engineering of Fault-Tolerant Systems,
Lecture Notes in Computer Science, Vol. 4157, 2006.
- Víctor Carreño and César Muñoz,
Verification of the Small Aircraft Transportation System Concept of Operations,
AIAA 5th Aviation, Technology, Integration, and Operations Conference, 2005.
César Muñoz and Gilles Dowek,
Hybrid Verification of an
Air Traffic Operational Concept,
IEEE ISoLA Workshop on Leveraging Applications of
Formal Methods, Verification, and Validation, 2005.
- Víctor Carreño and César Muñoz,
Implicit Intent Information for Conflict Detection and Alerting,
of the 23rd Digital Avionics Systems Conference (DASC 2004), 2004. BibTeX Reference.
Maria Consiglio, César Muñoz, and Víctor Carreño,
Conflict Detection and Alerting in a Self Controlled Terminal Area,
Proceedings of the 24th Congress of International Council of Aeronautical
Sciences (ICAS 2004), 2004. BibTeX Reference.
- César Muñoz, Gilles Dowek, and Víctor Carreño,
Modeling and Verification of an Air Traffic Concept of Operations,
Proceedings of the International Symposium on
Software Testing and Analysis (ISTTA 2004), 2004. BibTeX Reference.
Gilles Dowek, César Muñoz, and Víctor Carreño,
Abstract Model of the SATS
Concept of Operations: Initial Results and Recommendations, Technical Memorandum,
NASA/TM-2004-213006, March 2004. BibTeX Reference.
- Víctor Carreño, Hanne Gottliebsen, Ricky Butler, and Sara Kalvala,
Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS) Concept , Technical Memorandum, NASA/TM-2004-212999, March 2004.
- Víctor Carreño,
Concept for Multiple Operations at Non-Tower Non-Radar Airports During
Instrument Meteorological Conditions, Proceeding of the
22nd Digital Avionics Systems Conference (DASC 2003), Indianapolis,
Indiana, October 2003.
Note: The tag identifies links that are outside
of the NASA domain.