Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2013

Innovative Technologies for Dependable OTS-Based Critical Systems

Challenges and Achievements of the CRITICAL STEP Project

Editors:

  1. Domenico Cotroneo

    1. University of Naples - Federico II, Naples, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

Sections

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages i-viii
    PDF

  2. V&V in Safety Critical System

    1. Front Matter

      Pages 39-39
      PDF

  3. Introduction to Software Fault Injection

    1. Introduction to Software Fault Injection

      • Domenico Cotroneo, Henrique Madeira
      Pages 1-15

    2. Introduction to Safety Critical Systems

      • Roberto Pietrantuono, Stefano Russo
      Pages 17-27

    3. Introduction to Software Security Concepts

      • Marco Vieira, Nuno Antunes
      Pages 29-38

  4. V&V in Safety Critical System

    1. Front Matter

      Pages 39-39
      PDF

    2. Safety-Critical Standards for Verification and Validation

      • Christian Esposito, Ricardo Barbosa, Nuno Silva
      Pages 41-53

    3. Robustness Testing of Web Services

      • Aniello Napolitano, Gabriella Carrozza, Nuno Laranjeiro, Marco Vieira
      Pages 55-68

    4. JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware

      • Antonio Bovenzi, Aniello Napolitano, Christian Esposito, Gabriella Carrozza
      Pages 69-81

  5. Fault Injection

    1. Front Matter

      Pages 83-83
      PDF

    2. Tools for Injecting Software Faults at the Binary and Source-Code Level

      • Anna Lanzaro, Roberto Natella, Ricardo Barbosa
      Pages 85-100

    3. Survey on Software Faults Injection in Java Applications

      • Aniello Napolitano, Gabriella Carrozza, Nuno Antunes, Joao Duraes
      Pages 101-114

    5. Leveraging Fault Injection Techniques in Critical Industrial Applications

      • Antonio Pecchia, Anna Lanzaro, As’ad Salkham, Marcello Cinque, Nuno Silva
      Pages 131-141

  6. Security

    1. Front Matter

      Pages 143-143
      PDF

    2. Using Vulnerability Injection to Improve Web Security

      • José Fonseca, Francesca Matarese
      Pages 145-157

    3. Security Testing in SOAs: Techniques and Tools

      • Nuno Antunes, Marco Vieira
      Pages 159-174

    4. Selected Challenges on Security and Dependability of Embedded Systems

      • PrzemysÅ‚aw Osocha, João Carlos Cunha, Francesca Matarese
      Pages 175-185

  7. Monitoring and Diagnosing

    1. Front Matter

      Pages 187-187
      PDF

    2. Monitoring Infrastructure for Diagnosing Complex Software

      • Antonio Bovenzi, Gabriella Carrozza
      Pages 189-202
Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Naples - Federico II, Naples, Italy

    Domenico Cotroneo

Back to top

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).
Back to top

Bibliographic Information

  • Book Title: Innovative Technologies for Dependable OTS-Based Critical Systems

  • Book Subtitle: Challenges and Achievements of the CRITICAL STEP Project

  • Editors: Domenico Cotroneo

  • DOI: https://doi.org/10.1007/978-88-470-2772-5

  • Publisher: Springer Milano

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Italia 2013

  • Hardcover ISBN: 978-88-470-2771-8Published: 25 January 2013

  • Softcover ISBN: 978-88-470-5557-5Published: 08 February 2015

  • eBook ISBN: 978-88-470-2772-5Published: 24 January 2013

  • Edition Number: 1

  • Number of Pages: VIII, 216

  • Topics: Performance and Reliability, Software Engineering/Programming and Operating Systems

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation