The research conducted in the group has led to the development
of several tools:
- ÉSOPE: quantitative evaluation of security;
- MAFALDA: characterization and wrapping of commercial
microkernels;
- MEFISTO: fault-injection system for VHDL simulation
models;
- SESAME: mutation analysis for validating software testing
methods;
- SoRel: analysis and evaluation of software reliability
from statistical failure data;
- SURF-2: dependability modeling and evaluation;
- TOONS: determination and ordering of testing levels
for object-oriented software.
|
|
|
