Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems

  title={Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems},
  author={Norman Scaife and Paul Caspi},
  journal={Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 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… CONTINUE READING
Highly Cited
This paper has 73 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 54 extracted citations

74 Citations

Citations per Year
Semantic Scholar estimates that this publication has 74 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 26 references

A probabilistic framework for schedulability analysis

  • A. Burns, G. Bernat, I. Broster
  • Proceedings of the Third International Embedded…
  • 2003

xgiotto Language Report

  • M.A.A. Sanvido, A. Ghosal, T. A. Henzinger
  • Technical Report UCB/CSD-3-1261,
  • 2003
1 Excerpt

Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded

  • V. Bertin, E. Closse, +5 authors S. Yovine
  • Co ference on Decision and Control,
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…