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

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 sched...

Full description

Saved in:
Bibliographic Details
Published inProceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004 pp. 119 - 126
Main Authors Scaife, N., Caspi, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2004
Subjects
Abstracts
Aerospace electronics
Automotive engineering
Buildings
Costs
Discrete event simulation
Job shop scheduling
Process design
Processor scheduling
Real time systems
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:0769521762
9780769521763
ISSN:1068-3070
2377-5998
DOI:10.1109/EMRTS.2004.1311013