A Formal Transformation Approach for Embedded Software Modeling

Provided by: Academy Publisher
Topic: Hardware
Format: PDF
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.

Find By Topic