{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:44:17Z","timestamp":1755801857290,"version":"3.44.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030014605"},{"type":"electronic","value":"9783030014612"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01461-2_6","type":"book-chapter","created":{"date-parts":[[2018,9,28]],"date-time":"2018-09-28T02:05:15Z","timestamp":1538100315000},"page":"105-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Overview: System Architecture Virtual Integration based on an AADL Model"],"prefix":"10.1007","author":[{"given":"Yunwei","family":"Dong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaomin","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingrui","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,29]]},"reference":[{"key":"6_CR1","unstructured":"A digital jet for the modern battlespace, June 2018. https:\/\/www.f35.com\/about\/life-cycle\/software"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ellison, R.J.: Assuring software reliability. Technical report, Carnegie Mellon University, Aug. 2014","DOI":"10.21236\/ADA609884"},{"key":"6_CR3","unstructured":"Hansson, J., Helton, S., Feiler, P.: ROI analysis of the system architecture virtual integration initiative. Technical report, Carnegie-Mellon Univerity Software Engineering Institute Pittsburgh United States (2018)"},{"key":"6_CR4","unstructured":"SAVI virtual integration overview, June 2018. http:\/\/savi.avsi.aero\/about-savi\/virtual-integration\/"},{"key":"6_CR5","unstructured":"SAE International. AS5506C - (R) Architecture Analysis and Design Language (AADL). SAE International, January 2017"},{"key":"6_CR6","unstructured":"SAE International. (R) SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex. SAE International, September 2015"},{"key":"6_CR7","unstructured":"SAE International. AS5506\/2 - SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex D: Behavior Model Annex. SAE International, January 2011"},{"key":"6_CR8","unstructured":"Redman, D.: SAVI behavior model integration virtual integration process. Global Product Data Interoperability Summit (2015)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/2692956.2663178","volume":"34","author":"Ehsan Ahmad","year":"2014","unstructured":"Ahmad, E., Larson, B.R., Barrett, S.C., Zhan, N., Dong, Y.: Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. In: ACM SIGAda Ada Letters, vol. 34, pp. 29\u201338. ACM (2014)","journal-title":"ACM SIGAda Ada Letters"},{"issue":"11","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-015-5346-2","volume":"58","author":"E Ahmad","year":"2015","unstructured":"Ahmad, E., Dong, Y.W., Larson, B., L\u00fc, J.D., Tang, T., Zhan, N.J.: Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Sci. China Inf. Sci. 58(11), 1\u201320 (2015). Nov","journal-title":"Sci. China Inf. Sci."},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-319-15317-9_15","volume-title":"Formal Aspects of Component Software","author":"E Ahmad","year":"2015","unstructured":"Ahmad, E., Dong, Y., Wang, S., Zhan, N., Zou, L.: Adding formal meanings to AADL with hybrid annex. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 228\u2013247. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15317-9_15"},{"key":"6_CR12","unstructured":"ATL - a model transformation technology, June 2018. http:\/\/www.eclipse.org\/atl\/"},{"key":"6_CR13","unstructured":"Feiler, P., Wrage, L., Hansson, J.: System architecture virtual integration: a case study. In: Embedded Real-time Software and Systems Conference (2010)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P.: Architecture fault modeling with the aadl error-model annex. In: 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 361\u2013368. IEEE (2014)","DOI":"10.1109\/SEAA.2014.20"},{"key":"6_CR15","unstructured":"Feiler, P., Hudak, J.J., Delange, J., Gluch, D.: Architecture fault modeling and analysis with the error model annex, version 2 (2016)"},{"key":"6_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421","volume-title":"Hazard Analysis Techniques for System Safety","author":"CA Ericson","year":"2005","unstructured":"Ericson, C.A.: Hazard Analysis Techniques for System Safety. Wiley, Hoboken (2005)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"580","DOI":"10.1016\/j.jss.2017.06.018","volume":"137","author":"X Wei","year":"2018","unstructured":"Wei, X., Dong, Y., Li, X., Eric Wong, W.: Architecture-level hazard analysis using AADL. J. Syst. Softw. 137, 580\u2013604 (2018)","journal-title":"J. Syst. Softw."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Wei, X., Dong, Y., Yang, M., Hu, N., Ye, H.: Hazard analysis for AADL model. In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1\u201310, Aug 2014","DOI":"10.1109\/RTCSA.2014.6910512"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Gu, B., Dong, Y., Wei, X.: A qualitative safety analysis method for AADL model. In: 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, pp. 213\u2013217, June 2014","DOI":"10.1109\/SERE-C.2014.41"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Wei, X., Dong, Y., Ye, H.: QaSten: integrating quantitative verification with safety analysis for AADL model. In: 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 103\u2013110, Sept 2015","DOI":"10.1109\/TASE.2015.10"},{"issue":"7","key":"6_CR21","first-page":"121","volume":"38","author":"L Li","year":"2011","unstructured":"Li, L., Dong, Y., Qin, Y., Zhang, F.: Design and implementation of software reconfiguration tool based on AADL. Comput. Sci. 38(7), 121\u2013125 (2011)","journal-title":"Comput. Sci."},{"issue":"2","key":"6_CR22","first-page":"174","volume":"39","author":"Y Qin","year":"2012","unstructured":"Qin, Y., Dong, Y.: Research on embedded software dynamic reconfigurable technology based on mode. Comput. Sci. 39(2), 174\u2013175 (2012)","journal-title":"Comput. Sci."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Wei, X., Dong, Y., Xiao, M.: Architecture-level safety-based software reconfiguration method for integrated modular avionics systems. In IEEE International Conference on Software Quality, Reliability and Security Companion, July 2018","DOI":"10.1109\/QRS-C.2018.00083"},{"issue":"6","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1252","DOI":"10.3724\/SP.J.1001.2011.04014","volume":"22","author":"Y Dong","year":"2011","unstructured":"Dong, Y., Ren Wang, G., Zhang, F., Gao, L.: Reliability analysis and assessment tool for AADL model. J. Softw. 22(6), 1252\u20131266 (2011)","journal-title":"J. Softw."},{"issue":"14","key":"6_CR25","first-page":"21","volume":"37","author":"L Gao","year":"2011","unstructured":"Gao, L., Dong, Y., Zhang, F., Wang, G.: AADL system reliability model transformation method. Comput. Eng. 37(14), 21\u201326 (2011)","journal-title":"Comput. Eng."},{"issue":"4","key":"6_CR26","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1530873.1530881","volume":"36","author":"NJ Dingle","year":"2009","unstructured":"Dingle, N.J., Knottenbelt, W.J., Suto, T.: Pipe2: a tool for the performance evaluation of generalised stochastic Petri nets. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 34\u201339 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Chang, S., Dong, Y., Zhang, F.: On reliability analysis for embedded systems with AADL behavior model 430(4), 116\u2013119 (2012)","DOI":"10.1109\/QSIC.2012.56"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Dong, Y., Cheng, Y., Wu,T., Ye, H.: On schedulability analysis for embedded systems with aadl model. In: 2013 13th International Conference on Quality Software, pp. 320\u2013325, July 2013","DOI":"10.1109\/QSIC.2013.28"},{"key":"6_CR29","unstructured":"Cheddar: an open-source real-time scheduling tool\/simulator, June 2018. http:\/\/beru.univ-brest.fr\/singhoff\/cheddar\/"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-66335-7_19","volume-title":"Quantitative Evaluation of Systems","author":"A Zimmermann","year":"2017","unstructured":"Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300\u2013303. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_19"}],"container-title":["Lecture Notes in Computer Science","Symposium on Real-Time and Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01461-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T21:01:12Z","timestamp":1755723672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01461-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030014605","9783030014612"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01461-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}