A Formal Transformation Approach for Embedded Software Modeling - Volume 9 Number 4 (Apr. 2014) - JSOFTWARE
Volume 9 Number 4 (Apr. 2014)
Home > Archive > 2014 > Volume 9 Number 4 (Apr. 2014) >
JSW 2014 Vol.9(4): 807-813 ISSN: 1796-217X
doi: 10.4304/jsw.9.4.807-813

A Formal Transformation Approach for Embedded Software Modeling

Haiyang Xu1, 2, Yi Zhuang1
1Department of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
2Department of Science and Information Science, Qingdao Agricultural University, Qingdao, China


Abstract—Formal specification can enhance the reliability of the embedded system and verify the system properties at the design stage. This paper presents a formal transformation approach for MARTE(Modeling and Analysis of Real Time and Embedded systems) model based on MDA(Model Driven Architecture), and defines the transformation rules of static and dynamic semantic between MARTE model and Object-Z model in term of the formal meta-model. The approach can produce a precise specification and verify the correctness of the system properties before implementing. The paper reports a case study to illustrate formal transformation of MARTE model. It demonstrates that the approach improves the accuracy of system model by transforming it into formal specification and enhances the reliability of software system.

Index Terms—Reliability, Meta-Model, Formal modeling, Formal transformation rules

[PDF]

Cite: Haiyang Xu, Yi Zhuang, "A Formal Transformation Approach for Embedded Software Modeling," Journal of Software vol. 9, no. 4, pp. 807-813, 2014.

General Information

ISSN: 1796-217X
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
  • Aug 01, 2018 News!

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

  • Aug 01, 2018 News!

    [CFP] 2018 the annual meeting of JSW Editorial Board, ICSTE 2018, will be held in Kuala Lumpur, Malaysia, October 27-29, 2018.   [Click]

  • Aug 01, 2018 News!

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

  • Jun 25, 2018 News!

    The papers published in Vol.13, No. 6 have all received dois from Crossref.

  • Aug 01, 2018 News!

    The papers published in Vol.13, No. 7 have all received dois from Crossref.