Publicação
From requirements to code (Re2Code): A model-based approach for controller implementation
| 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. |
|---|---|
| Autores principais: | Gomes, Luís |
| Outros Autores: | Barros, João; Brito, Isabel |
| Assunto: | Petri nets Vehicles Software Electronic mail Cyber-physical systems Semantics Control systems Indexação ISI |
| Ano: | 2016 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Beja |
| Idioma: | inglês |
| Origem: | Repositório Institucional do IPBeja |
| 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. |
|---|