A Design Method of the General Aviation Flight Plan Management Scheme Based on Quantitative Verification
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.
General aviation Flight plan Quantitative verification Probabilistic timed automata
Wang Lingmin Xu Weifeng Liu Shufen Bao Tie
The Institute of Naval Vessels,Naval Academy of Armament,Beijing,China College of Computer Science and Technology,Jilin University,Changchun,China
国际会议
南昌
英文
1-12
2013-09-26（万方平台首次上网日期，不代表论文的发表时间）