Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Genre/Form: | Electronic books |
|---|---|
| Additional Physical Format: | Print version: Innovative technologies for dependable OTS-based critical systems. Milan ; London : Springer, 2013 (OCoLC)812689105 |
| Material Type: | Document, Internet resource |
| Document Type: | Internet Resource, Computer File |
| All Authors / Contributors: |
Domenico Cotroneo |
| ISBN: | 9788847027725 8847027721 |
| OCLC Number: | 825769290 |
| Description: | 1 online resource. |
| 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. |
| Responsibility: | edited by Domenico Cotroneo. |
Abstract:
With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features 'off-the-shelf' systems designed by world-beating companies.
Read more...
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Innovative technologies for dependable OTS-based critical systems : challenges and achievement of the CRITICAL STEP Project".
Be the first.
