Overview
- Editors:
-
-
Domenico Cotroneo
-
University of Naples - Federico II, Naples, Italy
- It introduces methods and tools adopted by the critical systems industry
- Practical examples from the companies
- Practical advises for counseling
- Includes supplementary material: sn.pub/extras
Access this book
Other ways to access
Table of contents (15 chapters)
-
Front Matter
Pages i-viii
-
V&V in Safety Critical System
-
-
Introduction to Software Fault Injection
-
- Domenico Cotroneo, Henrique Madeira
Pages 1-15
-
- Roberto Pietrantuono, Stefano Russo
Pages 17-27
-
- Marco Vieira, Nuno Antunes
Pages 29-38
-
V&V in Safety Critical System
-
-
- Christian Esposito, Ricardo Barbosa, Nuno Silva
Pages 41-53
-
- Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira
Pages 55-68
-
- Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza
Pages 69-81
-
Fault Injection
-
-
- Anna Lanzaro, Roberto Natella, Ricardo Barbosa
Pages 85-100
-
- Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes
Pages 101-114
-
-
- Antonio Pecchia, Anna Lanzaro, As’ad Salkham, Marcello Cinque, Nuno Silva
Pages 131-141
-
Security
-
Front Matter
Pages 143-143
-
- José Fonseca, Francesca Matarese
Pages 145-157
-
- Nuno Antunes, Marco Vieira
Pages 159-174
-
- Przemysław Osocha, João Carlos Cunha, Francesca Matarese
Pages 175-185
-
Monitoring and Diagnosing
-
Front Matter
Pages 187-187
-
- Antonio Bovenzi, Gabriella Carrozza
Pages 189-202
About this book
The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a key role in such a scenario. OTS items allow mastering complexity and reducing costs and time-to-market; however, achieving these goals by ensuring dependability requirements at the same time is challenging. CRITICAL STEP project establishes a strategic collaboration between academic and industrial partners, and proposes a framework to support the development of dependable, OTS-based, critical systems. The book introduces methods and tools adopted by the critical systems industry, and surveys key achievements of the CRITICAL STEP project along four directions: fault injection tools, V&V of critical systems, runtime monitoring and evaluation techniques, and security assessment.
Editors and Affiliations
-
University of Naples - Federico II, Naples, Italy
Domenico Cotroneo
About the editor
Domenico Cotroneo is currently Associate Professor at the Department of Computer and Systems Engineering of Federico II University of Naples. His main interests include dependability aspects of complex software systems, fault injection techniques, dependability analysis of mobile computing infrastructures, and field-based measurements techniques.
He has been serving in the Program Committees of the most important international conferences in the field of dependable computing, such as DSN, ISSRE, EDCC, and PRDC. He is also the Project Leader and Coordinator of CRITICAL STEP (CRITICAL Software Technology for an Evolutionary Partnership) and has been the research leader of the many industry-funded projects in cooperation with CINI (Consorzio Interuniversitario Nazionale per l'Informatica).