The Flasher Manager Benchmarks
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet · HAL (Le Centre pour la Communication Scientifique Directe) · 2012
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.