|
SFI (Software Fault Injection)
With the recent growing of software complexity, software faults (i.e., bugs) represent the major cause of system failures. Therefore, in critical systems huge efforts should be devoted to prevent and to tolerate residual software faults. Our SFI (Software Fault Injection) tool can be used for intentional insertion of bugs in a program, in order to evaluate its robustness, to compare different systems, and to improve testing strategies (among the other things).
The tool is available here.
|
2009
| MobiLab Group: |
| |
| |
| |
| |
| |
|
| |
| Roberto Pietrantuono |
| Roberto Natella |
| Antonio Pecchia |
| Domenico Di Leo |
| Antonio Bovenzi |
| Alessandro Testa |
| Flavio Frattini |
| Anna Lanzaro |
News
|
Winter School on Hot Topics in Secure and Dependable Computing for Critical Infrastructure (SDCI 2012)
Cortina Jan 16th-20th 2012. Link here.
|
Computing Now Video Feed for the paper "Automated generation of performance and Dependability Models for the assessment of Wireless Sensor Networks" authored by M. Cinque, D. Cotroneo and C. Di Martino, IEEE Trans. on Computers. Link here.
|
November 30, 2011 - The 1st International Workshop on Software Certification (WoSoCER), held in Hiroshima, Japan, co-located with the 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011).
More details... |
More news
|
The AVR-INJECT tool is available More details
Oct. 2007, The TinySAN Framework is now available . More
details
|
|
