Innovative Technologies for Dependable OTS-Based Critical Systems, 1st Edition

  • Published By:
  • ISBN-10: 8847027721
  • ISBN-13: 9788847027725
  • DDC: 363.11
  • Grade Level Range: College Freshman - College Senior
  • 215 Pages | eBook
  • Original Copyright 2013 | Published/Released April 2014
  • This publication's content originally published in print form: 2013

  • Price:  Sign in for price



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.

Table of Contents

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
1: Introduction to Software Fault Injection.
2: Introduction to Safety Critical Systems.
3: Introduction to Software Security Concepts.
4: V&V in Safety Critical System.
5: Safety-Critical Standards for Verification and Validation.
6: Robustness Testing of Web Services.
7: JFIT: An Automatic Tool for Assessing Robustness of DDS-Compliant Middleware.
8: Fault Injection.
9: Tools for Injecting Software Faults at the Binary and Source-Code Level.
10: Survey on Software Faults Injection in Java Applications.
11: Evaluating Fault-Tolerance of Publish/Subscribe Services.
12: Leveraging Fault Injection Techniques in Critical Industrial Applications.
13: Security.
14: Using Vulnerability Injection to Improve Web Security.
15: Security Testing in SOAs: Techniques and Tools.
16: Selected Challenges on Security and Dependability of Embedded Systems.
17: Monitoring and Diagnosing.
18: Monitoring Infrastructure for Diagnosing Complex Software.
19: Log-Based Failure Analysis of Complex Systems: Methodology and Relevant Applications.