High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation
One of the main challenges of embedded system design lies in the natural heterogeneity of these systems. We can say that embedded systems are electronic systems designed and programmed to tackle a specific application. Each application has its requirements, although embedded systems often combine ma...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10960706/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850179781890408448 |
|---|---|
| author | Gabriel C. Duarte Denis S. Loubach Ingo Sander |
| author_facet | Gabriel C. Duarte Denis S. Loubach Ingo Sander |
| author_sort | Gabriel C. Duarte |
| collection | DOAJ |
| description | One of the main challenges of embedded system design lies in the natural heterogeneity of these systems. We can say that embedded systems are electronic systems designed and programmed to tackle a specific application. Each application has its requirements, although embedded systems often combine many domain-specific subsystems. Considering this context, the design of embedded systems can be extremely challenging, including system modeling, simulation, formal verification, and the synthesis to a correct implementation. To manage the complexity of such systems, the design should start at higher levels of abstraction, based on formal models, without considering the low-level characteristics of the underlying software or hardware. These high-level formal meta-models, named models of computation (MoC), define a set of rules that dictate how computation should be performed and how they should communicate with each other, along with other information such as the notion of time. In this paper, we present as the main contribution a set of rules and interfaces that enable the proper mixing of different MoC domains in a framework for complex embedded system design, thus allowing a heterogeneous system composition at a high abstraction level, including the synchronous reactive, synchronous dataflow, and scenario-aware dataflow MoCs. We model both part of an avionic system and a reconfigurable RISC-V processor using these MoCs and the proposed interfaces as a case study showing the applicability brought by our proposal. |
| format | Article |
| id | doaj-art-a51befa298be4e40be1c5aa87b54b6df |
| institution | OA Journals |
| issn | 2169-3536 |
| language | English |
| publishDate | 2025-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj-art-a51befa298be4e40be1c5aa87b54b6df2025-08-20T02:18:24ZengIEEEIEEE Access2169-35362025-01-0113639186393410.1109/ACCESS.2025.355969510960706High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of ComputationGabriel C. Duarte0https://orcid.org/0000-0002-6739-8709Denis S. Loubach1https://orcid.org/0000-0003-1595-3448Ingo Sander2https://orcid.org/0000-0003-4859-3100Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology (ITA), São José dos Campos, BrazilDepartment of Computer Systems, Computer Science Division, Aeronautics Institute of Technology (ITA), São José dos Campos, BrazilSchool of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, SwedenOne of the main challenges of embedded system design lies in the natural heterogeneity of these systems. We can say that embedded systems are electronic systems designed and programmed to tackle a specific application. Each application has its requirements, although embedded systems often combine many domain-specific subsystems. Considering this context, the design of embedded systems can be extremely challenging, including system modeling, simulation, formal verification, and the synthesis to a correct implementation. To manage the complexity of such systems, the design should start at higher levels of abstraction, based on formal models, without considering the low-level characteristics of the underlying software or hardware. These high-level formal meta-models, named models of computation (MoC), define a set of rules that dictate how computation should be performed and how they should communicate with each other, along with other information such as the notion of time. In this paper, we present as the main contribution a set of rules and interfaces that enable the proper mixing of different MoC domains in a framework for complex embedded system design, thus allowing a heterogeneous system composition at a high abstraction level, including the synchronous reactive, synchronous dataflow, and scenario-aware dataflow MoCs. We model both part of an avionic system and a reconfigurable RISC-V processor using these MoCs and the proposed interfaces as a case study showing the applicability brought by our proposal.https://ieeexplore.ieee.org/document/10960706/Embedded systemsheterogeneous modelingheterogeneous systemsmodels of computationreconfigurable systemsRISC-V |
| spellingShingle | Gabriel C. Duarte Denis S. Loubach Ingo Sander High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation IEEE Access Embedded systems heterogeneous modeling heterogeneous systems models of computation reconfigurable systems RISC-V |
| title | High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation |
| title_full | High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation |
| title_fullStr | High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation |
| title_full_unstemmed | High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation |
| title_short | High-Level Reconfigurable Embedded System Design Based on Heterogeneous Models of Computation |
| title_sort | high level reconfigurable embedded system design based on heterogeneous models of computation |
| topic | Embedded systems heterogeneous modeling heterogeneous systems models of computation reconfigurable systems RISC-V |
| url | https://ieeexplore.ieee.org/document/10960706/ |
| work_keys_str_mv | AT gabrielcduarte highlevelreconfigurableembeddedsystemdesignbasedonheterogeneousmodelsofcomputation AT denissloubach highlevelreconfigurableembeddedsystemdesignbasedonheterogeneousmodelsofcomputation AT ingosander highlevelreconfigurableembeddedsystemdesignbasedonheterogeneousmodelsofcomputation |