1. Collaboration Topics Dr. Aniello Napolitano Sesm scarl anapolitano@sesm.it

2. N APOLI, J ULY 27 TH 2010 C OLLABORATION T OPICS [1] ::.. So far… Two Secondments (as for ToK) From FCTUC to SESM Dr. João Durães Mr. José Fonseca

3. N APOLI, 27 TH J ULY 2010 C OLLABORATION T OPICS [2] ::.. First meeting Naples 29 th June at SESM Theoretical aspects focused on: software fault injection G-SWIFT tool dependability benchmarking & robustness testing Case study: SWIM-BOX Architecture overview

4. C OLLABORATION T OPICS [3] N APOLI, 27 TH J ULY 2010 ::.. Ideas… G-SWFIT implementation for Java: Today it is C and C++ compliant with Application scenarios to SWIM-BOX are: To test sub-components (injecting somewhere else) To test whole system when a given component fails in a realistic manner SWIM-BOX dependability assessment

5. C OLLABORATION T OPICS [4] N APOLI, 27 TH J ULY 2010 ::.. …thinking onwards Robustness testing to assess/improve the SWIM-BOX prototype no fault tolerance mechanism implemented so far The same for security (to discuss later) Issue the obtained outcomes to some conferences as practical experience report

6. C OLLABORATION T OPICS [5] N APOLI, 27 TH J ULY 2010 ::.. What we did so far State of the art on fault injection, dependability benchmarking and robustness techniques analysis Exploration of the SWIM-BOX code and reproduction of some tests cases. First steps towards the Java-based G- SWIFT implementation

7. C OLLABORATION T OPICS [6] N APOLI, 27 TH J ULY 2010 ::.. G-SWIFT Java-based COT *.class files *.java files Fault library Decompiling (JAD) Mutating tool Recompiling *.class files J. Duraes, H. Madeira, “Emulation of Software faults: A field data study and a practical approach” Atomicity-violation faults Deadlock faults R. Natella, D. Cotroneo, “Emulation of Stransient Software Faults for Dependability Assessment: Acase Study”

8. C OLLABORATION T OPICS [7] N APOLI, 27 TH J ULY 2010 ::.. Work in progress (Main) focus on SWIM-BOX security: Threat Modeling IDS (Intrusion Detection System): improvement of IDS tool for databases BSIMM framework Use of achieved outcomes for a paper submission

9. N APOLI, 27 TH J ULY 2010 C OLLABORATION T OPICS [8] ::.. Feedback