Model composition for scheduling analysis in platform design

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
2002 Proceedings - Design Automation Conference  
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.
doi:10.1145/513918.513993 dblp:conf/dac/RichterZJE02 fatcat:wlev3cz5dzay5fzc2obw45pwzm