文章基本信息

标题：A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram
其他标题：A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram
本地全文：下载
作者：Chuanlin Huang ; Zhiqiu Huang ; Jun Hu 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2015
卷号：10
期号：1
页码：56-70
DOI：10.17706/jsw.10.1.56-70
出版社：Academy Publisher
摘要：Safety verification of real-time embedded systems is a complex and hot issue. This paper proposes a SysML/MARTE activity diagram (SMAD), which is extended from SysML activity diagram (SAD) with non-functional MARTE semantics, for the describing of the real-time embedded systems behaviors. To carry out the safety verification, we transform the SMAD into timed automata. The processes of the model transformation and formal verification are as follows: first, building the meta-models of SMAD and timed automata, which are based on MDE; second, achieving the semantic and structures mapping, which can complete the model transformation; third, input the CTL specification into model checker UPPAAL for the verification. Finally, we construct an instance to illustrate the validity of the approach.
其他关键词：Safety verification, SysML activity diagram, MARTE, model transformation