Volume 10 Number 1 (Jan. 2015)
Home > Archive > 2015 > Volume 10 Number 1 (Jan. 2015) >
JSW 2015 Vol.10(1): 56-70 ISSN: 1796-217X
doi: 10.17706/jsw.10.1.56-70

A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram

Chuanlin Huang, Zhiqiu Huang, Jun Hu, Zhipeng Wu, Siqi Wang
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Jiangsu, China.
Abstract—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.

Index Terms—Safety verification, SysML activity diagram, MARTE, model transformation.

[PDF]

Cite: Chuanlin Huang, Zhiqiu Huang, Jun Hu, Zhipeng Wu, Siqi Wang, "A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram," Journal of Software vol. 10, no. 1, pp. 56-70, 2015.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jsw@iap.org
  • Jun 25, 2019 News!

    Papers published in JSW Vol. 14, No. 1- Vol. 14 No. 6 have been indexed by DBLP.    [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Jun 24, 2019 News!

    Vol 14, No. 7 has been published with online version 4 original aritcles from 3 countries are published in this issue.   [Click]