Formal testing for separation assurance

DOI10.1007/S10472-011-9224-3MaRDI QIDQ434444zbMATHOpenAlexFDO

Authors Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere

Publication date 10 July 2012

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-011-9224-3

zbMATH Keywords

verificationclusteringmodel checkingsoftware testingair-traffic controlautomatic test generationseparation assurance

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1852171
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• Broadcast algorithms for detection and decentralized resolution of unsafe approach of airborne aircraft based on the force field method
• Provably correct conflict prevention bands algorithms
• A rule-based approach for air traffic control in the vicinity of the airport

Cites work

• scientific article; zbMATH DE number 3567782 (Why is no real title available?)
• AutoBayes: a system for generating data analysis programs from statistical models
• Compositional may-must program analysis: unleashing the power of alternation
• Model-Based Clustering, Discriminant Analysis, and Density Estimation
• Pattern recognition and machine learning.
• Symbolic execution and program testing

Cited in

(2)

• scientific article; zbMATH DE number 2011488 (Why is no real title available?)
• scientific article; zbMATH DE number 1852171 (Why is no real title available?)

Describes a project that uses

Uses Software

• CUTE
• mclust
• Korat
• DART
• Pex
• Java PathFinder
• EMMIX
• AutoClass
• STP
• PRMLT

This page was built for publication: Formal testing for separation assurance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q434444)