The Flasher Manager Benchmarks

Abstract : This technical report provides all the source code of the Flasher Manager as well as of the test programs. The Flasher Manager is an industrial application from a car manufacturer that is embedded as a C program in a car computer. The benchmarks are based on four safety properties specified by the Flasher Manager designers.
Type de document :
Pré-publication, Document de travail
2012
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00720921
Contributeur : Michel Rueher <>
Soumis le : jeudi 26 juillet 2012 - 10:50:21
Dernière modification le : vendredi 27 juillet 2012 - 08:27:36
Document(s) archivé(s) le : samedi 27 octobre 2012 - 02:30:48

Fichiers

tr_fm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00720921, version 1

Collections

Citation

Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet. The Flasher Manager Benchmarks. 2012. <hal-00720921>

Partager

Métriques

Consultations de
la notice

150

Téléchargements du document

138