Model-based dependability analysis: State-of-the-art, challenges, and future outlook

Sharvia, S.Kabir, SohagWalker, M.Papadopoulos, Y.2019-10-212019-11-132019-10-212019-11-132015-01Sharvia S, Kabir S, Walker M et al (2015) Model-based dependability analysis: State-of-the-art, challenges, and future outlook. State-of-the-art, challenges, and future outlook In: Mistrik I, Soley R, Ali N et al (Eds) Software Quality Assurance: In Large Scale and Complex Software-intensive Systems. Waltham, MA, USA: Morgan Kaufmann: 251-278.RMSID:212535342http://hdl.handle.net/10454/17434NoenBehavioural fault injectionFailure logic modellingModel-based dependability analysisSafety analysisSystem designModel-based dependability analysis: State-of-the-art, challenges, and future outlookBook chapter2019-10-21