Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS SystemsReport as inadecuate




Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems - Download this document for free, or read online. Document in PDF available to download.

1 Universidade Nova de Lisboa 2 UNINOVA - Universidade Nova de Lisboa

Abstract : A specific class of Petri nets was extended with Asynchronous-Channels ACs and Time-Domains TDs to support Globally-Asynchronous Locally-Synchronous GALS systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.

Keywords : GALS embedded systems Model-based development Petri nets





Author: Filipe Moutinho - Luís Gomes -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents