Loading...
Please wait, while we are loading the content...
Similar Documents
A DEVS-based engine for building digital quadruplets
| Content Provider | SAGE Publishing |
|---|---|
| Author | Niyonkuru, Daniella Wainer, Gabriel |
| Copyright Year | 2021 |
| Abstract | 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. |
| Related Links | https://journals.sagepub.com/doi/pdf/10.1177/00375497211003130?download=true |
| Starting Page | 485 |
| Ending Page | 506 |
| Page Count | 22 |
| ISSN | 00375497 |
| Issue Number | 7 |
| Volume Number | 97 |
| Journal | SIMULATION (SIM) |
| e-ISSN | 17413133 |
| DOI | 10.1177/00375497211003130 |
| Language | English |
| Publisher | Sage Publications UK |
| Publisher Date | 2021-04-25 |
| Publisher Place | London |
| Access Restriction | Open |
| Rights Holder | © The Author(s) 2021 |
| Subject Keyword | DEMES real-time DEVS Digital Twin Digital Quadruplet DEVS cyber-physical systems Discrete-Event Modeling of Embedded Systems |
| Content Type | Text |
| Resource Type | Article |
| Subject | Computer Graphics and Computer-Aided Design Modeling and Simulation Software |
