Title :
Model composition for scheduling analysis in platform design
Author :
Richter, Kai ; Ziegenbein, Dirk ; Jersak, Marek ; Ernst, Rolf
Author_Institution :
Inst. of Comput. & Commun. Network Eng., Technische Univ. Braunschweig, Germany
Abstract :
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple previously incompatible analysis techniques which provide subsystem and component behavior. Based on these interfaces, event propagation using abstract models is used to derive global system timing properties.
Keywords :
embedded systems; formal verification; high level synthesis; integrated circuit design; scheduling; timing; abstract models; component behavior; compositional approach; event interfacing; global system timing properties; platform design; scheduling analysis; timing behavior; Analytical models; Computer networks; Delay; Embedded computing; Embedded system; Optimal control; Performance analysis; Processor scheduling; Resource management; Timing;
Conference_Titel :
Design Automation Conference, 2002. Proceedings. 39th
Print_ISBN :
1-58113-461-4
DOI :
10.1109/DAC.2002.1012637
