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. |
Year | Venue | Keywords |
---|---|---|
2016 | 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | Problem Frames, Petri nets, tool, cyber-physical systems design, implementation |
Field | DocType | ISSN |
Control theory,Programming language,Petri net,Computer science,Real-time computing,Input/output,Software,Heuristics,Cyber-physical system,Control system,Executable | Conference | 1935-4576 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Isabel Sofia Brito | 1 | 105 | 11.95 |
João Paulo Barros | 2 | 105 | 18.03 |
Luís Gomes | 3 | 87 | 22.71 |