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. ...
Get Software Quality Assurance now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
