{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:12:31Z","timestamp":1760346751741,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,12,28]],"date-time":"2018-12-28T00:00:00Z","timestamp":1545955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2018,12,28]]},"abstract":"<jats:p>Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical Systems engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in face of uncertainty and various situations in their environment. Examples of sCPS include modern traffic systems, Industry 4.0 systems, systems for smart-buildings, smart energy grids, etc. The uniting aspect of all these systems is that to achieve their high-level of intelligence, adaptivity and ability to optimize and learn, they heavily rely on software. This makes them software-intensive systems, where software becomes their most complex part. Engineering sCPS thus becomes a recognized software engineering discipline, which however, due to specifics of sCPS, can only partially rely on the existing body of knowledge in software engineering. In fact, it turns out that many of the traditional approaches to architecture modeling and software development fail to cope with the high dynamicity and uncertainty of sCPS. This calls for innovative approaches that jointly reflect and address the specifics of such systems. This paper maps the discussions and results of the Third International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2017), which specifically focuses on challenges and promising solutions in the area of software engineering for sCPS.<\/jats:p>","DOI":"10.1145\/3282517.3302401","type":"journal-article","created":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T13:33:51Z","timestamp":1546608831000},"page":"42-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Software Engineering for Smart Cyber-Physical Systems"],"prefix":"10.1145","volume":"43","author":[{"given":"Tomas","family":"Bures","sequence":"first","affiliation":[{"name":"Charles University, Prague, Czech Rep"}]},{"given":"Danny","family":"Weyns","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven, Leuven, Belgium"}]},{"given":"Bradley","family":"Schmer","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[{"name":"Newcastle University, Tyne, England UK"}]}],"member":"320","published-online":{"date-parts":[[2019,1,2]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"f15541","author":"Cyber Physical Systems NSF","year":"2015","unstructured":"NSF, Cyber Physical Systems, NSF 15--541 http:\/\/www.nsf.gov\/pubs\/2015\/nsf15541\/nsf15541.pdf","journal-title":"NSF 15--541 http:\/\/www.nsf.gov\/pubs\/"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the IEEE","volume":"100","author":"Kim B. K.","year":"2012","unstructured":"B. K. Kim and P. R. Kumar, \"Cyber--Physical Systems: A Perspective at the Centennial\", Proceedings of the IEEE, vol. 100, no. Special Centennial, 2012."},{"key":"e_1_2_1_3_1","volume-title":"11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing","author":"Lee E. A.","year":"2008","unstructured":"E. A. Lee, \"Cyber Physical Systems: Design Challenges\", 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, 2008."},{"key":"e_1_2_1_4_1","volume-title":"Cyber-Physical Systems: A New Frontier,\" IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing","author":"Sha L.","year":"2008","unstructured":"L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang, \"Cyber-Physical Systems: A New Frontier,\" IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2008."},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"T. Bures D. Weyns S. Biffl M. Daun T. Gabor D. Garlan I. Gerostathopoulos C. Julien F. Krikava R. Mordinyi \"Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda \" Software Engineering Notes November 2015.","DOI":"10.1145\/2830719.2830736"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3089649.3089656"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884785"},{"volume-title":"July 21, 2015.","author":"Greenberg Andy","key":"e_1_2_1_8_1","unstructured":"Andy Greenberg. \"Hackers Remotely Kill a Jeep on the Highway-With Me in It.\" In WIRED, July 21, 2015."},{"key":"e_1_2_1_9_1","series-title":"Lecture Notes in Computer Science","volume-title":"Perpetual Assurances in Self-adaptive Systems.\" In Software Engineering for Self-Adaptive Systems III","author":"Weyns D.","year":"2017","unstructured":"D. Weyns, N. Bencomo, R. Calinescu, J. Camara, C. Ghezzi, V. Grassi, L. Grunske, P. Inverardi, J. Jezequel, S. Malek, R. Mirandola, M. Mori, and G. Tamburrelli. \"Perpetual Assurances in Self-adaptive Systems.\" In Software Engineering for Self-Adaptive Systems III. Lecture Notes in Computer Science, Springer, 2017."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/590564.590577"},{"key":"e_1_2_1_11_1","volume-title":"11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Muccini H.","year":"2016","unstructured":"H. Muccini, M. Sharaf, D. Weyns, Self-Adaptation for Cyber- Physical Systems: A Systematic Literature Review, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"A. Musil J. Musil D. Weyns T. Bures H. Muccini M. Sharaf: Patterns for Self-Adaptation in Cyber-Physical Systems. Multi- Disciplinary Engineering for Cyber-Physical Production Systems 2017","DOI":"10.1007\/978-3-319-56345-9_13"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282517.3302401","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3282517.3302401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:56Z","timestamp":1750208516000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282517.3302401"}},"subtitle":["Models, System-Environment Boundary, and Social Aspects"],"short-title":[],"issued":{"date-parts":[[2018,12,28]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12,28]]}},"alternative-id":["10.1145\/3282517.3302401"],"URL":"https:\/\/doi.org\/10.1145\/3282517.3302401","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2018,12,28]]},"assertion":[{"value":"2019-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}