Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Research output: ThesisDoctoral Thesis


A model-based development approach (MBDA) for Globally-Asynchronous LocallySynchronous (GALS) Distributed Embedded Systems (DESs) is proposed. This approach relies on the GALS-DESs specification through (low- or high-level) Petri net classes, which ensure that the created models are GALS, locally deterministic, distributable, networkindependent, and platform-independent and support their simulation, verification, and implementation (using simulation, model-checking, and code generation tools). The use of network- and platform-independent models enable the use of heterogeneous communication
networks to support the distributed components interaction and enable the use
of heterogeneous platforms to support the components and the communication nodes implementation. To enable the proposed MBDA, Petri nets are extended with a set of the concepts, most notably time-domains and asynchronous-channels. Algorithms to support the verification of GALS-DES models and their decomposition into implementable sub-models are also proposed. A tool chain framework (IOPT-tools) was extended with this work proposals, supporting their validation and the GALS-DESs development.
Original languageEnglish
Awarding Institution
  • Faculdade de Ciências e Tecnologia (FCT)
  • Gomes, Luís Filipe dos Santos, Supervisor
Publication statusPublished - 2014


  • Distributed embedded systems
  • globally-asynchronous locally-synchronous systems
  • model-based development
  • Petri nets


Dive into the research topics of 'Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems'. Together they form a unique fingerprint.

Cite this