作者其他论文
文献详情
A methodology of model-based testing for AADL flow latency in CPS
文献类型:会议
作者:Zhu, Yufeng[1]  Dong, Yunwei[2]  Ma, Chunyan[3]  Zhang, Fan[4]  
机构:[1]Department of Computer Science, Northwestern Polytechnic University, Xi'an, China
[2]Department of Computer Science, Northwestern Polytechnic University, Xi'an, China
[3]Department of Computer Science, Northwestern Polytechnic University, Xi'an, China
[4]Department of Computer Science, Northwestern Polytechnic University, Xi'an, China
年:2011
通讯作者:Zhu, Y.(treefound@sina.com)
会议名称:2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011
页码范围:99-105
会议地点:Jeju Island, Korea, Republic of
会议开始日期:2011-06-27
会议结束日期:2011-06-29
收录情况:EI(20113914362198)  
所属部门:计算机学院
人气指数:1711
浏览次数:1693
语言:外文
摘要:
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 ...More
0
评论(0 条评论)
登录