Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/4790
Title: | From requirements to code (Re2Code): A model-based approach for controller implementation |
Authors: | Brito, Isabel Sofia Barros, João Paulo Gomes, Luís |
Keywords: | Petri nets Vehicles Software Electronic mail Cyber-physical systems Semantics Control systems Indexação ISI |
Issue Date: | 19-Jul-2016 |
Publisher: | IEEE |
Abstract: | This paper presents a step by step model based approach (Re2Code) allowing the translation from Problem Frames, supporting requirements, to executable code for embedded controllers. The approach uses a set of heuristics to translate Problem Frames diagrams and requirements, into executable Input-Output Place-Transition (IOPT) net models, which take advantage of concepts available in IOPT nets, namely input and output events, and states. The IOPT nets models are then translated to executable C code, relying on the availability of a free translator (IOPT tools) from IOPT net models to C code, thus providing a support for the implementation of Cyber-Physical Systems. An example illustrates the approach. |
Peer reviewed: | yes |
URI: | http://hdl.handle.net/20.500.12207/4790 |
metadata.dc.identifier.doi: | 10.1109/INDIN.2016.7819354 |
ISBN: | 978-1-5090-2870-2 |
Publisher version: | https://doi.org/10.1109/INDIN.2016.7819354 |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
PID4283913.pdf | 946.52 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License