Discrete-Event Modeling and Simulation for Embedded Systems

Niyonkuru, Daniella; Wainer, Gabriel

doi:10.1109/mcse.2015.89

Cited by 10 publications

(7 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Simulation modeling is widely used by developers in several fields such as embedded systems, 1 healthcare, 2 security systems, 3 and traffic systems. 4 The main goal of the simulation is to provide an abstraction of the real world with the most flexibility needed in the modeling phase.…”

Section: Introductionmentioning

confidence: 99%

System-level co-simulation for embedded systems

et al. 2020

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

System-level co-simulation for embedded systems

et al. 2020

View full text Add to dashboard Cite

show abstract

“…Moreover, M&S techniques in general, and DEMES in particular, allow building testing scenarios easily and simulate them, without the need of the hardware and/or the need of the real environment. Niyonkuru and Wainer developed two kernels based on DEMES: Embedded CD++ (E-CD++) and Embedded CDBoost (E-CDBoost) (Niyonkuru and Wainer 2015b;Niyonkuru 2015;Niyonkuru and Wainer 2015a) that allow users to run models directly on bare-metal without the need of an operating system. Both kernels differ in the communication mechanism used between model execution engines.…”

Section: Introductionmentioning

confidence: 99%

Control of a Quadcopter Application with Devs

2019

Theory and Foundations of Modeling and Simulation (TMS 2019)

View full text Add to dashboard Cite

Embedded systems are increasingly used to control different devices ranging from toys, up to vehicles and spaceships. Each machine has special hardware designed to perform its tasks optimally, and there are constrains that emerge from the relation between hardware, embedded software and the environment. Discrete-Event Modeling of Embedded Systems (DEMES) is a formal methodology to develop software for embedded systems using a discrete event formalism to implement the system software as a model, abstracting the software from the hardware and facilitating verification and validation. The objective of this paper is to show how to use DEMES to develop controllers for a quadcopter and to deploy them on the target hardware.

show abstract

“…The code can then be compiled for use on an embedded platform which makes use of the C++ Boost libraries. E-CD Boost is based on DEVS and is suitable for Real-time embedded systems because it provides a rich structural representation of components and a formal means to explicitly specify timing which is central to the Real-time system (Niyonkuru and Wainer 2015). For ease of use, the ARM MBED libraries are used for interfacing input/output devices.…”

Section: Introductionmentioning

confidence: 99%

Design and Implementation of a Building Control System in Real-time Devs

2019

Theory and Foundations of Modeling and Simulation (TMS 2019)

View full text Add to dashboard Cite

Buildings occupy about 40% of the world's energy consumption, accounting for 30% of total CO2 emissions. The motivation to reduce energy consumption and associated greenhouse gas emissions from buildings has led to increased interest in building automation. Real-Time Discrete Event Modelling and simulation presents an efficient way to design control systems for conservation of energy in buildings. We present a Building Controller built using the E-CD Boost library, that uses a DEVS model to control the lights and emergency systems of a building based on room occupancy and other inputs. This is a step in the development of model-based control systems to optimize energy consumption in buildings.

show abstract

Discrete-Event Modeling and Simulation for Embedded Systems

Cited by 10 publications

References 10 publications

System-level co-simulation for embedded systems

System-level co-simulation for embedded systems

Control of a Quadcopter Application with Devs

Design and Implementation of a Building Control System in Real-time Devs

Contact Info

Product

Resources

About