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...

Descripción completa

Detalles Bibliográficos
Autores principales: Niyonkuru, Daniella, Wainer, Gabriel
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