Abstract: Safe separation between aircraft is the primary consideration in air traffic control. To achieve the required level of assurance for this safety-critical application, the Automated Airspace Concept (AAC) proposes three levels of conflict detection and resolution. Recently, a high-level operational concept was proposed to define the cooperation between components in the AAC. However, the proposed coordina-tion protocol has not been formally studied. We use formal verification techniques to ensure there are no potentially catastrophic design flaws remaining in the AAC design before the next stage of production. We formalize the high-level operational concept, which was previously described only in natural language, in NuSMV and perf...
Part of the Advanced Automation System (AAS) for air-traffic control is a protocol to permit flight...
This paper presents analytical models that describe the safety of unstructured and layered en route ...
Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate...
Safe separation between aircraft is the primary consideration in air trafficcontrol. To achieve the ...
We propose a general formal modeling and verification of the air traffic control system (ATC). This ...
Nowadays, Model-Driven Architectures (MDAs) are gaining more popularity because they offer an increa...
In the early phases of the design of safety-critical systems, we need the ability to analyze the saf...
Aviation, both on-board systems and the National Airspace System, can be transformed by many current...
Abstract—In this paper, we present the formal modeling and automatic parameterized verification of a...
007486991997PDFResearch PaperTraffic alert and collision avoidance systemValidationAviation safetyAi...
9 pagesInternational audienceThis paper details works undertaken in the scope of the Spices project ...
Rapport LAAS n° 15036We describe a model-checking toolchain for the behavioral verification of AADL ...
VII Brazilian Symposium on Computing Systems Engineering (SBESC 2017), Session 10: Development and T...
Abstract: The Automated Airspace concept uses ground-based computers and a ground-to-air data link t...
Thesis (Ph.D.)--University of Washington, 2014This research addresses the design of automated provab...
Part of the Advanced Automation System (AAS) for air-traffic control is a protocol to permit flight...
This paper presents analytical models that describe the safety of unstructured and layered en route ...
Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate...
Safe separation between aircraft is the primary consideration in air trafficcontrol. To achieve the ...
We propose a general formal modeling and verification of the air traffic control system (ATC). This ...
Nowadays, Model-Driven Architectures (MDAs) are gaining more popularity because they offer an increa...
In the early phases of the design of safety-critical systems, we need the ability to analyze the saf...
Aviation, both on-board systems and the National Airspace System, can be transformed by many current...
Abstract—In this paper, we present the formal modeling and automatic parameterized verification of a...
007486991997PDFResearch PaperTraffic alert and collision avoidance systemValidationAviation safetyAi...
9 pagesInternational audienceThis paper details works undertaken in the scope of the Spices project ...
Rapport LAAS n° 15036We describe a model-checking toolchain for the behavioral verification of AADL ...
VII Brazilian Symposium on Computing Systems Engineering (SBESC 2017), Session 10: Development and T...
Abstract: The Automated Airspace concept uses ground-based computers and a ground-to-air data link t...
Thesis (Ph.D.)--University of Washington, 2014This research addresses the design of automated provab...
Part of the Advanced Automation System (AAS) for air-traffic control is a protocol to permit flight...
This paper presents analytical models that describe the safety of unstructured and layered en route ...
Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems that integrate...