Innovative technologies for dependable OTS-based critical systems challenges and achievements of the CRITICAL STEP Project / Domenico Cotroneo, editor.
| Other author | Cotroneo, Domenico. |
| Format | Electronic |
| Publication Info | Milan ; New York : Springer, 2013. |
| Description | viii, 215 pages : illustrations ; 24 cm |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2013 English International |
| Subjects |
| Contents | V & V in Safety Critical System -- Safety-Critical Standards for Verification and Validation / Christian Esposito, Ricardo Barbosa, Nuno Silva -- Robustness Testing of Web Services / Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira -- JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware / Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza -- Fault Injection -- Tools for Injecting Software Faults at the Binary and Source-Code Level / Anna Lanzaro, Roberto Natella, Ricardo Barbosa -- Survey on Software Faults Injection in Java Applications / Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes -- Evaluating Fault-Tolerance of Publish/Subscribe Services / Christian Esposito -- Leveraging Fault Injection Techniques in Critical Industrial Applications / Antonio Pecchia, Anna Lanzaro, As'ad Salkham, Marcello Cinque, Nuno Silva -- Security -- Using Vulnerability Injection to Improve Web Security / José Fonseca, Francesca Matarese -- Security Testing in SOAs: Techniques and Tools / Nuno Antunes, Marco Vieira -- Selected Challenges on Security and Dependability of Embedded Systems / Przemysław Osocha, João Carlos Cunha, Francesca Matarese -- Monitoring and Diagnosing -- Monitoring Infrastructure for Diagnosing Complex Software / Antonio Bovenzi, Gabriella Carrozza -- Log-Based Failure Analysis of Complex Systems: Methodology and Relevant Applications / Antonio Pecchia, Marcello Cinque. |
| Bibliography note | Includes bibliographical references. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2012951297 |
| ISBN | 9788847027718 |
| ISBN | 8847027713 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |