Keynote 1: Discrete-event modeling and simulation for development of embedded and real-time systems

2017 ◽  
Author(s):  
Gabriel Wainer
Keyword(s):  
Modeling And Simulation ◽  
Real Time ◽  
Discrete Event ◽  
Real Time Systems ◽  
Event Modeling ◽  
Time Systems

scholarly journals A DEVS-based engine for building digital quadruplets

SIMULATION ◽  
2021 ◽  
pp. 003754972110031
Author(s):  
Daniella Niyonkuru ◽  
Gabriel Wainer
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Formal Analysis ◽  
Discrete Event ◽  
Physical World ◽  
Common Mechanism ◽  
The Real ◽  
Event Modeling ◽  
Definition Of ◽  
Time Systems

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.

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document