Model composition for scheduling analysis in platform design
- 1 January 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 0738100X,p. 287-292
- https://doi.org/10.1109/dac.2002.1012637
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
This publication has 12 references indexed in Scilit:
- Event model interfaces for heterogeneous system analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Static timing analysis of embedded software on advanced processor architecturesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Execution cost interval refinement in static software analysisJournal of Systems Architecture, 2001
- Bus access optimization for distributed embedded systems based on schedulability analysisPublished by Association for Computing Machinery (ACM) ,2000
- On predicting data cache behavior for real-time systemsPublished by Springer Nature ,1998
- Generalized rate-monotonic scheduling theory: a framework for developing real-time systemsProceedings of the IEEE, 1994
- An Event Model for Deadline Verification of Hard Real-Time SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- High Level Synthesis of ASICs under Timing and Synchronization ConstraintsPublished by Springer Nature ,1992
- Aperiodic task scheduling for Hard-Real-Time systemsReal-Time Systems, 1989
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973