Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/5921
Título: | From requirements to code (Re2Code) – A model-based approach for controller implementation |
Autor: | Brito, Isabel Sofia Barros, João Paulo Gomes, Luis |
Palavras-chave: | Problem frames Petri nets Tool Cyber-physical |
Data: | 2016 |
Citação: | I. S. Brito, J. P. Barros and L. Gomes, "From requirements to code (Re2Code) — A model-based approach for controller implementation," 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), Poitiers, France, 2016, pp. 1224-1230, https://doi.org/10.1109/INDIN.2016.7819354. |
Resumo: | 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. |
Arbitragem científica: | yes |
URI: | https://hdl.handle.net/20.500.12207/5921 |
DOI: | 10.1109/INDIN.2016.7819354 |
ISSN: | 2378-363X |
Aparece nas coleções: | D-ENG - Artigos em revistas com peer review |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
From_requirements_to_code_Re2Code__A_model-based_approach_for_controller_implementation_PDFA.pdf | 2.64 MB | Adobe PDF | Ver/Abrir Acesso Restrito. Solicitar cópia ao autor! |
Este registo está protegido por Licença Creative Commons