@inproceedings{c24f40938b794401ad6f273c8b3cf13a,
title = "Some improvements on the rules for exchanging between error model annex and AADL to fault tree",
abstract = "AADL (The architecture analysis and design language) can be used to describe the reliability of the safety critical system. In this paper, we, firstly, make an introduction on the AADL dependability model and summary the basic rules for translating from Error Model Annex (EMA) of AADL to Fault tree, and then we make a series of improvements on the transition rules from EMA to Fault tree in terms of various AADL architectures. There are a few of examples are provided for demonstrating how to use our modifications.",
keywords = "AADL, Dependability model, Fault tree, Model transformation, SCS",
author = "Quan Zhang and Shihai Wang and Bin Liu",
year = "2013",
doi = "10.1109/ITA.2013.84",
language = "英语",
isbn = "9781479928767",
series = "Proceedings - 2013 International Conference on Information Technology and Applications, ITA 2013",
pages = "338--342",
booktitle = "Proceedings - 2013 International Conference on Information Technology and Applications, ITA 2013",
note = "2013 International Conference on Information Technology and Applications, ITA 2013 ; Conference date: 16-11-2013 Through 17-11-2013",
}