Title :
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL
Author :
Wu, Xiao ; Ling, Heng ; Dong, Yunwei
Author_Institution :
Coll. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an
Abstract :
TTCAN is the most potential protocol used to construct the communication layer of flight control system of unmanned aircraft vehicle (UAV). In this paper, we propose a novel UAV flight control system design which is based on TTCAN. We not only design the model of the system but also verify its non-functional properties such as reliability, security, schedulability and fault-tolerance ability with the model checker UPPAAL. In addition, we design 58 timed automata to verify UAV flight control system. The result of the experiment is also demonstrated to illustrate that the system is feasible and reliable.
Keywords :
aerospace computing; aerospace control; aerospace robotics; automata theory; control engineering computing; control system synthesis; controller area networks; fault tolerant computing; mobile robots; program verification; protocols; remotely operated vehicles; security of data; software reliability; UPPAAL; application protocol modeling; application protocol verification; communication layer; fault-tolerance ability property; flight control system design; model checker; nonfunctional properties; reliability property; schedulability property; security property; time-triggered CAN; timed automata; unmanned aircraft vehicle; Aerospace control; Centralized control; Communication system control; Control systems; Data communication; Embedded software; Fault tolerant systems; Protocols; Redundancy; Unmanned aerial vehicles; Application Protocols of TTCAN; Model Verification; UPPAAL;
Conference_Titel :
Embedded Software and Systems, 2009. ICESS '09. International Conference on
Conference_Location :
Zhejiang
Print_ISBN :
978-1-4244-4359-8
DOI :
10.1109/ICESS.2009.27
