The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Merging and Splitting Petri Net Models within Distributed Embedded Controller Design
|
|
Author(s): Luis Gomes (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal), Anikó Costa (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal), João Paulo Barros (Instituto Politécnico de Beja, Portugal & UNINOVA-CTS, Portugal), Filipe Moutinho (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal) and Fernando Pereira (Instituto Politécnico de Lisboa, Portugal & UNINOVA-CTS, Portugal)
Copyright: 2013
Pages: 24
Source title:
Embedded Computing Systems: Applications, Optimization, and Advanced Design
Source Author(s)/Editor(s): Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia) and Antonio Valentini (O3neida Europe, Belgium)
DOI: 10.4018/978-1-4666-3922-5.ch009
Purchase
|
Abstract
Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).
Related Content
|
Eduardo Miranda.
© 2021.
27 pages.
|
|
Mirna Muñoz, Jezreel Mejía, Claude Y. Laporte.
© 2021.
24 pages.
|
|
Nuno António Santos, Nuno Ferreira, Ricardo J. Machado.
© 2021.
27 pages.
|
|
Laura C. Rodriguez-Martinez, Hector A. Duran-Limon, Manuel Mora.
© 2021.
22 pages.
|
|
Ashay Saxena, Shankar Venkatagiri, Rajendra K Bandi.
© 2021.
14 pages.
|
|
Danilo F. S. Santos, André Felipe A. Rodrigues, Walter O. Guerra Filho, Marcos Fábio Pereira.
© 2021.
15 pages.
|
|
Danyllo Wagner Albuquerque, Everton Tavares Guimarães, Felipe Barbosa Araújo Ramos, Antonio Alexandre Moura Costa, Alexandre Gomes, Emanuel Dantas, Mirko Perkusich, Hyggo Almeida.
© 2021.
21 pages.
|
|
|