skip to main content
research-article

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

Published:02 January 2019Publication History
Skip Abstract Section

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.pdfGoogle ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  3. E. A. Lee, "Cyber Physical Systems: Design Challenges", 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, 2008. Google ScholarGoogle Scholar
  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. Google ScholarGoogle Scholar
  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. Google ScholarGoogle Scholar
  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 Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Andy Greenberg. "Hackers Remotely Kill a Jeep on the Highway-With Me in It." In WIRED, July 21, 2015.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  10. M. Jackson. The Meaning of Requirements. Annals of Software Engineering, 3:5--21, 1997 Google ScholarGoogle ScholarDigital LibraryDigital Library
  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 Google ScholarGoogle Scholar
  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 2017Google ScholarGoogle Scholar

Recommendations

Comments

Login options

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

Sign in

Full Access

  • 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

    Copyright © 2019 Copyright is held by the owner/author(s)

    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: 2 January 2019

    Check for updates

    Qualifiers

    • research-article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader