Publication

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

Sharvia, S.
; ; 
Walker, M.
; 
Papadopoulos, Y.
Publication Date
2015-01
End of Embargo
Supervisor
Keywords
Behavioural fault injection, Failure logic modelling, Model-based dependability analysis, Safety analysis, System design
Rights
Peer-Reviewed
Yes
Open Access status
Accepted for publication
Institution
Department
Awarded
Embargo end date
Collections
Engineering and Digital Technology Publications
Show all metadata
Additional title
Abstract
URI
http://hdl.handle.net/10454/17434
Version
No full-text in the repository
Citation
Sharvia 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.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Book chapter
Qualification name
Notes