Innovative Technologies for Dependable OTS-Based Critical Systems

Challenges and Achievements of the CRITICAL STEP Project

  • Domenico Cotroneo

Table of contents

  1. Front Matter
    Pages i-viii
  2. V&V in Safety Critical System

    1. Front Matter
      Pages 39-39
    2. Domenico Cotroneo, Henrique Madeira
      Pages 1-15
    3. Roberto Pietrantuono, Stefano Russo
      Pages 17-27
    4. Marco Vieira, Nuno Antunes
      Pages 29-38
  3. V&V in Safety Critical System

    1. Front Matter
      Pages 39-39
    2. Christian Esposito, Ricardo Barbosa, Nuno Silva
      Pages 41-53
    3. Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira
      Pages 55-68
    4. Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza
      Pages 69-81
  4. Fault Injection

    1. Front Matter
      Pages 83-83
    2. Anna Lanzaro, Roberto Natella, Ricardo Barbosa
      Pages 85-100
    3. Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes
      Pages 101-114
    4. Antonio Pecchia, Anna Lanzaro, As’ad Salkham, Marcello Cinque, Nuno Silva
      Pages 131-141
  5. Security

    1. Front Matter
      Pages 143-143
    2. José Fonseca, Francesca Matarese
      Pages 145-157
    3. Nuno Antunes, Marco Vieira
      Pages 159-174
    4. Przemysław Osocha, João Carlos Cunha, Francesca Matarese
      Pages 175-185
  6. Monitoring and Diagnosing

    1. Front Matter
      Pages 187-187
    2. Antonio Bovenzi, Gabriella Carrozza
      Pages 189-202

About this book

Introduction

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.

Keywords

Fault and attack Injection Robustness Testing Safety Critical Systems Security of Software Systems

Editors and affiliations

  • Domenico Cotroneo
    • 1
  1. 1.University of Naples - Federico IINaplesItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-88-470-2772-5
  • Copyright Information Springer-Verlag Italia 2013
  • Publisher Name Springer, Milano
  • eBook Packages Computer Science
  • Print ISBN 978-88-470-2771-8
  • Online ISBN 978-88-470-2772-5
  • About this book