Innovative Technologies for Dependable OTS-Based Critical Systems

1. Introduction to Software Fault Injection
Domenico Cotroneo, Henrique Madeira

2. Introduction to Safety Critical Systems
Roberto Pietrantuono, Stefano Russo

3. Introduction to Software Security Concepts
Marco Vieira, Nuno Antunes

4. Safety-Critical Standards for Verification and Validation
Christian Esposito, Ricardo Barbosa, Nuno Silva

5. Robustness Testing of Web Services
Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira

6. JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware
Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza

7. Tools for Injecting Software Faults at the Binary and Source-Code Level
Anna Lanzaro, Roberto Natella, Ricardo Barbosa

8. Survey on Software Faults Injection in Java Applications
Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes

9. Evaluating Fault-Tolerance of Publish/Subscribe Services
Christian Esposito

10. Leveraging Fault Injection Techniques in Critical Industrial Applications
Antonio Pecchia, Anna Lanzaro, As’ad Salkham, Marcello Cinque, Nuno Silva

11. Using Vulnerability Injection to Improve Web Security
José Fonseca, Francesca Matarese

12. Security Testing in SOAs: Techniques and Tools
Nuno Antunes, Marco Vieira

13. Selected Challenges on Security and Dependability of Embedded Systems
Przemysław Osocha, João Carlos Cunha, Francesca Matarese

14. Monitoring Infrastructure for Diagnosing Complex Software
Antonio Bovenzi, Gabriella Carrozza

15. Log-Based Failure Analysis of Complex Systems: Methodology and Relevant Applications
Antonio Pecchia, Marcello Cinque

Keywords: Computer Science, Performance and Reliability, Software Engineering/Programming and Operating Systems