Tomas Bures
Danny Weyns
Marian Daun
David Garlan
Ilias Gerostathopoulos
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.
- National Science Foundation, Cyber Physical Systems, NSF 14-542. Online: http://www.nsf.gov/pubs/2014/nsf14542/nsf14542.htmGoogle Scholar
- EU Horizon 2020, Smart Cyber-Physical Systems ICT-01-2014. Online:Google Scholar
- ECSEL Joint Undertaking 2014 call. Online: http://www.ecselju.eu/Call2014.htmlGoogle Scholar
- 2014 ECSEL MultiAnnual Strategic Research and Innovation Agenda. Online: http://www.artemis-ia.eu/sraGoogle Scholar
- M. Broy and K. Stølen. Specification and Development of Interactive Systems -- Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science, Springer, 2001. Google ScholarDigital Library
- P. Derler, E. a. Lee, and a. S. Vincentelli. Modeling Cyber-Physical Systems. Proceedings of the IEEE, 100(1):13--28, January 2012.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- E. A. Lee, "Cyber Physical Systems: Design Challenges," 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, 2008, pp. 363--369. Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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, 2014Google Scholar
- D. Garlan, Modeling Challenges for CPS Systems, Software Engineering of smart Cyber Physical Systems, SEsCPS 2015 (keynote) Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- B. Morin, F. Fleurey, O. Barais, Taming Heterogeneity and Distribution insCPS, Software Engineering of smart Cyber Physical Systems, SEsCPS 2015 Google ScholarDigital Library
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 ConferenceCyber-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-...
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report
Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical System engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in the face of uncertainty and changing environments. ...
Comments