Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by N. Scaife Articles by P. Caspi

16th Euromicro Conference on Real-Time Systems (ECRTS'04)

Catania, Italy

June 30-July 02

ISBN: 0-7695-2176-2

	ASCII Text	x
	N. Scaife, P. Caspi, "Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems," Real-Time Systems, Euromicro Conference on, pp. 119-126, 16th Euromicro Conference on Real-Time Systems (ECRTS'04), 2004.

	BibTex	x
	@article{ 10.1109/EMRTS.2004.1311013, author = {N. Scaife and P. Caspi}, title = {Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems}, journal ={Real-Time Systems, Euromicro Conference on}, volume = {0}, year = {2004}, issn = {1068-3070}, pages = {119-126}, doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2004.1311013}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Systems, Euromicro Conference on TI - Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems SN - 1068-3070 SP119 EP126 A1 - N. Scaife, A1 - P. Caspi, PY - 2004 KW - model-based design KW - synchrony KW - fixed priority KW - preemptive scheduling KW - wait-free communication KW - double buffers VL - 0 JA - Real-Time Systems, Euromicro Conference on ER -

N. Scaife, Verimag

P. Caspi, Verimag

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2004.1311013

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, and formally show its correctness.

Index Terms:

model-based design, synchrony, fixed priority, preemptive scheduling, wait-free communication, double buffers

Citation:

N. Scaife, P. Caspi, "Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems," ecrts, pp.119-126, 16th Euromicro Conference on Real-Time Systems (ECRTS'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.