Towards a DEVS-based Operating System

Daniella Niyonkuru, Gabriel Wainer
2015 Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation - SIGSIM-PADS '15  
Embedded systems are becoming increasingly complex and heterogeneous. Formal methods have proven effective in ensuring reliability and safety. However, they are hard to scale up. Modeling and Simulation (M&S)-based methods, on the other hand, deal effectively with scalability issues and provide the benefits of a risk-free testing environment. Yet, they are usually at most semi-formal, and models are not directly executed on the target hardware. To address the above challenges, we present a
more » ... l M&S-based kernel that runs on bare-metal and execute the original simulation models on the target hardware.
doi:10.1145/2769458.2769465 dblp:conf/pads/NiyonkuruW15 fatcat:ufeyeh3c7reqzlf6q4yn62e33y