Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/5921
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Brito, Isabel Sofia | - |
dc.contributor.author | Barros, João Paulo | - |
dc.contributor.author | Gomes, Luis | - |
dc.date.accessioned | 2023-10-11T15:35:46Z | - |
dc.date.available | 2023-10-11T15:35:46Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | 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. | por |
dc.identifier.issn | 2378-363X | - |
dc.identifier.uri | https://hdl.handle.net/20.500.12207/5921 | - |
dc.description.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. | por |
dc.language.iso | eng | por |
dc.relation | Petri-Rig - A Petri net based framework for embedded systems engineeRInG | por |
dc.rights | restrictedAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | por |
dc.subject | Problem frames | por |
dc.subject | Petri nets | por |
dc.subject | Tool | por |
dc.subject | Cyber-physical | por |
dc.title | From requirements to code (Re2Code) – A model-based approach for controller implementation | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
degois.publication.firstPage | 1224 | por |
degois.publication.lastPage | 1230 | por |
degois.publication.location | Futuroscope-Poitiers, France | por |
degois.publication.title | 14th IEEE International Conference of Industrial Informatics (INDIN 2016) | por |
dc.identifier.doi | 10.1109/INDIN.2016.7819354 | por |
Appears in Collections: | D-ENG - Artigos em revistas com peer review |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
From_requirements_to_code_Re2Code__A_model-based_approach_for_controller_implementation_PDFA.pdf | 2.64 MB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License