Publicação
Merging and splitting Petri net models within distributed embedded controller design
| 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 |
| _version_ | 1866902703197650944 |
|---|---|
| author | Gomes, Luís |
| author2 | Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando Barros, João Paulo |
| author2_role | author author author author author |
| author_facet | Gomes, Luís Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando Barros, João Paulo |
| author_role | author |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Gomes, Luís\"},{\"Person.name\":\"Costa, Anikó\"},{\"Person.name\":\"Barros, João Paulo\"},{\"Person.name\":\"Moutinho, Filipe\"},{\"Person.name\":\"Pereira, Fernando\"},{\"Person.name\":\"Barros, João Paulo\"}] |
| datacite.creators.creator.creatorName.fl_str_mv | Gomes, Luís Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando Barros, João Paulo |
| datacite.date.Accepted.fl_str_mv | 2013-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2014-02-25T17:10:57Z 2013-01-01T00:00:00Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| datacite.subjects.subject.fl_str_mv | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| datacite.titles.title.fl_str_mv | Merging and splitting Petri net models within distributed embedded controller design |
| dc.creator.none.fl_str_mv | Gomes, Luís Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando Barros, João Paulo |
| dc.date.Accepted.fl_str_mv | 2013-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2014-02-25T17:10:57Z 2013-01-01T00:00:00Z |
| dc.identifier.none.fl_str_mv | http://hdl.handle.net/20.500.12207/704 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | IGI Global |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_16ec |
| dc.subject.none.fl_str_mv | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| dc.title.fl_str_mv | Merging and splitting Petri net models within distributed embedded controller design |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_3248 |
| description | 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). |
| dirty | 0 |
| eu_rights_str_mv | restrictedAccess |
| format | bookPart |
| id | ripb_f4e013834bd2c7b96cec985db243ed0f |
| identifier.url.fl_str_mv | http://hdl.handle.net/20.500.12207/704 |
| instacron_str | ipb |
| institution | Instituto Politécnico de Beja |
| instname_str | Instituto Politécnico de Beja |
| language | eng |
| network_acronym_str | ripb |
| network_name_str | Repositório Institucional do IPBeja |
| oai_identifier_str | oai:repositorio.ipbeja.pt:20.500.12207/704 |
| organization_str_mv | urn:organizationAcronym:ipb |
| person_str_mv | Gomes, Luís Costa, Anikó Barros, João Paulo Moutinho, Filipe Pereira, Fernando Barros, João Paulo |
| publishDate | 2013 |
| publisher.none.fl_str_mv | IGI Global |
| reponame_str | Repositório Institucional do IPBeja |
| repository_id_str | urn:repositoryAcronym:ripb |
| service_str_mv | urn:repositoryAcronym:ripb |
| spelling | pt_PTDesign 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).engIGI Globalpt_PTMerging and splitting Petri net models within distributed embedded controller designGomes, LuísCosta, AnikóBarros, João PauloMoutinho, FilipePereira, FernandoBarros, João PauloHandlehttp://hdl.handle.net/20.500.12207/7042014-02-25T17:10:57Z2013-01-01T00:00:00Z2013-01-01T00:00:00Z2013http://purl.org/coar/access_right/c_16ecrestricted accesspt_PTmodel-basedpt_PTcompositionpt_PTIOPTpt_PTPetri netspt_PTNon-autonomouspt_PTverificationpt_PTcode generationpt_PTGALSliteraturehttp://purl.org/coar/resource_type/c_3248book part |
| spellingShingle | Merging and splitting Petri net models within distributed embedded controller design Gomes, Luís model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| status | SINGLETON |
| subject.fl_str_mv | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| title | Merging and splitting Petri net models within distributed embedded controller design |
| title_full | Merging and splitting Petri net models within distributed embedded controller design |
| title_fullStr | Merging and splitting Petri net models within distributed embedded controller design |
| title_full_unstemmed | Merging and splitting Petri net models within distributed embedded controller design |
| title_short | Merging and splitting Petri net models within distributed embedded controller design |
| title_sort | Merging and splitting Petri net models within distributed embedded controller design |
| topic | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| topic_facet | model-based composition IOPT Petri nets Non-autonomous verification code generation GALS |
| url | http://hdl.handle.net/20.500.12207/704 |
| visible | 1 |