{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:13:36Z","timestamp":1771697616593,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,12,28]],"date-time":"2018-12-28T00:00:00Z","timestamp":1545955200000},"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":["Front. Comput. Sci."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s11704-018-7039-7","type":"journal-article","created":{"date-parts":[[2018,12,28]],"date-time":"2018-12-28T03:45:24Z","timestamp":1545968724000},"page":"516-538","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["AADL+: a simulation-based methodology for cyber-physical systems"],"prefix":"10.1007","volume":"13","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tengfei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuqing","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiying","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,28]]},"reference":[{"key":"7039_CR1","volume-title":"Introduction to Embedded Systems: a Cyber-Physical Systems Approach","author":"E A Lee","year":"2016","unstructured":"Lee E A, Seshia S A. Introduction to Embedded Systems: a Cyber-Physical Systems Approach. MA: The MIT Press, 2016"},{"issue":"1","key":"7039_CR2","first-page":"9","volume":"20","author":"M Debbabi","year":"2010","unstructured":"Debbabi M, Hassa\u00efne F, Jarraya Y, Soeanu A, Alawneh L. Unified modeling language. Encyclopedia of Systems Biology, 2010, 20(1): 9","journal-title":"Encyclopedia of Systems Biology"},{"key":"7039_CR3","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","author":"B Selic","year":"2013","unstructured":"Selic B, Gerard S. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Amsterdam: Elsevier, 2013"},{"issue":"6","key":"7039_CR4","doi-asserted-by":"publisher","first-page":"1063","DOI":"10.1016\/j.mechatronics.2011.05.003","volume":"21","author":"Y Cao","year":"2011","unstructured":"Cao Y, Liu Y S, Paredis C J J. System-level model integration of design and simulation for mechatronic systems based on SysML. Mechatronics, 2011, 21(6): 1063\u20131075","journal-title":"Mechatronics"},{"key":"7039_CR5","first-page":"1206","volume-title":"Proceedings of 2006 IEEE International Conference on Control Applications, International Symposium on Intelligent Control","author":"P H Feiler","year":"2006","unstructured":"Feiler P H, Lewis B A, Vestal S. The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems. In: Proceedings of 2006 IEEE International Conference on Control Applications, International Symposium on Intelligent Control. 2006, 1206\u20131211"},{"key":"7039_CR6","first-page":"11","volume-title":"Proceedings of the Joint Workshop on Parallel and Distributed Real-Time Systems","author":"S Vestal","year":"1997","unstructured":"Vestal S. MetaH support for real-time multi-processor avionics. In: Proceedings of the Joint Workshop on Parallel and Distributed Real-Time Systems. 1997, 11\u201321"},{"issue":"3","key":"7039_CR7","doi-asserted-by":"publisher","first-page":"4837","DOI":"10.3390\/s150304837","volume":"15","author":"E A Lee","year":"2015","unstructured":"Lee E A. The past, present and future of cyber-physicalsystems: a focus on models. Sensors, 2015, 15(3): 4837\u20134869","journal-title":"Sensors"},{"issue":"10","key":"7039_CR8","first-page":"1157","volume":"37","author":"Z J Wang","year":"2011","unstructured":"Wang Z J, Xie L L. Cyber-physical systems: a survey. Acta Automatica Sinica, 2011, 37(10): 1157\u20131166","journal-title":"Acta Automatica Sinica"},{"key":"7039_CR9","volume-title":"Model-based Eegineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language","author":"P H Feiler","year":"2012","unstructured":"Feiler P H, Gluch D P. Model-based Eegineering with AADL: an Introduction to the SAE Architecture Analysis & Design Language. New Jexsey: Addison-Wesley, 2012"},{"key":"7039_CR10","volume-title":"SAE AS5506 annex: behavior specification v1.6","author":"S A E Aerospace","year":"2007","unstructured":"Aerospace S A E. SAE AS5506 annex: behavior specification v1.6. New Jersey: SAE International, 2007"},{"key":"7039_CR11","volume-title":"SAE AS5506a: architecture analysis and design language v2.0","author":"S A E Aerospace","year":"2009","unstructured":"Aerospace S A E. SAE AS5506a: architecture analysis and design language v2.0. Google Scholar, 2009"},{"key":"7039_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14394-6","volume-title":"Stochastic Differential Equations - An Introduction with Applications","author":"B \u00d8ksendal","year":"2003","unstructured":"\u00d8ksendal B. Stochastic Differential Equations - An Introduction with Applications. New York: Springer Science & Business Media, 2003"},{"key":"7039_CR13","unstructured":"Modelica Association. Modelica-a united object-oriented language for systems modeling-language specification version 3.3. PELAB, IDA, Link\u00f6pings Universitet, S-58183 Link\u00f6ping, Sweden, 2014"},{"key":"7039_CR14","first-page":"14","volume":"21","author":"A Rajhans","year":"2009","unstructured":"Rajhans A, Cheng S W, Schmerl B, Garlan D, Krogh B H, Agbi C, Bhave A. An architectural approach to the design and analysis of cyberphysical systems. Electronic Communications of the EASST, 2009, 21: 14\u201338","journal-title":"Electronic Communications of the EASST"},{"issue":"S2","key":"7039_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/2331147.2331159","volume":"11","author":"A Banerjee","year":"2012","unstructured":"Banerjee A, Kandula S, Mukherjee T, Gupta S. BAND-AiDe: a tool for cyber-physical oriented analysis and design of body area networks and devices. ACM Transactions on Embedded Computing Systems, 2012, 11(S2): 49","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"7039_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-14714-7_2","volume-title":"Ultra-Low-Power Short-Range Radios. New York: Springer International Publishing","author":"D B Smith","year":"2015","unstructured":"Smith D B, Hanlen L W. Channel Modeling for Wireless Body Area Networks. Ultra-Low-Power Short-Range Radios. New York: Springer International Publishing, 2015, 25\u201355"},{"issue":"4","key":"7039_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1046191.1032298","volume":"24","author":"F Singhoff","year":"2004","unstructured":"Singhoff F, Legrand J, Nana L, Marc\u00e9 L. Cheddar:a flexible real time scheduling framework. ACM SIGAda Ada Letters, 2004, 24(4): 1\u20138","journal-title":"ACM SIGAda Ada Letters"},{"key":"7039_CR18","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control","author":"R Alur","year":"2000","unstructured":"Alur R, Grosu R, Hur Y, Kumar V, Lee I. Modular specification of hybrid systems in Charon. In: Proceedings of the 3rd International Workshop on Hybrid Systems: Computation and Control. 2000, 6\u201319"},{"key":"7039_CR19","unstructured":"Sokolsky O. The montana toolset: OSATE plugins for analysis and code generation. In: Proceedings of AADL Workshop, 2005"},{"key":"7039_CR20","volume-title":"Hardware software co-design for automotive CPS using architecture analysis and design language","author":"Y C Zhou","year":"2016","unstructured":"Zhou Y C, Baras J, Wang S G. Hardware software co-design for automotive CPS using architecture analysis and design language. 2016, arXiv preprint arXiv:1603.05069"},{"key":"7039_CR21","first-page":"671","volume-title":"Proceedings of the IEEE International Systems Conference","author":"E Palachi","year":"2013","unstructured":"Palachi E, Cohen C, Takashi S. Simulation of cyber physical models using SysML and numerical solvers. In: Proceedings of the IEEE International Systems Conference. 2013, 671\u2013675"},{"key":"7039_CR22","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-642-21470-7_17","volume-title":"Proceedings of European Conference on Modelling Foundations and Applications","author":"R Behjati","year":"2011","unstructured":"Behjati R, Yue T, Nejati S, Briand L, Selic B. Extending SysML with AADL concepts for comprehensive system architecture modeling. In: Proceedings of European Conference on Modelling Foundations and Applications. 2011, 236\u2013252"},{"issue":"6","key":"7039_CR23","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1109\/TSE.2017.2694423","volume":"44","author":"C Bernardeschi","year":"2018","unstructured":"Bernardeschi C, Domenici A, Masci P. A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering, 2018, 44(6): 512\u2013533","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7039_CR24","first-page":"1397","volume-title":"Proceedings of the 15th International Conference on Environment and Electrical Engineering","author":"M Prist","year":"2015","unstructured":"Prist M, Freddi A, Longhi S, Monteri\u00f9 A. An integrated simulation module for wireless cyber-physical system. In: Proceedings of the 15th International Conference on Environment and Electrical Engineering. 2015, 1397\u20131402"},{"key":"7039_CR25","first-page":"325","volume-title":"Proceedings of the IEEE International Systems Conference","author":"K Bhasin","year":"2013","unstructured":"Bhasin K, Barnes P, Reinert J, Golden B. Applying model based systems engineering to NASA\u2019s space communications networks. In: Proceedings of the IEEE International Systems Conference. 2013, 325\u2013330"},{"key":"7039_CR26","first-page":"429","volume-title":"Proceedings of International Conference on Information and Communication Technology Convergence","author":"J Lee","year":"2010","unstructured":"Lee J, Cha R, Han Y H, Nam W, Choi J Y, Kim W T, Park S M. Modeling autonomous military robots using hybrid system framework. In: Proceedings of International Conference on Information and Communication Technology Convergence. 2010, 429\u2013430"},{"key":"7039_CR27","volume-title":"Proceedings of the 1st Workshop on Cyber-Physical System Architectures and Design Methodologies","author":"O Sokolsky","year":"2014","unstructured":"Sokolsky O, Pajic M, Bezzo N, Lee I. Architecture-centric software development for cyber-physical systems. In: Proceedings of the 1st Workshop on Cyber-Physical System Architectures and Design Methodologies. 2014"},{"issue":"3","key":"7039_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/2692956.2663178","volume":"34","author":"E Ahmad","year":"2014","unstructured":"Ahmad E, Larson B R, Barrett S C, Zhan N J, Dong Y W. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. ACM SIGAda Ada Letters, 2014, 34(3): 29\u201338","journal-title":"ACM SIGAda Ada Letters"},{"key":"7039_CR29","first-page":"1166","volume-title":"Proceedings of Mediterranean Conference on Control and Automation","author":"M C Bujorianu","year":"2009","unstructured":"Bujorianu M C, Bujorianu M L, Barringer H. A unifying specification logic for cyber-physical systems. In: Proceedings of Mediterranean Conference on Control and Automation. 2009, 1166\u20131171"},{"key":"7039_CR30","first-page":"92","volume-title":"Proceedings of the International Conference on Autonomic and Trusted Computing","author":"Y Zhang","year":"2011","unstructured":"Zhang Y, Dong Y W, Zhang F, Zhang Y F. Research on modeling and analysis of CPS. In: Proceedings of the International Conference on Autonomic and Trusted Computing. 2011, 92\u2013105"},{"key":"7039_CR31","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/2038642.2038685","volume-title":"Proceedings of the International Conference on Embedded Software","author":"R Alur","year":"2011","unstructured":"Alur R. Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software. 2011, 273\u2013278"},{"key":"7039_CR32","first-page":"1225","volume-title":"Proceedings of the IEEE International Conference on Green Computing and Communications","author":"Z H Sun","year":"2013","unstructured":"Sun Z H, Zhou X S. Extending and recompiling AADL for CPS modeling. In: Proceedings of the IEEE International Conference on Green Computing and Communications. 2013, 1225\u20131230"},{"key":"7039_CR33","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1145\/2635868.2661665","volume-title":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"S Dziwok","year":"2014","unstructured":"Dziwok S, Gerking C, Becker S, Thiele S, Heinzemann C, Pohlmann U. A tool suite for the model-driven software engineering of cyberphysical systems. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2014, 715\u2013718"},{"key":"7039_CR34","first-page":"2104","volume-title":"Proceedings of the IEEE International Conference on High Performance Computing and Communications & the 10th IEEE International Conference on Embedded and Ubiquitous Computing","author":"L C Zhang","year":"2013","unstructured":"Zhang L C. Aspect-oriented modeling of railway cyber physical systems based on the extension of AADL. In: Proceedings of the IEEE International Conference on High Performance Computing and Communications & the 10th IEEE International Conference on Embedded and Ubiquitous Computing. 2013, 2104\u20132111"},{"issue":"11","key":"7039_CR35","first-page":"1","volume":"58","author":"A Ehsan","year":"2015","unstructured":"Ehsan A, Dong Y W, Brian L, Tang T, L\u00fc J D, Zhan N J. Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Science China Information Sciences, 2015, 58(11): 1\u201320","journal-title":"Science China Information Sciences"},{"key":"7039_CR36","first-page":"1166","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe","author":"Z B Yang","year":"2009","unstructured":"Yang Z B, Hu K, Ma D F, Pi L. Towards a formal semantics for the AADL behavior annex. In: Proceedings of the Conference on Design, Automation and Test in Europe. 2009, 1166\u20131171"},{"key":"7039_CR37","first-page":"1","volume-title":"Proceedings of the 2nd International Conference on Computer Science and ITS Applications","author":"A Kamandi","year":"2009","unstructured":"Kamandi A, Habibi J. A survey of syntax and semantics frameworks of modeling languages. In: Proceedings of the 2nd International Conference on Computer Science and ITS Applications. 2009, 1\u20136"},{"issue":"4","key":"7039_CR38","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1017\/S0960129512000291","volume":"23","author":"E Torlak","year":"2013","unstructured":"Torlak E, Taghdiri M, Dennis G, Near J P. Applications and extensions of Alloy: past, present and future. Mathematical Structures in Computer Science, 2013, 23(4): 915\u2013933","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-018-7039-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-018-7039-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-018-7039-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,9]],"date-time":"2022-09-09T04:53:09Z","timestamp":1662699189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-018-7039-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,28]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["7039"],"URL":"https:\/\/doi.org\/10.1007\/s11704-018-7039-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,28]]},"assertion":[{"value":"9 February 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}