O'Reilly logo

Software Quality Assurance by Bedir Tekinerdogan, John Grundy, Nour Ali, Richard M Soley, Ivan Mistrik

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 12

Model-based dependability analysis

State-of-the-art, challenges, and future outlook

Septavera Sharvia, Sohag Kabir, Martin Walker and Yiannis Papadopoulos,    Department of Computer Science, University of Hull, Hull, UK

Abstract

Over the past two decades, the study of model-based dependability analysis (MBDA) has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required