N. Scaife and P. Caspi
Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems (2004)
Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems (2004)
TR-2004-12.pdf
Keywords: model-based design, synchrony, fixed priority, preemptive scheduling, wait-free communication, double buffers.
Abstract: 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 inter-task 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. Then, we formally prove the correctness of the approach.
