review-article

Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS

Authors:

Christian Berger,

Ilias Gerostathopoulos,

Christine Julien,

Richard Mordinyi,

Nikos ProniosAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 40, Issue 6

Pages 28 - 32

https://doi.org/10.1145/2830719.2830736

Published: 11 November 2015 Publication History

Abstract

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.

References

[1]

National Science Foundation, Cyber Physical Systems, NSF 14-542. Online: http://www.nsf.gov/pubs/2014/nsf14542/nsf14542.htm

[2]

EU Horizon 2020, Smart Cyber-Physical Systems ICT-01-2014. Online:

[3]

ECSEL Joint Undertaking 2014 call. Online: http://www.ecselju.eu/Call2014.html

[4]

2014 ECSEL MultiAnnual Strategic Research and Innovation Agenda. Online: http://www.artemis-ia.eu/sra

[5]

M. Broy and K. Stølen. Specification and Development of Interactive Systems -- Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science, Springer, 2001.

Digital Library

[6]

P. Derler, E. a. Lee, and a. S. Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE, 100(1):13--28, January 2012.

[7]

A. Filieri, M. Maggio, K. Angelopoulos, N. D'Ippolito, I. Gerostathopoulos, A. B. Hempel, H. Hoffmann, P. Jamshidi, E. Kalyvianaki, C. Klein, F. Krikava, S. Misailovic, A. V. Papadopoulos, S. Ray, A. M. Sharifloo, S. Shevtsov, M. Ujma, and T. Vogel. Software Engineering Meets Control Theory, 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE, 2015.

Digital Library

[8]

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.

[9]

K. H. (Kane) Kim, "Desirable Advances in Cyber-Physical System Software Engineering," in 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2010, no. 978, pp. 2--4.

Digital Library

[10]

E. A. Lee, "Cyber Physical Systems: Design Challenges," 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, 2008, pp. 363--369.

Digital Library

[11]

L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang, "Cyber-Physical Systems: A New Frontier," in Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2008, pp. 1--9

Digital Library

[12]

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

[13]

D. Garlan, Modeling Challenges for CPS Systems, Software Engineering of smart Cyber Physical Systems, SEsCPS 2015 (keynote)

Digital Library

[14]

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

Digital Library

[15]

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

Digital Library

[16]

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

Digital Library

[17]

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

Digital Library

[18]

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

Digital Library

[19]

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

Digital Library

[20]

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

Digital Library

[21]

M. Hölzl, 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

Digital Library

[22]

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

Digital Library

[23]

B. Morin, F. Fleurey, O. Barais, Taming Heterogeneity and Distribution insCPS, Software Engineering of smart Cyber Physical Systems, SEsCPS 2015

Digital Library

Cited By

Ahonen Ade Koning MMachado TGhabcheloo RSievi-Korte O(2023)An exploratory study of software engineering in heavy-duty mobile machine automationRobotics and Autonomous Systems10.1016/j.robot.2023.104424165:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.robot.2023.104424
Feist MBreitbach MTrotsch HBecker CKrupitzer C(2022)Rango: An Intuitive Rule Language for Learning Classifier Systems in Cyber-Physical Systems2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS55765.2022.00021(31-40)Online publication date: Sep-2022
https://doi.org/10.1109/ACSOS55765.2022.00021
Mikoni S(2022)Top Level Diagnostic Models of Complex ObjectsSystem Analysis in Engineering and Control10.1007/978-3-030-98832-6_21(238-249)Online publication date: 17-Apr-2022
https://doi.org/10.1007/978-3-030-98832-6_21
Show More Cited By

Recommendations

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions

Smart Cyber--Physical Systems (sCPS) are modern CPS systems that are engineered to seamlessly integrate a large number of computation and physical components; they need to control entities in their environment in a smart and collective way to achieve a ...
Cyber-physical systems: the next computing revolution
DAC '10: Proceedings of the 47th Design Automation Conference

Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core. Just as the internet transformed how humans interact with one another, cyber-...
Human and social factors of software engineering: workshop summary

Software is developed for people and by people. Human and social factors have a very strong impact on the success of software development endeavours and the resulting system. Surprisingly, much of software engineering research in the last decade is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 40, Issue 6

November 2015

77 pages

ISSN:0163-5948

DOI:10.1145/2830719

Editor:
John Georgas

Issue’s Table of Contents

Copyright © 2015 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 November 2015

Published in SIGSOFT Volume 40, Issue 6

Check for updates

Author Tags

Qualifiers

Review-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
491
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)2

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ahonen Ade Koning MMachado TGhabcheloo RSievi-Korte O(2023)An exploratory study of software engineering in heavy-duty mobile machine automationRobotics and Autonomous Systems10.1016/j.robot.2023.104424165:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.robot.2023.104424
Feist MBreitbach MTrotsch HBecker CKrupitzer C(2022)Rango: An Intuitive Rule Language for Learning Classifier Systems in Cyber-Physical Systems2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)10.1109/ACSOS55765.2022.00021(31-40)Online publication date: Sep-2022
https://doi.org/10.1109/ACSOS55765.2022.00021
Mikoni S(2022)Top Level Diagnostic Models of Complex ObjectsSystem Analysis in Engineering and Control10.1007/978-3-030-98832-6_21(238-249)Online publication date: 17-Apr-2022
https://doi.org/10.1007/978-3-030-98832-6_21
Wang H(2020)Research on real-time reliability evaluation of CPS system based on machine learningComputer Communications10.1016/j.comcom.2020.04.039157(336-342)Online publication date: May-2020
https://doi.org/10.1016/j.comcom.2020.04.039
Hili NBagherzadeh MJahed KDingel J(2020)A model-based architecture for interactive run-time monitoringSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00780-y19:4(959-981)Online publication date: 1-Jul-2020
https://dl.acm.org/doi/10.1007/s10270-020-00780-y
Gabor TSedlmeier APhan TRitz FKiermeier MBelzner LKempter BKlein CSauer HSchmid RWieghardt JZeller MLinnhoff-Popien C(2020)The scenario coevolution paradigm: adaptive quality assurance for adaptive systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-020-00560-522:4(457-476)Online publication date: 1-Aug-2020
https://dl.acm.org/doi/10.1007/s10009-020-00560-5
Gabor TSedlmeier AKiermeier MPhan THenrich MPichlmair MKempter BKlein CSauer HAG RWieghardt JAuger AStützle T(2019)Scenario co-evolution for reinforcement learning on a grid world smart factory domainProceedings of the Genetic and Evolutionary Computation Conference10.1145/3321707.3321831(898-906)Online publication date: 13-Jul-2019
https://dl.acm.org/doi/10.1145/3321707.3321831
Bures TWeyns DSchmer BFitzgerald J(2019)Software Engineering for Smart Cyber-Physical SystemsACM SIGSOFT Software Engineering Notes10.1145/3282517.330240143:4(42-44)Online publication date: 2-Jan-2019
https://doi.org/10.1145/3282517.3302401
Moreno GKinneer CPandey AGarlan DLitoiu MClarke STei K(2019)DARTSimProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00031(181-187)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00031
Rocher GTigli JLavirotte SLe Thanh N(2019)Effectiveness assessment of cyber-physical systemsInternational Journal of Approximate Reasoning10.1016/j.ijar.2019.12.002Online publication date: Dec-2019
https://doi.org/10.1016/j.ijar.2019.12.002
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents