@inproceedings{431cdf72821147b1ba0a6fd20643d91b,
title = "A methodology of model-based testing for AADL flow latency in CPS",
abstract = "AADL (Architecture Analysis and Design Language) is a kind of model-based real-time CPS (Cyber-Physical System) modeling language, which has been widely used in avionics and space areas. The current challenges have been raised up on how to test CPS model described in AADL dynamically and find design fault at the design phase to iterate and refine the model architecture. This paper mainly tests the flow latency in design model based on PDA (Push-Down Automata). It abstracts the properties of flow latency in CPS model, and translates them into PDA in order to assess the latency in simulation. Meanwhile, this paper presents a case study of pilotless aircraft cruise control system to prove the feasibility of dynamic model-based testing on model performances and achieve the architecture iteration and refining aim.",
keywords = "AADL flow latency, CPS, Model-based testing, PDA",
author = "Yufeng Zhu and Yunwei Dong and Chunyan Ma and Fan Zhang",
year = "2011",
doi = "10.1109/SSIRI-C.2011.24",
language = "英语",
isbn = "9780769544540",
series = "2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011",
pages = "99--105",
booktitle = "2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011",
note = "2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011 ; Conference date: 27-06-2011 Through 29-06-2011",
}