The Flasher Manager Benchmarks

Hélène Collavizza (1) , Nguyen Le Vinh (1) , Olivier Ponsini (1) , Michel Rueher (1) , Antoine Rollet (2)

1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

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.

Mots clés: embedded systems; validation; model-checking; counterexample generation

Domaines: Performance et fiabilité [cs.PF]; Systèmes embarqués

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