MDA-based methodology for verifying distributed execution of embedded systems models

Anikó Costa, Fernando Pereira, Paulo E S Barbosa, Franklin Ramalho, Filipe Moutinho, Jorge C A Figueiredo, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Citations (Scopus)


Model-based development for embedded system design has been used to accommodate the increase in system's complexity. Several modeling formalisms proved to be well matched for usage within this area. The goal of this chapter is to present a model-based development methodology for embedded systems design. One of the main aims of this methodology is to contribute for usage of Petri nets as a system specification language within model-based development of embedded systems integrating MDA (Model- Driven Architecture) proposals as a reference for the development flow. Distributed execution of the initial developed platform-independent models is achieved through model partitioning into platformspecific sub-modules. System model decomposition is obtained through a net splitting operation. Two types of implementation platforms are considered: compliant and non-compliant with zero time delay for communication between modules (in other words, compliant or not with synchronous paradigm). Using a model-checking framework, properties associated to the execution of the distributed models in both types of platforms are compared with the execution of the initial model.

Original languageEnglish
Title of host publicationFormal Methods in Manufacturing Systems: Recent Advances
PublisherIGI Global
Number of pages24
ISBN (Electronic)978-146664035-1
ISBN (Print)1466640340, 978-146664034-4
Publication statusPublished - 31 May 2013


Dive into the research topics of 'MDA-based methodology for verifying distributed execution of embedded systems models'. Together they form a unique fingerprint.

Cite this