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

Keywords

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

Fingerprint Dive into the research topics of 'From requirements to code (Re2Code) - A model-based approach for controller implementation'. Together they form a unique fingerprint.

  • 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