Publicação
The DS-Pnet modeling formalism for cyber-physical system development
| Resumo: | This work presents the DS-Pnet modeling formalism (Dataflow, Signals and Petri nets), designed for the development of cyber-physical systems, combining the characteristics of Petri nets and dataflows to support the modeling of mixed systems containing both reactive parts and data processing operations. Inheriting the features of the parent IOPT Petri net class, including an external interface composed of input and output signals and events, the addition of dataflow operations brings enhanced modeling capabilities to specify mathematical data transformations and graphically express the dependencies between signals. Data-centric systems, that do not require reactive controllers, are designed using pure dataflow models. Component based model composition enables reusing existing components, create libraries of previously tested components and hierarchically decompose complex systems into smaller sub-systems. A precise execution semantics was defined, considering the relationship between dataflow and Petri net nodes, providing an abstraction to define the interface between reactive controllers and input and output signals, including analog sensors and actuators. The new formalism is supported by the IOPT-Flow Web based tool framework, offering tools to design and edit models, simulate model execution on the Web browser, plus model-checking and software/hardware automatic code generation tools to implement controllers running on embedded devices (C,VHDL and JavaScript). A new communication protocol was created to permit the automatic implementation of distributed cyber-physical systems composed of networks of remote components communicating over the Internet. The editor tool connects directly to remote embedded devices running DS-Pnet models and may import remote components into new models, contributing to simplify the creation of distributed cyber-physical applications, where the communication between distributed components is specified just by drawing arcs. Several application examples were designed to validate the proposed formalism and the associated framework, ranging from hardware solutions, industrial applications to distributed software applications. |
|---|---|
| Autores principais: | Pereira, Fernando Joaquim Ganhão |
| Assunto: | Petri nets dataflows cyber-physical systems embedded systems design automation |
| Ano: | 2017 |
| País: | Portugal |
| Tipo de documento: | tese de doutoramento |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório Institucional da UNL |
| _version_ | 1868415437759315968 |
|---|---|
| author | Pereira, Fernando Joaquim Ganhão |
| author_facet | Pereira, Fernando Joaquim Ganhão |
| author_role | author |
| contributor_name_str_mv | Gomes, Luís RUN |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Pereira, Fernando Joaquim Ganhão\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Gomes, Luís RUN |
| datacite.creators.creator.creatorName.fl_str_mv | Pereira, Fernando Joaquim Ganhão |
| datacite.date.Accepted.fl_str_mv | 2017-10-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2018-01-10T10:10:52Z |
| datacite.date.embargoed.fl_str_mv | 2018-01-10T10:10:52Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Petri nets dataflows cyber-physical systems embedded systems design automation |
| datacite.titles.title.fl_str_mv | The DS-Pnet modeling formalism for cyber-physical system development |
| dc.contributor.none.fl_str_mv | Gomes, Luís RUN |
| dc.creator.none.fl_str_mv | Pereira, Fernando Joaquim Ganhão |
| dc.date.Accepted.fl_str_mv | 2017-10-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2018-01-10T10:10:52Z |
| dc.date.embargoed.fl_str_mv | 2018-01-10T10:10:52Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | http://hdl.handle.net/10362/27876 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Petri nets dataflows cyber-physical systems embedded systems design automation |
| dc.title.fl_str_mv | The DS-Pnet modeling formalism for cyber-physical system development |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_db06 |
| description | This work presents the DS-Pnet modeling formalism (Dataflow, Signals and Petri nets), designed for the development of cyber-physical systems, combining the characteristics of Petri nets and dataflows to support the modeling of mixed systems containing both reactive parts and data processing operations. Inheriting the features of the parent IOPT Petri net class, including an external interface composed of input and output signals and events, the addition of dataflow operations brings enhanced modeling capabilities to specify mathematical data transformations and graphically express the dependencies between signals. Data-centric systems, that do not require reactive controllers, are designed using pure dataflow models. Component based model composition enables reusing existing components, create libraries of previously tested components and hierarchically decompose complex systems into smaller sub-systems. A precise execution semantics was defined, considering the relationship between dataflow and Petri net nodes, providing an abstraction to define the interface between reactive controllers and input and output signals, including analog sensors and actuators. The new formalism is supported by the IOPT-Flow Web based tool framework, offering tools to design and edit models, simulate model execution on the Web browser, plus model-checking and software/hardware automatic code generation tools to implement controllers running on embedded devices (C,VHDL and JavaScript). A new communication protocol was created to permit the automatic implementation of distributed cyber-physical systems composed of networks of remote components communicating over the Internet. The editor tool connects directly to remote embedded devices running DS-Pnet models and may import remote components into new models, contributing to simplify the creation of distributed cyber-physical applications, where the communication between distributed components is specified just by drawing arcs. Several application examples were designed to validate the proposed formalism and the associated framework, ranging from hardware solutions, industrial applications to distributed software applications. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | doctoralThesis |
| fulltext.url.fl_str_mv | https://run.unl.pt/bitstreams/ffcdf710-c39c-44a7-b032-5784c897eab1/download |
| funding.funder.alternateName_str_mv | FCT |
| funding.funder.identifier_str_mv | http://doi.org/10.13039/501100001871 |
| funding.funder.name_str_mv | Fundação para a Ciência e a Tecnologia |
| funding.name_str_mv | 3599-PPCDT |
| id | run_ed15d7e5e4e9cf3d046b7eb0aab76e46 |
| identifier.url.fl_str_mv | http://hdl.handle.net/10362/27876 |
| instacron_str | unl |
| institution | Universidade Nova de Lisboa |
| instname_str | Universidade Nova de Lisboa |
| language | eng |
| network_acronym_str | run |
| network_name_str | Repositório Institucional da UNL |
| oai_identifier_str | oai:run.unl.pt:10362/27876 |
| organization_str_mv | urn:organizationAcronym:unl |
| person_str_mv | Pereira, Fernando Joaquim Ganhão |
| publishDate | 2017 |
| reponame_str | Repositório Institucional da UNL |
| repository_id_str | urn:repositoryAcronym:run |
| service_str_mv | urn:repositoryAcronym:run |
| spelling | engpt_PTThis work presents the DS-Pnet modeling formalism (Dataflow, Signals and Petri nets), designed for the development of cyber-physical systems, combining the characteristics of Petri nets and dataflows to support the modeling of mixed systems containing both reactive parts and data processing operations. Inheriting the features of the parent IOPT Petri net class, including an external interface composed of input and output signals and events, the addition of dataflow operations brings enhanced modeling capabilities to specify mathematical data transformations and graphically express the dependencies between signals. Data-centric systems, that do not require reactive controllers, are designed using pure dataflow models. Component based model composition enables reusing existing components, create libraries of previously tested components and hierarchically decompose complex systems into smaller sub-systems. A precise execution semantics was defined, considering the relationship between dataflow and Petri net nodes, providing an abstraction to define the interface between reactive controllers and input and output signals, including analog sensors and actuators. The new formalism is supported by the IOPT-Flow Web based tool framework, offering tools to design and edit models, simulate model execution on the Web browser, plus model-checking and software/hardware automatic code generation tools to implement controllers running on embedded devices (C,VHDL and JavaScript). A new communication protocol was created to permit the automatic implementation of distributed cyber-physical systems composed of networks of remote components communicating over the Internet. The editor tool connects directly to remote embedded devices running DS-Pnet models and may import remote components into new models, contributing to simplify the creation of distributed cyber-physical applications, where the communication between distributed components is specified just by drawing arcs. Several application examples were designed to validate the proposed formalism and the associated framework, ranging from hardware solutions, industrial applications to distributed software applications.application/pdfpt_PTThe DS-Pnet modeling formalism for cyber-physical system developmentPereira, Fernando Joaquim GanhãoGomes, LuísHostingInstitutionOrganizationalRUNe-mailmailto:run@unl.ptrun@unl.ptURNurn:tid:1013082802018-01-10T10:10:52Z2017-1020172017-10-01T00:00:00ZHandlehttp://hdl.handle.net/10362/27876http://purl.org/coar/access_right/c_abf2open accessPetri netsdataflowscyber-physical systemsembedded systemsdesign automation27087610 bytesFundação para a Ciência e a TecnologiaPetri-Rig - A Petri net based framework for embedded systems engineeRInG3599-PPCDTCrossref Funder IDhttp://doi.org/10.13039/501100001871literaturehttp://purl.org/coar/resource_type/c_db06doctoral thesishttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://run.unl.pt/bitstreams/ffcdf710-c39c-44a7-b032-5784c897eab1/download |
| spellingShingle | The DS-Pnet modeling formalism for cyber-physical system development Pereira, Fernando Joaquim Ganhão Petri nets dataflows cyber-physical systems embedded systems design automation |
| status | SINGLETON |
| subject.fl_str_mv | Petri nets dataflows cyber-physical systems embedded systems design automation |
| title | The DS-Pnet modeling formalism for cyber-physical system development |
| title_full | The DS-Pnet modeling formalism for cyber-physical system development |
| title_fullStr | The DS-Pnet modeling formalism for cyber-physical system development |
| title_full_unstemmed | The DS-Pnet modeling formalism for cyber-physical system development |
| title_short | The DS-Pnet modeling formalism for cyber-physical system development |
| title_sort | The DS-Pnet modeling formalism for cyber-physical system development |
| topic | Petri nets dataflows cyber-physical systems embedded systems design automation |
| topic_facet | Petri nets dataflows cyber-physical systems embedded systems design automation |
| url | http://hdl.handle.net/10362/27876 |
| visible | 1 |