Innovative Technologies for Dependable OTS-Based Critical Systems

Challenges and Achievements of the CRITICAL STEP Project

Editors: Cotroneo, Domenico (Ed.)

  • It introduces methods and tools adopted by the critical systems industry
  • Practical examples from the companies
  • Practical advises for counseling
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-88-470-2772-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-88-470-2771-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA
  • ISBN 978-88-470-5557-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

About the authors

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).

Table of contents (15 chapters)

  • Introduction to Software Fault Injection

    Cotroneo, Domenico (et al.)

    Pages 1-15

  • Introduction to Safety Critical Systems

    Pietrantuono, Roberto (et al.)

    Pages 17-27

  • Introduction to Software Security Concepts

    Vieira, Marco (et al.)

    Pages 29-38

  • Safety-Critical Standards for Verification and Validation

    Esposito, Christian (et al.)

    Pages 41-53

  • Robustness Testing of Web Services

    Napolitano, Aniello (et al.)

    Pages 55-68

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-88-470-2772-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-88-470-2771-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA
  • ISBN 978-88-470-5557-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Copyright
2013
Publisher
Springer-Verlag Mailand
Copyright Holder
Springer-Verlag Italia
eBook ISBN
978-88-470-2772-5
DOI
10.1007/978-88-470-2772-5
Hardcover ISBN
978-88-470-2771-8
Softcover ISBN
978-88-470-5557-5
Edition Number
1
Number of Pages
VIII, 216
Topics