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

fYear

2009

fDate

25-27 May 2009

Firstpage

572

Lastpage

577

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Embedded Software and Systems, 2009. ICESS '09. International Conference on

Conference_Location

Zhejiang

Print_ISBN

978-1-4244-4359-8

Type

conf

DOI

10.1109/ICESS.2009.27

Filename

5066701