{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:09:12Z","timestamp":1730344152703,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.23919\/iconac.2018.8749058","type":"proceedings-article","created":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T22:15:49Z","timestamp":1562278549000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Cloud Based Cyber Physical Systems Based on AADL"],"prefix":"10.23919","author":[{"given":"Lichen","family":"Zhang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Expressing and enforcing user-defined constraints of AADL models","author":"olivier","year":"0","journal-title":"Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010)"},{"journal-title":"Dependability modelling of a fault tolerant duplex system using AADL and GSPNs","year":"2005","author":"rugina","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SSDM.1998.688124"},{"journal-title":"Big Data The Next Frontier for Innovation Competition and Productivity","year":"2011","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687576"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2010.5458376"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ITST.2006.289012"},{"journal-title":"Architecture Analysis & Design Language (AADL) v1 SAE Aerospace Standard","year":"2004","key":"ref4"},{"key":"ref3","first-page":"1","article-title":"A Framework to model real-time databases","volume":"7","author":"idoudi","year":"2009","journal-title":"International Journal of Computer & Information Sciences"},{"key":"ref6","first-page":"5","article-title":"Modeling and reliability evaluation of Avionics Clouds based on AADL and GSPN","author":"tu","year":"2013","journal-title":"2013 IEEE\/AIAA 32nd Digital Avionics Systems Conference (DASC)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21236\/ADA472931"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.21236\/ADA612735"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.21236\/ADA455842"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2593458.2593461"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1016\/j.comnet.2016.08.017","article-title":"Cyber-physical systems clouds: A survey","volume":"108","author":"rihab","year":"2016","journal-title":"Computer Networks"},{"journal-title":"SAE\/AS2-C Data Modeling Annex document for the Architecture Analysis & Design Language v2 0 (AS5506A)","year":"2009","key":"ref9"}],"event":{"name":"2018 24th International Conference on Automation and Computing (ICAC)","start":{"date-parts":[[2018,9,6]]},"location":"Newcastle upon Tyne, United Kingdom","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 24th International Conference on Automation and Computing (ICAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8742895\/8748945\/08749058.pdf?arnumber=8749058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:20:29Z","timestamp":1598246429000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8749058\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/iconac.2018.8749058","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}