Title :
How to compute temporal properties for real-time programs
Author :
Mesnard, Emmanuel ; Trinquet, Yvon
Author_Institution :
Lab. d´´Autom., CNRS, Nantes, France
Abstract :
In this paper, we present a method to compute temporal properties for real-time programs. It is an off-line analysis which is based on three models. The application and execution models impose some constraints on the task characteristics. The analysis model is based on a valuated and oriented graph. The behavioural and temporal analysis of the application program allow us to supply the user with the main temporal results, in order to decide if the application met its timing constraints
Keywords :
real-time systems; software performance evaluation; application program; off-line analysis; real-time programs; task characteristics; temporal properties; timing constraints; Automata; Automatic control; Concurrent computing; Control system analysis; Control systems; Performance analysis; Petri nets; Real time systems; System recovery; Timing;
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390381