{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T09:41:47Z","timestamp":1768815707956,"version":"3.49.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,1,22]],"date-time":"2016-01-22T00:00:00Z","timestamp":1453420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"crossref","award":["61272083"],"award-info":[{"award-number":["61272083"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11219-015-9302-6","type":"journal-article","created":{"date-parts":[[2016,1,21]],"date-time":"2016-01-21T23:10:00Z","timestamp":1453417800000},"page":"503-527","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Quantitative risk analysis of safety\u2013critical embedded systems"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9711-2118","authenticated-orcid":false,"given":"Yinling","family":"Liu","sequence":"first","affiliation":[]},{"given":"Guohua","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Zhibin","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,22]]},"reference":[{"issue":"4","key":"9302_CR1","first-page":"1523","volume":"26","author":"MP Baloch","year":"2014","unstructured":"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\u20131528.","journal-title":"Science International (Lahore)"},{"key":"9302_CR2","unstructured":"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)."},{"key":"9302_CR3","unstructured":"Carnegie Mellon Software Engineering Institute. (2006). Open source AADL tool environment. http:\/\/www.aadl.info , Tech. Rep., 2006."},{"key":"9302_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2011.02.004","author":"S Cha","year":"2011","unstructured":"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 .","journal-title":"Future Generation Computer Systems"},{"key":"9302_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013368.","DOI":"10.1109\/SEAA.2014.20"},{"key":"9302_CR6","volume-title":"AADL fault modeling and analysis within an ARP4761 safety assessment (CMU\/SEI-2014-TR-020)","author":"J Delange","year":"2014","unstructured":"Delange, J., Feiler, P., Gluch, D., & Hudak, J. (2014). AADL fault modeling and analysis within an ARP4761 safety assessment (CMU\/SEI-2014-TR-020). USA: Software Engineering Institute, Carnegie Mellon University."},{"key":"9302_CR7","unstructured":"Feiler, P. (2013). Architecture analysis and design language (AADL) annex. (Vol 3). Annex E: Error Model V2 Annex. Number SAE AS5506\/3 (Draft) in SAE Aerospace Standard. SAE International."},{"key":"9302_CR8","doi-asserted-by":"crossref","unstructured":"Feiler, P. H., Gluch, D. P., & Hudak J. J.(2006) The architecture analysis & design language (AADL): An introduction. Carnegie-Mellon Univ Pittsburgh PA Software Engineering Inst.","DOI":"10.21236\/ADA455842"},{"key":"9302_CR9","unstructured":"Feiler, P., & Rugina, A. (2007). Dependability modeling with the architecture analysis & design language (AADL). Carnegie-Mellon Univ Pittsburgh PA Software Engineering INST."},{"key":"9302_CR10","unstructured":"Gonzalez, H., Han, J., Li, X., et al. (2007). Adaptive fastest path computation on a road network: a traffic mining approach. In Proceedings of the 33rd international conference on very large data bases. VLDB Endowment, 794\u2013805."},{"key":"9302_CR11","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., King, A., Lee, I., Fernandez, A., McDonald, A., Vasserman, E., & Weininger, S. (2012). Rationale and architecture principles for medical application platforms. In Proceedings of the 2012 international conference on cyberphysical systems, 2012.","DOI":"10.1109\/ICCPS.2012.9"},{"key":"9302_CR12","unstructured":"IEC 61822 (2001). Hazard and operability studies (HAZOP studies)\u2014Application guide. International Electrotechnical Commission."},{"key":"9302_CR13","unstructured":"IEC 60812 (1991). Analysis techniques for system reliability\u2014Procedure for failure mode and effect analysis (FMEA). International Electrotechnical Commission."},{"key":"9302_CR14","doi-asserted-by":"crossref","unstructured":"Jaafar, J., Janjua, U. I., & Lai F. W. (2015). Software effective risk management: An evaluation of risk management process models and standards. Information Science and Applications, Springer Berlin Heidelberg, 837\u2013844.","DOI":"10.1007\/978-3-662-46578-3_99"},{"key":"9302_CR15","doi-asserted-by":"crossref","unstructured":"Kahrobaee, S., & Asgarpoor, S. (2010). Short and long-term reliability assessment of wind farms. In North American Power Symposium (NAPS).","DOI":"10.1109\/NAPS.2010.5618951"},{"key":"9302_CR16","doi-asserted-by":"crossref","unstructured":"Larson, B. R., Hatcliff, J., & Chalin, P. (2013) Open source patient-controlled analgesic pump requirements documentation. In Proceedings of the international workshop on software engineering in healthcare, San Francisco, May 2013.","DOI":"10.1109\/SEHC.2013.6602474"},{"key":"9302_CR17","unstructured":"Lempia, D., & Miller, S. (2009). DOT\/FAA\/AR-08\/32. Requirements engineering management handbook."},{"key":"9302_CR18","doi-asserted-by":"crossref","unstructured":"Li, Y., Zhu, Y. A., Ma C. Y., & Xu M. (2011). A method for constructing fault trees from AADL models. In Proceedings of the 8th international conference on autonomic and trusted computing, ser. ATC\u201911. (pp. 243\u2013258). Berlin, Heidelberg: Springer-Verlag.","DOI":"10.1007\/978-3-642-23496-5_18"},{"key":"9302_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.entcs.2007.05.034","volume":"185","author":"F Ortmeier","year":"2007","unstructured":"Ortmeier, F., & Schellhorn, G. (2007). Formal fault tree analysis-practical experiences. Electronic Notes in Theoretical Computer Science, 185, 139\u2013151.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9302_CR20","volume-title":"System reliability theory: Models, statistical methods and applications","author":"M Rausand","year":"2004","unstructured":"Rausand, M., & H\u00f8yland, A. (2004). System reliability theory: Models, statistical methods and applications (2nd ed.). USA: Wiley.","edition":"2"},{"key":"9302_CR21","unstructured":"Sankhwar, S., & Pandey, D. (2014). Software project risk analysis and assessment: A survey. Global Journal of Multidisciplinary Studies, 3(5)."},{"key":"9302_CR22","doi-asserted-by":"crossref","unstructured":"Sun, H., Hauptman, M., & Lutz R. (2007). Integrating product-line fault tree analysis into AADL models. In High assurance systems engineering symposium, 2007. HASE\u201907. 10th IEEE, pp. 15\u201322.","DOI":"10.1109\/HASE.2007.28"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9302-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-015-9302-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9302-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9302-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T18:31:50Z","timestamp":1567535510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-015-9302-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,22]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9302"],"URL":"https:\/\/doi.org\/10.1007\/s11219-015-9302-6","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,22]]}}}