DocumentCode

2662979

Title

An Event Model for Deadline Verification of Hard Real-Time Systems

Author

Gresser, Klaus

Author_Institution

Technische Universitat Munchen

fYear

1993

fDate

22-24 June 1993

Firstpage

118

Lastpage

123

Keywords

Delay; Dynamic scheduling; Optimal scheduling; Petri nets; Process control; Processor scheduling; Protocols; Real time systems; Scheduling algorithm; Upper bound;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on

Conference_Location

Oulu, Finland

ISSN

1068-3070

Print_ISBN

0-8186-4110-X

Type

conf

DOI

10.1109/EMWRT.1993.639067

Filename

639067