论文信息 - Model composition for scheduling analysis in platform design

Model composition for scheduling analysis in platform design

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.

Rolf Ernst | Kai Richter | Marek Jersak | Dirk Ziegenbein

[1] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[2] Reinhard Wilhelm,et al. On Predicting Data Cache Behavior for Real-Time Systems , 1998, LCTES.

[3] Klaus Gresser,et al. An Event Model for Deadline Verification of Hard Real-Time Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[4] Rolf Ernst,et al. Event model interfaces for heterogeneous system analysis , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[5] Shirish S. Sathaye,et al. Generalized rate-monotonic scheduling theory: a framework for developing real-time systems , 1994, Proc. IEEE.

[6] Petru Eles,et al. Bus access optimization for distributed embedded systems based on schedulability analysis , 2000, DATE '00.

[7] Wolfgang Rosenstiel,et al. Static timing analysis of embedded software on advanced processor architectures , 2000, DATE '00.

[8] Sharad Malik,et al. Performance analysis of real-time embedded software , 1997 .

[9] John P. Lehoczky,et al. Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[10] Rolf Ernst,et al. Execution cost interval refinement in static software analysis , 2001, J. Syst. Archit..

[11] Giovanni De Micheli,et al. High Level Synthesis of ASlCs un - der Timing and Synchronization Constraints , 1992 .