{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:31:40Z","timestamp":1767137500353,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319055053","type":"print"},{"value":"9783319055060","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05506-0_27","type":"book-chapter","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T05:27:35Z","timestamp":1398749255000},"page":"278-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System"],"prefix":"10.1007","author":[{"given":"Liu","family":"Jianjun","sequence":"first","affiliation":[]},{"given":"Meng","family":"Haining","sequence":"additional","affiliation":[]},{"given":"Huang","family":"Yinglan","sequence":"additional","affiliation":[]},{"given":"Zhong","family":"Shan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,30]]},"reference":[{"key":"27_CR1","unstructured":"Object Management Group, MDA guide version 1.0.1. OMG\/03-06-01 (2003)"},{"key":"27_CR2","unstructured":"SAE-AS5506, Architecture Analysis and Design Language. Society of Automotive Engineers. www.aadl.info (2004)"},{"key":"27_CR3","unstructured":"SAE-AS5506_1, SAE Architecture Analysis and Design Language Annex Volume 1. Society of Automotive Engineers. www.aadl.info (2006)"},{"issue":"12","key":"27_CR4","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1109\/TC.2001.970572","volume":"50","author":"I Mura","year":"2001","unstructured":"Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Trans. Comput. 50(12), 1337\u20131351 (2001). (IEEE Press, New York)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"27_CR5","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0951-8320(93)90005-J","volume":"39","author":"JB Dugan","year":"1993","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and Markov models for reliability analysis of fault-tolerant digital systems. Reliab. Eng. Syst. Saf. 39(3), 291\u2013307 (1993). (Elsevier LTD, England)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"27_CR6","unstructured":"Center for Advanced Computing and Communication (CACC), Department of Electrical and Computer Engineering, Duke University. SPNP User\u2019s Manual (1999)"},{"issue":"6","key":"27_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/2.386985","volume":"28","author":"JA Clark","year":"1995","unstructured":"Clark, J.A., Pradhan, D.K.: Fault injection: a method for validating computer-system dependability. IEEE Comput. 28(6), 47\u201356 (1995). (IEEE Press, New York)","journal-title":"IEEE Comput."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Shu, Z., Li, D., Hu, Y., Ye, F., Wan, J.: From models to code: automatic development process for embedded control system. In: IEEE International Conference on Network, Sensor and Control, pp. 660\u2212665. IEEE Press, New York (2008)","DOI":"10.1109\/ICNSC.2008.4525299"},{"issue":"2","key":"27_CR9","first-page":"90","volume":"39","author":"JJ Liu","year":"2009","unstructured":"Liu, J.J., Zhong, S., Ye, H.: Reliability modeling for airborne equipment system using AADL. Aeronaut. Comput. Tech. 39(2), 90\u201394 (2009). (Aeronautics Computing Technique Research Institute, Xi\u2019an)","journal-title":"Aeronaut. Comput. Tech."},{"issue":"11","key":"27_CR10","first-page":"133","volume":"28","author":"XB Wang","year":"2006","unstructured":"Wang, X.B., Wu, Q.Y., Shi, D.X.: Model transformation approaches in MDA. Comput. Eng. Sci. 28(11), 133\u2013135 (2006). (National University of Defense Technology, Changsha)","journal-title":"Comput. Eng. Sci."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05506-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T12:19:56Z","timestamp":1712060396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05506-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319055053","9783319055060"],"references-count":10,"aliases":["10.1007\/978-3-319-14254-8_27"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05506-0_27","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"30 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}