A WCET estimation workflow based on TWSA model of SystemC designs - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Poster De Conférence Année : 2011

A WCET estimation workflow based on TWSA model of SystemC designs

Résumé

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.
Fichier principal
Vignette du fichier
Poster RTSS.pdf (1.29 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01214967 , version 1 (13-10-2015)

Identifiants

  • HAL Id : hal-01214967 , version 1

Citer

Nesrine Harrath, Vladimir-Alexandru Paun, Bruno Monsuez. A WCET estimation workflow based on TWSA model of SystemC designs. The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria. ⟨hal-01214967⟩

Collections

ENSTA ENSTA_U2IS
27 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More