A Comparative Study into Architecture-Based Safety Evaluation Methodologies using AADLs Error Annez and Failure Propagation Models
Early quality evaluation and support for decisions that affect quality characteristics are among the key incentives to formally specify the architecture of a software-intensive system. The Architecture Analysis and Description Language (AADL) with its Error Annex is a new and promising architecture modeling language that supports analysis of safety and other dependability properties. This paper reviews the key concepts that are introduced by the Error Annex, and compares it to the existing safety evaluation techniques regarding its ability in providing modeling, process and tool support. Based on this review and the comparison,its strengths and weaknesses are identified and possible improvements for the model-driven safety evaluation methodology based on AADLs Error Annex are highlighted.
Lars Grunske Jun Han
Faculty of ICT, Swinburne University of Technology Hawthorn, VIC 3122, Australia
国际会议
11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)
南京
英文
283-292
2008-12-03（万方平台首次上网日期，不代表论文的发表时间）