Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

Achraf Mguidich
  • Fonction : Auteur
Vladimir-Alexandru Paun
Unité d'Informatique et d'Ingénierie des Systèmes
CV
Bruno Monsuez
  • Fonction : Auteur
  • PersonId : 971596
Unité d'Informatique et d'Ingénierie des Systèmes
Philippe Baufreton
  • Fonction : Auteur
SAFRAN Group

Domaines

Informatique et langage [cs.CL]

David Filliat  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01762679

Soumis le : mardi 10 avril 2018-13:05:02

Dernière modification le : lundi 5 août 2024-14:50:04

Fichier non déposé

Dates et versions

hal-01762679 , version 1 (10-04-2018)

Identifiants

Citer

Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems. IEEE Real-Time Systems Symposium (RTSS), 2016, Unknown, Unknown Region. pp.372, ⟨10.1109/RTSS.2016.051⟩. ⟨hal-01762679⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS UNIV-PARIS-SACLAY
27 Consultations
0 Téléchargements

Altmetric

Partager

More