{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T11:54:14Z","timestamp":1723550054828},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"09n10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2017,11]]},"abstract":"<jats:p> Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system. <\/jats:p>","DOI":"10.1142\/s0218194017400010","type":"journal-article","created":{"date-parts":[[2018,1,29]],"date-time":"2018-01-29T03:17:32Z","timestamp":1517195852000},"page":"1361-1386","source":"Crossref","is-referenced-by-count":7,"title":["A Framework for Developing Cyber-Physical Systems"],"prefix":"10.1142","volume":"27","author":[{"given":"Xudong","family":"He","sequence":"first","affiliation":[{"name":"School of Computing and Information Sciences, Florida International University, Miami, FL 33199, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhijiang","family":"Dong","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Middle Tennessee State University, Murfreesboro, TN 37132, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heng","family":"Yin","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of California at Riverside, Riverside, CA 92521, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yujian","family":"Fu","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, Alabama A&amp;M University, Huntsville, AL 35762, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2018,1,28]]},"reference":[{"key":"S0218194017400010BIB001","volume-title":"Principles of Cyber-Physical Systems","author":"Alur R.","year":"2015"},{"key":"S0218194017400010BIB003","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041054"},{"key":"S0218194017400010BIB004","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"S0218194017400010BIB006","volume-title":"The SPIN Model Checker","author":"Holzmann G.","year":"2004"},{"key":"S0218194017400010BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"S0218194017400010BIB008","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"S0218194017400010BIB009","doi-asserted-by":"publisher","DOI":"10.1142\/S021819401340010X"},{"key":"S0218194017400010BIB010","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194012500246"},{"key":"S0218194017400010BIB011","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"S0218194017400010BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"S0218194017400010BIB017","doi-asserted-by":"publisher","DOI":"10.29007\/slnn"},{"key":"S0218194017400010BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.018"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194017400010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:33:48Z","timestamp":1565199228000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194017400010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":12,"journal-issue":{"issue":"09n10","published-online":{"date-parts":[[2018,1,28]]},"published-print":{"date-parts":[[2017,11]]}},"alternative-id":["10.1142\/S0218194017400010"],"URL":"https:\/\/doi.org\/10.1142\/s0218194017400010","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}