Title :
Schedule Validation For Embedded Reactive Real-time Systems
Author :
Balarin, Felice ; Elli, Albert O Sangiovanni-Vincent
Author_Institution :
Cadence Berkeley Laboratories
Keywords :
Consumer products; Embedded system; Laboratories; Mathematical analysis; Permission; Processor scheduling; Real time systems; Testing; Timing; Virtual prototyping;
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-7803-4093-0
DOI :
10.1109/DAC.1997.597116