{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:47:25Z","timestamp":1772264845555,"version":"3.50.1"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2015,11,11]],"date-time":"2015-11-11T00:00:00Z","timestamp":1447200000000},"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":[[2015,11,11]]},"abstract":"<jats:p>Cyber-Physical Systems (CPS) are large interconnected softwareintensive systems that influence, by sensing and actuating, the physical world. Examples are traffic management and power grids. One of the trends we observe is the need to endow such systems with the \"smart\" capabilities, typically in the form of selfawareness and self-adaptation, along with the traditional qualities of safety and dependability. These requirements combined with specifics of the domain of smart CPS -- such as large scale, the role of end-users, uncertainty, and open-endedness -- render traditional software engineering (SE) techniques not directly applicable; making systematic SE of smart CPS a challenging task. This paper reports on the results of the First International Workshop on Software Engineering of Smart Cyber-Physical Systems (SEsCPS 2015), where participants discussed characteristics, challenges and opportunities of SE for smart CPS, with the aim to outline an agenda for future research in this important area.<\/jats:p>","DOI":"10.1145\/2830719.2830736","type":"journal-article","created":{"date-parts":[[2015,11,13]],"date-time":"2015-11-13T14:19:41Z","timestamp":1447424381000},"page":"28-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda"],"prefix":"10.1145","volume":"40","author":[{"given":"Tomas","family":"Bures","sequence":"first","affiliation":[{"name":"Charles University Prague"}]},{"given":"Danny","family":"Weyns","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven &amp; Linnaeus University"}]},{"given":"Christian","family":"Berger","sequence":"additional","affiliation":[{"name":"Gothenburg University"}]},{"given":"Stefan","family":"Biffl","sequence":"additional","affiliation":[{"name":"Technical University Vienna"}]},{"given":"Marian","family":"Daun","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Duisburg-Essen"}]},{"given":"Thomas","family":"Gabor","sequence":"additional","affiliation":[{"name":"LMU M\u00fcnchen"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Ilias","family":"Gerostathopoulos","sequence":"additional","affiliation":[{"name":"Charles University Prague"}]},{"given":"Christine","family":"Julien","sequence":"additional","affiliation":[{"name":"University of Texas, Austin"}]},{"given":"Filip","family":"Krikava","sequence":"additional","affiliation":[{"name":"Czech Technical University"}]},{"given":"Richard","family":"Mordinyi","sequence":"additional","affiliation":[{"name":"Technical University Vienna"}]},{"given":"Nikos","family":"Pronios","sequence":"additional","affiliation":[{"name":"Innovate UK"}]}],"member":"320","published-online":{"date-parts":[[2015,11,11]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"National Science Foundation Cyber Physical Systems NSF 14-542. Online: http:\/\/www.nsf.gov\/pubs\/2014\/nsf14542\/nsf14542.htm  National Science Foundation Cyber Physical Systems NSF 14-542. Online: http:\/\/www.nsf.gov\/pubs\/2014\/nsf14542\/nsf14542.htm"},{"key":"e_1_2_1_2_1","unstructured":"EU Horizon 2020 Smart Cyber-Physical Systems ICT-01-2014. Online:  EU Horizon 2020 Smart Cyber-Physical Systems ICT-01-2014. Online:"},{"key":"e_1_2_1_3_1","unstructured":"ECSEL Joint Undertaking 2014 call. Online: http:\/\/www.ecselju.eu\/Call2014.html  ECSEL Joint Undertaking 2014 call. Online: http:\/\/www.ecselju.eu\/Call2014.html"},{"key":"e_1_2_1_4_1","unstructured":"2014 ECSEL MultiAnnual Strategic Research and Innovation Agenda. Online: http:\/\/www.artemis-ia.eu\/sra  2014 ECSEL MultiAnnual Strategic Research and Innovation Agenda. Online: http:\/\/www.artemis-ia.eu\/sra"},{"key":"e_1_2_1_5_1","volume-title":"Specification and Development of Interactive Systems -- Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science","author":"Broy M.","year":"2001","unstructured":"M. Broy and K. St\u00f8len . Specification and Development of Interactive Systems -- Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science , Springer , 2001 . M. Broy and K. St\u00f8len. Specification and Development of Interactive Systems -- Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science, Springer, 2001."},{"issue":"1","key":"e_1_2_1_6_1","first-page":"13","volume":"100","author":"Derler P.","year":"2012","unstructured":"P. Derler , E. a. Lee , and a. S. Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE , 100 ( 1 ): 13 -- 28 , January 2012 . P. Derler, E. a. Lee, and a. S. Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE, 100(1):13--28, January 2012.","journal-title":"Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2821357.2821370"},{"key":"e_1_2_1_8_1","first-page":"1287","volume-title":"Cyber-Physical Systems: A Perspective at the Centennial,\" Proceedings of the IEEE","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 , pp. 1287 -- 1308 , 2012 . B. K. Kim and P. R. Kumar, \"Cyber-Physical Systems: A Perspective at the Centennial,\" Proceedings of the IEEE, vol. 100, no. Special Centennial, pp. 1287--1308, 2012."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SUTC.2010.70"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SUTC.2008.85"},{"key":"e_1_2_1_12_1","volume-title":"Assurances for Self-Adaptive Systems, Dagstuhl Seminar 13511","author":"Weyns D.","year":"2014","unstructured":"D. Weyns , N. Bencomo , R. Calinescu , J. Camara , C. Ghezzi , V. Grassi , L. Grunske , P. Inverardi , J.M. Jezequel , S. Malek , R. Mirandola , M. Mori , and G. Tamburrelli , Perpetual assurances in self-adaptive systems , Assurances for Self-Adaptive Systems, Dagstuhl Seminar 13511 , 2014 D. Weyns, N. Bencomo, R. Calinescu, J. Camara, C. Ghezzi, V. Grassi, L. Grunske, P. Inverardi, J.M. Jezequel, S. Malek, R. Mirandola, M. Mori, and G. Tamburrelli, Perpetual assurances in self-adaptive systems, Assurances for Self-Adaptive Systems, Dagstuhl Seminar 13511, 2014"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"D. Garlan Modeling Challenges for CPS Systems Software Engineering of smart Cyber Physical Systems SEsCPS 2015 (keynote)   D. Garlan Modeling Challenges for CPS Systems Software Engineering of smart Cyber Physical Systems SEsCPS 2015 (keynote)","DOI":"10.1109\/SEsCPS.2015.8"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"K. Liang Z. Bai M. C. Cavosoglu A. Podgurski S. Ray Fault Localization in Embedded Control System Software Software Engineering of smart Cyber Physical Systems SEsCPS 2015   K. Liang Z. Bai M. C. Cavosoglu A. Podgurski S. Ray Fault Localization in Embedded Control System Software Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.10"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"M. Yagita F. Ishikawa S. Honiden An Application Conflict Detection and Resolution System for Smart Homes Software Engineering of smart Cyber Physical Systems SEsCPS 2015   M. Yagita F. Ishikawa S. Honiden An Application Conflict Detection and Resolution System for Smart Homes Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.14"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"R. Mordinyi S. Biffl Versioning in Cyber-Physical Production System Engineering? Best-Practice and Research Agenda Software Engineering of smart Cyber Physical Systems SEsCPS 2015   R. Mordinyi S. Biffl Versioning in Cyber-Physical Production System Engineering? Best-Practice and Research Agenda Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.16"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"V. Koutsoumpas A Model-based Approach for the Specification of a Virtual Power Plant Operating in Open Context Software Engineering of smart Cyber Physical Systems SEsCPS 2015   V. Koutsoumpas A Model-based Approach for the Specification of a Virtual Power Plant Operating in Open Context Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.13"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","unstructured":"M. Bordoni M. Bottone B. Fields N. Gorogiannis M. Margolis G. Primiero F. Raimondi Towards Cyber-Physical Systems as Services: the ASIP Protocol Software Engineering of smart Cyber Physical Systems SEsCPS 2015   M. Bordoni M. Bottone B. Fields N. Gorogiannis M. Margolis G. Primiero F. Raimondi Towards Cyber-Physical Systems as Services: the ASIP Protocol Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.18"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"C. Berger Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization -- A Case Study Software Engineering of smart Cyber Physical Systems SEsCPS 2015   C. Berger Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization -- A Case Study Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.9"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"X. Zheng C. Julien Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward Software Engineering of smart Cyber Physical Systems SEsCPS 2015   X. Zheng C. Julien Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.11"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"M. H\u00f6lzl T. Gabor Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System Software Engineering of smart Cyber Physical Systems SEsCPS 2015   M. H\u00f6lzl T. Gabor Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.12"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"M. Daun J. Brings T. Bandyszak P. Bohn T. Weyer Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation Solution Idea and Remaining Research Challenges Software Engineering of smart Cyber Physical Systems SEsCPS 2015   M. Daun J. Brings T. Bandyszak P. Bohn T. Weyer Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation Solution Idea and Remaining Research Challenges Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.17"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"B. Morin F. Fleurey O. Barais Taming Heterogeneity and Distribution insCPS Software Engineering of smart Cyber Physical Systems SEsCPS 2015   B. Morin F. Fleurey O. Barais Taming Heterogeneity and Distribution insCPS Software Engineering of smart Cyber Physical Systems SEsCPS 2015","DOI":"10.1109\/SEsCPS.2015.15"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2830719.2830736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2830719.2830736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2830719.2830736"}},"subtitle":["Report on the First International Workshop on Software Engineering for Smart CPS"],"short-title":[],"issued":{"date-parts":[[2015,11,11]]},"references-count":23,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,11,11]]}},"alternative-id":["10.1145\/2830719.2830736"],"URL":"https:\/\/doi.org\/10.1145\/2830719.2830736","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2015,11,11]]},"assertion":[{"value":"2015-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}