An approach to formal verification of free-flight separation

Eder, Sebastian and Smith, Graeme (2010). An approach to formal verification of free-flight separation. In: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems 2010, Budapest, Hungary, (166-171). 27-28 September, 2010.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Eder, Sebastian
Smith, Graeme
Title of paper An approach to formal verification of free-flight separation
Conference name Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems 2010
Conference location Budapest, Hungary
Conference dates 27-28 September, 2010
Place of Publication Piscataway, NJ, United States
Publisher IEEE
Publication Year 2010
Sub-type Fully published paper
DOI 10.1109/SASOW.2010.35
ISBN 9780769542294
Start page 166
End page 171
Total pages 6
Collection year 2011
Language eng
Abstract/Summary This paper presents an approach to verifying complex free-flight algorithms. We give an abstract model that defines properties that a concrete implementation of a (distributed) free-flight algorithm has to maintain to guarantee conflict free movement of airplanes. We develop this model gradually by defining the emergent behavior of airplanes at a very abstract level and refine our definitions towards a more concrete model. In this process, we prove every refinement step to guarantee correctness of our approach.
Keyword Free-flight separation
Distributed systems
Formal methods
Refinement
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Access Statistics: 53 Abstract Views, 7 File Downloads  -  Detailed Statistics
Created: Thu, 17 Mar 2011, 21:24:21 EST by Graeme Smith on behalf of School of Information Technol and Elec Engineering