Model composition for scheduling analysis in platform design
Kai R. Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst · Proceedings - ACM IEEE Design Automation Conference · 2002
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.