Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems
Norman Scaife, P. Caspi · Euromicro Conference on Real-Time Systems · 2004
Model-based design is advocated as the method of choice when dealing with critical systems as well as high quality systems. However, it often abstracts implementation details such as execution times. This can be a problem when dealing with urgent events whose implementation requires preemptive scheduling. In this paper, we propose an intertask communication mechanism on top of a fixed-priority deadline monotonic preemptive execution scheme, which preserves the ordering of computations validated in a zero-time synchronous framework, and formally show its correctness.