Publicação

Merging and splitting Petri net models within distributed embedded controller design

Ver documento

Detalhes bibliográficos
Resumo: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).
Autores principais:Gomes, Luís
Outros Autores:Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando; Barros, João Paulo
Assunto:model-based composition IOPT Petri nets Non-autonomous verification code generation GALS
Ano:2013
País:Portugal
Tipo de documento:capítulo de livro
Tipo de acesso:acesso restrito
Instituição associada:Instituto Politécnico de Beja
Idioma:inglês
Origem:Repositório Institucional do IPBeja

Registos relacionados

Registos relacionados