Skip navigation
Please use this identifier to cite or link to this item:

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
Electronic mail
Cyber-physical systems
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
metadata.dc.identifier.doi: 10.1109/INDIN.2016.7819354
ISBN: 978-1-5090-2870-2
Publisher version:
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
File Description SizeFormat 
PID4283913.pdf946.52 kBAdobe PDFView/Open    Request a copy

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

This item is licensed under a Creative Commons License Creative Commons