kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
Aeronaut Inst Technol ITA, Dept Comp Syst, Comp Sci Div, BR-12228900 Sao Jose Dos Campos, SP, Brazil..
Univ Campinas UNICAMP, Adv Comp Control & Embedded Syst Lab, BR-13083860 Campinas, SP, Brazil..
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems.ORCID iD: 0000-0003-1666-1316
KTH, School of Electrical Engineering and Computer Science (EECS), Electrical Engineering, Electronics and Embedded systems.ORCID iD: 0000-0003-4859-3100
Show others and affiliations
2021 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 9, p. 156337-156360Article in journal (Refereed) Published
Abstract [en]

Embedded systems are ubiquitous and control many critical functions in society. A fairly new type of embedded system has emerged with the advent of partial reconfiguration, i.e. runtime reconfigurable systems. They are attracting interest in many different applications. Such a system is capable of reconfiguring itself at the hardware level and without the need to halt the application's execution. While modeling and implementing these systems is far from a trivial task, there is currently a lack of systematic approaches to tackle this issue. In other words, there is no unanimously agreed upon modeling paradigm that can capture adaptive behaviors at the highest level of abstraction, especially when regarding the design entry, namely, the initial high-level application and platform models. Given this, our paper proposes two domain ontologies for application and virtual platform models used to derive a classification system and to provide a set of rules on how the different model elements are allowed to be composed together. The application behavior is captured through a formal model of computation which dictates the semantics of execution, concurrency, and synchronization. The main contribution of this paper is to combine suitable formal models of computation, a functional modeling language, and two domain ontologies to create a systematic design flow from an abstract executable application model into a virtual implementation model based on a runtime reconfigurable architecture (virtual platform model) using well-defined mapping rules. We demonstrate the applicability, generality, and potential of the proposed model element classification system and mapping rules by applying them to representative and complete examples: an encoder/decoder system and an avionics attitude estimation system. Both cases yield a virtual implementation model from an abstract application model.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2021. Vol. 9, p. 156337-156360
Keywords [en]
Computational modeling, Runtime, Unified modeling language, Ontologies, Embedded systems, Adaptation models, Hardware, runtime reconfiguration, models of computation (MoC), domain ontology, mapping rules
National Category
Embedded Systems Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-306578DOI: 10.1109/ACCESS.2021.3129899ISI: 000725781000001Scopus ID: 2-s2.0-85120091235OAI: oai:DiVA.org:kth-306578DiVA, id: diva2:1621685
Note

QC 20211220

Available from: 2021-12-20 Created: 2021-12-20 Last updated: 2022-06-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Ungureanu, GeorgeSander, Ingo

Search in DiVA

By author/editor
Ungureanu, GeorgeSander, Ingo
By organisation
Electronics and Embedded systems
In the same journal
IEEE Access
Embedded SystemsComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 68 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf