Zusammenfassung
Programs written for real-time applications must respect absolute deadlines and other `hard' real-time requirements. We present an analysis method for extracting the timing constraints imposed upon a program by source code timing directives. These timing constraints are generated in a simplified form suitable for verification.
Nutzer