Model-Based Framework for Schedulability Analysis Using Uppaal 4.1
Alexandre David, Jacob Illum, Kim G. Larsen, Arne Skou · 2018
Embedded systems involve the monitoring and control of complex physical processes using applications running on dedicated execution platforms in a resource-constrained manner in terms of, for example, memory, processing power, bandwidth, energy consumption, and timing behavior.