{"title":"On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL","authors":"Xiao Wu, Heng Ling, Yunwei Dong","doi":"10.1109/ICESS.2009.27","DOIUrl":null,"url":null,"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.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"76 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Embedded Software and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICESS.2009.27","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
