doi: 10.4304/jsw.9.4.807-813
A Formal Transformation Approach for Embedded Software Modeling
- 1 Department of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
- 2 Department 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.
Keywords
- Reliability
- Meta-Model
- Formal modeling
How to Cite
Haiyang Xu and Yi Zhuang, "A Formal Transformation Approach for Embedded Software Modeling," Journal of Software, vol. 9, no. 4, pp. 807-813, 2014. https://doi.org/ 10.4304/jsw.9.4.807-813
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).