Paper Info
Title
A Design Method Of The General Aviation Flight Plan Management Scheme Based On Quantitative Verification
Abstract
In this paper, a method based on quantitative verification is proposed to design the general aviation flight plan management scheme. In this method, after the preliminary design of general aviation flight plan management scheme, the scheme is divided into multiple subunits, and then we model their business process using Probabilistic Timed Automata (PTA), express properties of their business process model in the logic which is the extension of Probabilistic Timed Computation Tree Logic (PTCTL). Based on the model checking algorithm, the properties expressed in the logic are verified, then, false paths in the model are given out and the amendments are proposed for the designers. After verifying the subunits, we will verify the properties of the overall business process with the same method as above, and can design a reasonable and efficient general aviation flight plan management scheme finally. A division principle named one-way traffic also is defined to divide the scheme reasonably.
Year
DOI
Venue
2014
10.1007/978-3-319-15554-8_37
HUMAN CENTERED COMPUTING, HCC 2014
Keywords
Field
DocType
General aviation, Flight plan, Quantitative verification, Probabilistic timed automata
Computation tree logic,Flight plan,Model checking,Business process,Simulation,Computer science,Automaton,General aviation,Probabilistic logic,Business process modeling,Reliability engineering
Conference
Volume
ISSN
Citations 
8944
0302-9743
0
PageRank 
References 
Authors
0.34
11
4
Name
Order
Citations
PageRank
Lingmin Wang100.34
Weifeng Xu2282.53
Liu Shufen300.34
Tie Bao453.96