{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:30:28Z","timestamp":1729643428664,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/dasc.2014.81","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T17:54:22Z","timestamp":1415814862000},"page":"418-423","source":"Crossref","is-referenced-by-count":3,"title":["Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System"],"prefix":"10.1109","author":[{"given":"Lichen","family":"Zhang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"0","author":"serena","journal-title":"Development of A Multi-Physics Model of A Civil Aircraft for Ground Manoeuvres Using Modelica","key":"19"},{"year":"2008","author":"cuenot","journal-title":"3rd European Congress on Embedded Real-Time Software","article-title":"Developing automotive products using the EAST-ADL2, and Autosar compliant architecture description language","key":"17"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/DASC.2012.6383097"},{"key":"15","doi-asserted-by":"crossref","first-page":"xv","DOI":"10.1109\/RSP.2008.40","article-title":"Multi-dimensional model based engineering using aadl, rsp '08","author":"lewis","year":"2008","journal-title":"The 19th IEEE\/IFIP International Symposium on Rapid System Prototyping"},{"key":"16","first-page":"2007","article-title":"Aspects in the industry standard AADL","volume":"20","author":"de niz","year":"0","journal-title":"AOM '07 Proceedings of the 10th International Workshop on Aspect-oriented Modeling"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/IWCMC.2011.5982782"},{"key":"14","first-page":"1206","article-title":"The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems. in Computer Aided Control System Design","author":"feiler","year":"2006","journal-title":"2006 I E International Conference on Control Applications 2006 I E International Symposium on Intelligent Control"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/JPROC.2011.2161529"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/CACSD.1999.808720"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/RSP.2008.40"},{"year":"2014","author":"sampigethaya","journal-title":"NSF Transportation CPS Workshop","article-title":"Transportation CPS: Insights from Aviation on Major Challenges and Directions, invited (position paper)","key":"3"},{"year":"0","author":"idebrant","journal-title":"Aircraft-A Modelica Library for Aircraft Dynamics Simulation","key":"20"},{"key":"2","first-page":"1992","article-title":"Secure Operation, Control and Maintenance of Future eEnabled Airplanes","volume":"96","author":"sampigethaya","year":"2008","journal-title":"Proceedings of the IEEE Special Issue on Aviation Information Systems"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/JPROC.2012.2235131"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1524\/itit.2012.0688"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1016\/S0967-0661(98)00047-1"},{"year":"0","author":"slomka","journal-title":"A Multidisciplinary Design Methodology for Cyber-physical Systems","key":"6"},{"year":"0","author":"ella","journal-title":"Cyber-physical Aerospace Challenges and Future Directions in Transportation and Exploration Systems","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/AERO.2012.6187151"},{"year":"2008","author":"friedenthal","journal-title":"A Practical Guide to SysML The Systems Modeling Language","key":"9"},{"year":"2006","author":"feiler","journal-title":"CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST","article-title":"The architecture analysis & design language (AADL): An introduction[R]","key":"8"}],"event":{"name":"2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing (DASC)","start":{"date-parts":[[2014,8,24]]},"location":"Dalian, China","end":{"date-parts":[[2014,8,27]]}},"container-title":["2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6933235\/6945641\/06945726.pdf?arnumber=6945726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T04:40:31Z","timestamp":1566016831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6945726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dasc.2014.81","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}