Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/704
Título: | Merging and splitting Petri net models within distributed embedded controller design |
Autor: | Gomes, Luís Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando |
Palavras-chave: | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
Data: | 2013 |
Editora: | IGI Global |
Citação: | L. Gomes, A. Costa, J. P. Barros, F. Moutinho, and F. Pereira, "Merging and Splitting Petri Net Models within Distributed Embedded Controller Design," in Embedded Computing Systems: Applications, Optimization, and Advanced Design, ed: IGI Global, 2013, pp. 160-183. |
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). |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/704 |
Versão do Editor: | http://dx.doi.org/10.4018/978-1-4666-3922-5.ch009 |
Aparece nas coleções: | D-ENG - Livros e Capítulo de livro |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.