|
 
|
[HM 11] A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs
Conférence Internationale avec comité de lecture : On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, pp. - ,Mots clés: System verification, WCET, timed SystemC waiting state automata, symbolic execution
Résumé:
Abstract--In this paper we present a model able to serve in validating either functional or non-functional properties of the hard real time systems. We firstly introduce the timed SystemC waiting state automata (TWSA) that will serve in the modeling of the hardware. TWSA guarantees both critical functional properties about the interactions between concurrent processes and non-functional properties especially the time constraints. Timing properties need to be carefully addressed as they are important in performance and safety verification of real time embedded systems. A method which starts from a SystemC code and ultimately provides a tight execution time upper bound of the code running on the modeled system is also presented.
Equipe:
sys
Collaboration:
ENSTA Paris Tech
BibTeX
| @inproceedings { | |||
| HM 11, | |||
| title | = | "{A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs}", | |
| author | = | " N. Harrath and B. Monsuez and V. Paun ", | |
| booktitle | = | "{On the 32nd IEEE Real-Time Systems Symposium (RTSS)}", | |
| year | = | 2011, | |
| month | = | "November", | |
| pages | = | " - ", | |
| } | |||
