DocumentCode
2590296
Title
How to compute temporal properties for real-time programs
Author
Mesnard, Emmanuel ; Trinquet, Yvon
Author_Institution
Lab. d´´Autom., CNRS, Nantes, France
fYear
1994
fDate
5-8 Sep 1994
Firstpage
291
Lastpage
298
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;
fLanguage
English
Publisher
ieee
Conference_Titel
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location
Liverpool
Print_ISBN
0-8186-6430-4
Type
conf
DOI
10.1109/EURMIC.1994.390381
Filename
390381
Link To Document