| Prelegent: | prof. Luís Gomes, NOVA University Lisbon, Center of Technology and Systems-UNINOVA, Caparica, Portugal, e-mail: lugo@fct.unl.pt. |
| Temat: | Model-driven development of distributed embedded controllers – rapid prototyping using IOPT-nets |
| Streszczenie | Adoption of a model-driven development attitude can benefit the design of distributed embedded controllers, allowing adequate support for designer’s needs integrating reusability of already available components, as well as design automation tools. Selection of Petri nets as reference modeling formalism provides support for a comprehensive specification and documentation of the system, complementing graphical expressiveness with formal verification capabilities. A Petri nets based development flow targeted for the design of distributed embedded controllers and cyber-physical systems is presented. Input-Output Place-Transition Petri nets (IOPT nets) are used as the underlying formalism, allowing explicit representation of dependencies on input and output signals and events (as common whenever generation of code for controllers is foreseen). Distributed execution is addressed adding the concept of time domains and communication channels to IOPT nets. |
