Cargando…
A DEVS-based engine for building digital quadruplets
Development of Embedded Real-Time Systems is prone to error, and developing bug-free applications is expensive and no guarantees can be provided. We introduce the concept of Digital Quadruplet which includes: a 3D virtual representation of the physical world (a Digital Twin), a Discrete-Event formal...
Autores principales: | , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
SAGE Publications
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8227435/ https://www.ncbi.nlm.nih.gov/pubmed/34219819 http://dx.doi.org/10.1177/00375497211003130 |
_version_ | 1783712523283857408 |
---|---|
author | Niyonkuru, Daniella Wainer, Gabriel |
author_facet | Niyonkuru, Daniella Wainer, Gabriel |
author_sort | Niyonkuru, Daniella |
collection | PubMed |
description | Development of Embedded Real-Time Systems is prone to error, and developing bug-free applications is expensive and no guarantees can be provided. We introduce the concept of Digital Quadruplet which includes: a 3D virtual representation of the physical world (a Digital Twin), a Discrete-Event formal model of the system of interest (called the “Digital Triplet”), which can be used for formal analysis as well as simulation studies, and a physical model of the real system under study for experimentation (called the “Digital Quadruplet”). We focus on the definition of the idea of a Digital Quadruplet and how to make these four apparati consistent and reusable. To do so, we use the Discrete-Event formal model as a center for both simulation and execution of the real-time embedded components with timing constraints, as well as a common mechanism for interfacing with the digital counterparts, providing model continuity throughout the process. Here we focus on a principal part of the Digital Quadruplet idea: the provision of an environment to allow models to be used for simulation (in virtual time), visualization, or execution in real-time. A Discrete-EVent Systems specifications (DEVS) kernel runs on bare-metal hardware platforms, avoiding the use of an Operating RTOS in the platform, and the combination with discrete-event modeling engineering. |
format | Online Article Text |
id | pubmed-8227435 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2021 |
publisher | SAGE Publications |
record_format | MEDLINE/PubMed |
spelling | pubmed-82274352021-07-01 A DEVS-based engine for building digital quadruplets Niyonkuru, Daniella Wainer, Gabriel Simulation Methodology Development of Embedded Real-Time Systems is prone to error, and developing bug-free applications is expensive and no guarantees can be provided. We introduce the concept of Digital Quadruplet which includes: a 3D virtual representation of the physical world (a Digital Twin), a Discrete-Event formal model of the system of interest (called the “Digital Triplet”), which can be used for formal analysis as well as simulation studies, and a physical model of the real system under study for experimentation (called the “Digital Quadruplet”). We focus on the definition of the idea of a Digital Quadruplet and how to make these four apparati consistent and reusable. To do so, we use the Discrete-Event formal model as a center for both simulation and execution of the real-time embedded components with timing constraints, as well as a common mechanism for interfacing with the digital counterparts, providing model continuity throughout the process. Here we focus on a principal part of the Digital Quadruplet idea: the provision of an environment to allow models to be used for simulation (in virtual time), visualization, or execution in real-time. A Discrete-EVent Systems specifications (DEVS) kernel runs on bare-metal hardware platforms, avoiding the use of an Operating RTOS in the platform, and the combination with discrete-event modeling engineering. SAGE Publications 2021-04-25 2021-07 /pmc/articles/PMC8227435/ /pubmed/34219819 http://dx.doi.org/10.1177/00375497211003130 Text en © The Author(s) 2021 https://creativecommons.org/licenses/by-nc/4.0/This article is distributed under the terms of the Creative Commons Attribution-NonCommercial 4.0 License (https://creativecommons.org/licenses/by-nc/4.0/) which permits non-commercial use, reproduction and distribution of the work without further permission provided the original work is attributed as specified on the SAGE and Open Access page (https://us.sagepub.com/en-us/nam/open-access-at-sage). |
spellingShingle | Methodology Niyonkuru, Daniella Wainer, Gabriel A DEVS-based engine for building digital quadruplets |
title | A DEVS-based engine for building digital quadruplets |
title_full | A DEVS-based engine for building digital quadruplets |
title_fullStr | A DEVS-based engine for building digital quadruplets |
title_full_unstemmed | A DEVS-based engine for building digital quadruplets |
title_short | A DEVS-based engine for building digital quadruplets |
title_sort | devs-based engine for building digital quadruplets |
topic | Methodology |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8227435/ https://www.ncbi.nlm.nih.gov/pubmed/34219819 http://dx.doi.org/10.1177/00375497211003130 |
work_keys_str_mv | AT niyonkurudaniella adevsbasedengineforbuildingdigitalquadruplets AT wainergabriel adevsbasedengineforbuildingdigitalquadruplets AT niyonkurudaniella devsbasedengineforbuildingdigitalquadruplets AT wainergabriel devsbasedengineforbuildingdigitalquadruplets |