skip to main content
research-article

Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects

Published: 02 January 2019 Publication History

Abstract

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.

References

[1]
NSF, Cyber Physical Systems, NSF 15--541 http://www.nsf.gov/pubs/2015/nsf15541/nsf15541.pdf
[2]
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.
[3]
E. A. Lee, "Cyber Physical Systems: Design Challenges", 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, 2008.
[4]
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.
[5]
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.
[6]
T. Bures, D. Weyns, B. Schmerl, E. Tovar, E. Boden, T. Gabor, I. Gerostathopoulos, Pr. Gupta, E. Kang, A. Knauss, P. Patel, A. Rashid, I. Ruchkin, R. Sukkerd, C. Tsigkanos: Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Software Engineering Notes 42(2): 19--24, 2017
[7]
A. Rashid, S. Asad A. Naqvi, R. Ramdhany, M. Edwards, R. Chitchyan, and M. A. Babar. Discovering \unknown known" security requirements. In Proceedings of the 38th International Conference on Software Engineering, 2016.
[8]
Andy Greenberg. "Hackers Remotely Kill a Jeep on the Highway-With Me in It." In WIRED, July 21, 2015.
[9]
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.
[10]
M. Jackson. The Meaning of Requirements. Annals of Software Engineering, 3:5--21, 1997
[11]
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
[12]
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

Cited By

View all
  • (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
  • (2020)Capturing Dynamicity and Uncertainty in Security and Trust via Situational PatternsLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_18(295-310)Online publication date: 20-Oct-2020
  • (2019)Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop ReportACM SIGSOFT Software Engineering Notes10.1145/3364452.336446544:4(11-13)Online publication date: 12-Dec-2019

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 43, Issue 4
October 2018
130 pages
ISSN:0163-5948
DOI:10.1145/3282517
Issue’s Table of Contents
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 January 2019
Published in SIGSOFT Volume 43, Issue 4

Check for updates

Author Tags

  1. cyber-physical systems
  2. software engineering

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)1
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (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
  • (2020)Capturing Dynamicity and Uncertainty in Security and Trust via Situational PatternsLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_18(295-310)Online publication date: 20-Oct-2020
  • (2019)Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop ReportACM SIGSOFT Software Engineering Notes10.1145/3364452.336446544:4(11-13)Online publication date: 12-Dec-2019

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media