Model-driven development in hardware-software co-design of controllers for cyber-physical systems

Luís Gomes; Anikó Costa

doi:10.1109/ICELIE58531.2023.10313106

Model-driven development in hardware-software co-design of controllers for cyber-physical systems

Luís Gomes, Anikó Costa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

In this paper a model-driven development approach based on Petri nets behavioural descriptions and fully supported by a web-based tool framework is presented. Its application and exploitation within a MSc course on hardware-software co-design supported by reconfigurable systems is used to validate its adequacy. The proposed model-driven development approach (based on Petri nets modeling) is targeted to address distributed controllers systems as part of cyber-physical systems (seen as globally-asynchronous locally-synchronous systems) and supports all the development phases from modeling and specification to deployment into implementation platforms (without writing a line of code), and including analysis activities, such as simulation and properties verification, as well as full support to integrate hardware-software co-design techniques when mapping components into execution platforms.

Original language	English
Title of host publication	2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Number of pages	6
ISBN (Electronic)	979-8-3503-8100-9
ISBN (Print)	979-8-3503-8101-6
DOIs	https://doi.org/10.1109/ICELIE58531.2023.10313106
Publication status	Published - 2023
Event	10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023 - Singapore, Singapore Duration: 16 Oct 2023 → 19 Oct 2023

Conference

Conference	10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023
Country/Territory	Singapore
City	Singapore
Period	16/10/23 → 19/10/23

Keywords

Co-design
Distributed controllers
FPGA
Hardware-software
model-driven development
Petri nets

Access to Document

10.1109/ICELIE58531.2023.10313106

Cite this

@inproceedings{425512ef794a4868b0c76101850241e1,

title = "Model-driven development in hardware-software co-design of controllers for cyber-physical systems",

abstract = "In this paper a model-driven development approach based on Petri nets behavioural descriptions and fully supported by a web-based tool framework is presented. Its application and exploitation within a MSc course on hardware-software co-design supported by reconfigurable systems is used to validate its adequacy. The proposed model-driven development approach (based on Petri nets modeling) is targeted to address distributed controllers systems as part of cyber-physical systems (seen as globally-asynchronous locally-synchronous systems) and supports all the development phases from modeling and specification to deployment into implementation platforms (without writing a line of code), and including analysis activities, such as simulation and properties verification, as well as full support to integrate hardware-software co-design techniques when mapping components into execution platforms.",

keywords = "Co-design, Distributed controllers, FPGA, Hardware-software, model-driven development, Petri nets",

author = "Lu{\'i}s Gomes and Anik{\'o} Costa",

note = "Funding Information: This work was funded (in part) by the Portuguese Agency ”Funda{\c c}{\~a}o para a Ci{\^e}ncia e a Tecnologia” (FCT) program, in the framework of project Center of Technology and Systems (CTS) UIDB/00066/2020 / UIDP/00066/2020. Publisher Copyright: {\textcopyright} 2023 IEEE.; 10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023 ; Conference date: 16-10-2023 Through 19-10-2023",

year = "2023",

doi = "10.1109/ICELIE58531.2023.10313106",

language = "English",

isbn = "979-8-3503-8101-6",

booktitle = "2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Gomes, L & Costa, A 2023, Model-driven development in hardware-software co-design of controllers for cyber-physical systems. in 2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023. Institute of Electrical and Electronics Engineers (IEEE), 10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023, Singapore, Singapore, 16/10/23. https://doi.org/10.1109/ICELIE58531.2023.10313106

Model-driven development in hardware-software co-design of controllers for cyber-physical systems. / Gomes, Luís ; Costa, Anikó.
2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023. Institute of Electrical and Electronics Engineers (IEEE), 2023.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Model-driven development in hardware-software co-design of controllers for cyber-physical systems

AU - Gomes, Luís

AU - Costa, Anikó

N1 - Funding Information: This work was funded (in part) by the Portuguese Agency ”Fundação para a Ciência e a Tecnologia” (FCT) program, in the framework of project Center of Technology and Systems (CTS) UIDB/00066/2020 / UIDP/00066/2020. Publisher Copyright: © 2023 IEEE.

PY - 2023

Y1 - 2023

N2 - In this paper a model-driven development approach based on Petri nets behavioural descriptions and fully supported by a web-based tool framework is presented. Its application and exploitation within a MSc course on hardware-software co-design supported by reconfigurable systems is used to validate its adequacy. The proposed model-driven development approach (based on Petri nets modeling) is targeted to address distributed controllers systems as part of cyber-physical systems (seen as globally-asynchronous locally-synchronous systems) and supports all the development phases from modeling and specification to deployment into implementation platforms (without writing a line of code), and including analysis activities, such as simulation and properties verification, as well as full support to integrate hardware-software co-design techniques when mapping components into execution platforms.

AB - In this paper a model-driven development approach based on Petri nets behavioural descriptions and fully supported by a web-based tool framework is presented. Its application and exploitation within a MSc course on hardware-software co-design supported by reconfigurable systems is used to validate its adequacy. The proposed model-driven development approach (based on Petri nets modeling) is targeted to address distributed controllers systems as part of cyber-physical systems (seen as globally-asynchronous locally-synchronous systems) and supports all the development phases from modeling and specification to deployment into implementation platforms (without writing a line of code), and including analysis activities, such as simulation and properties verification, as well as full support to integrate hardware-software co-design techniques when mapping components into execution platforms.

KW - Co-design

KW - Distributed controllers

KW - FPGA

KW - Hardware-software

KW - model-driven development

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=85179504817&partnerID=8YFLogxK

U2 - 10.1109/ICELIE58531.2023.10313106

DO - 10.1109/ICELIE58531.2023.10313106

M3 - Conference contribution

AN - SCOPUS:85179504817

SN - 979-8-3503-8101-6

BT - 2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 10th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2023

Y2 - 16 October 2023 through 19 October 2023

ER -

Model-driven development in hardware-software co-design of controllers for cyber-physical systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this