Quantitative risk analysis of safety–critical embedded systems-Reference-Cited by-同舟云学术

Quantitative risk analysis of safety–critical embedded systems

Published:2016-01-22 Issue:2 Volume:25 Page:503-527
ISSN:0963-9314
Container-title:Software Quality Journal
language:en
Short-container-title:Software Qual J

Author:

Liu Yinling^ORCID,Shen Guohua,Huang Zhiqiu,Yang Zhibin

Funder

National Nature Science Foundation of China

Publisher

Springer Science and Business Media LLC

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://link.springer.com/content/pdf/10.1007/s11219-015-9302-6.pdf

Reference22 articles.

1. Baloch, M. P., Qadri, S., Hussain, S., et al. (2014). Comparative study of risk management in centralized and distributed software development environment. Science International (Lahore), 26(4), 1523–1528.

2. Bitsch, F., Nguyen, V. Y., & Noll, T. (2013). Characterization of failure effects on AADL models. In: Proceedings of the 32nd international conference on computer safety, reliability and security (SAFECOMP 2013).

3. Carnegie Mellon Software Engineering Institute. (2006). Open source AADL tool environment. http://www.aadl.info , Tech. Rep., 2006.

4. Cha, S., & Yoo, J. (2011). A safety-focused verification using software fault trees. Future Generation Computer Systems,. doi: 10.1016/j.future.2011.02.004 .

5. Delange, J., & Feiler, P. (2014). Architecture fault modeling with the AADL error-model annex. In Software engineering and advanced applications (SEAA), 40th EUROMICRO Conference on. IEEE, pp. 361–368.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

2. A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking;Modelling and Implementation of Complex Systems;2016