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
Babita Srivastava.
© 2024.
21 pages.
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
Neeta Baporikar.
© 2024.
23 pages.
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|