3 papers
eess.SY2024
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Shaokai Lin, Erling Jellum, Mirco Theile +10
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs…
cs.DC2022
mAPN: Modeling, Analysis, and Exploration of Algorithmic and Parallelism Adaptivity
Hasna Bouraoui, Chadlia Jerad, Omar Romdhani +1
Using parallel embedded systems these days is increasing. They are getting more complex due to integrating multiple functionalities in one application or running numerous ones conc…
cs.SE2014
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
Aymen Louati, Chadlia Jerad, Kamel Barkaoui
Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fa…