From requirements to code (Re2Code) - A model-based approach for controller implementation

Isabel Sofia Brito, Joao Paulo Barros, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1224-1230
Number of pages7
ISBN (Electronic)9781509028702
DOIs
Publication statusPublished - 2016
Event14th IEEE International Conference on Industrial Informatics, INDIN 2016 - Poitiers, France
Duration: 19 Jul 201621 Jul 2016

Conference

Conference14th IEEE International Conference on Industrial Informatics, INDIN 2016
CountryFrance
CityPoitiers
Period19/07/1621/07/16

Fingerprint

Controllers
Availability
Cyber Physical System

Keywords

  • cyber-physical systems design
  • implementation
  • Petri nets
  • Problem Frames
  • tool

Cite this

Brito, I. S., Barros, J. P., & Gomes, L. (2016). From requirements to code (Re2Code) - A model-based approach for controller implementation. In Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016 (pp. 1224-1230). [7819354] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/INDIN.2016.7819354
Brito, Isabel Sofia ; Barros, Joao Paulo ; Gomes, Luis. / From requirements to code (Re2Code) - A model-based approach for controller implementation. Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 1224-1230
@inproceedings{7a9b0adc0ec9495d94cda5175667b4e0,
title = "From requirements to code (Re2Code) - A model-based approach for controller implementation",
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.",
keywords = "cyber-physical systems design, implementation, Petri nets, Problem Frames, tool",
author = "Brito, {Isabel Sofia} and Barros, {Joao Paulo} and Luis Gomes",
note = "Sem PDF. Portuguese Agency {"}FCT - Fundacao para a Ciencia e Tecnologia{"} (UID/EEA/00066/2013)",
year = "2016",
doi = "10.1109/INDIN.2016.7819354",
language = "English",
pages = "1224--1230",
booktitle = "Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

Brito, IS, Barros, JP & Gomes, L 2016, From requirements to code (Re2Code) - A model-based approach for controller implementation. in Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016., 7819354, Institute of Electrical and Electronics Engineers Inc., pp. 1224-1230, 14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, 19/07/16. https://doi.org/10.1109/INDIN.2016.7819354

From requirements to code (Re2Code) - A model-based approach for controller implementation. / Brito, Isabel Sofia; Barros, Joao Paulo; Gomes, Luis.

Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 1224-1230 7819354.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - From requirements to code (Re2Code) - A model-based approach for controller implementation

AU - Brito, Isabel Sofia

AU - Barros, Joao Paulo

AU - Gomes, Luis

N1 - Sem PDF. Portuguese Agency "FCT - Fundacao para a Ciencia e Tecnologia" (UID/EEA/00066/2013)

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - cyber-physical systems design

KW - implementation

KW - Petri nets

KW - Problem Frames

KW - tool

UR - http://www.scopus.com/inward/record.url?scp=85012866427&partnerID=8YFLogxK

U2 - 10.1109/INDIN.2016.7819354

DO - 10.1109/INDIN.2016.7819354

M3 - Conference contribution

SP - 1224

EP - 1230

BT - Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Brito IS, Barros JP, Gomes L. From requirements to code (Re2Code) - A model-based approach for controller implementation. In Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 1224-1230. 7819354 https://doi.org/10.1109/INDIN.2016.7819354