Tomas Bures
Danny Weyns
Ilias Gerostathopoulos
Ivan Ruchkin
Abstract
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 high degree of effectiveness and efficiency. At the same time, these systems are supposed to be safe and secure, deal with environment dynamicity and uncertainty, cope with external threats, and optimize their behavior to achieve the best possible outcome. This "smartness" typically stems from highly cooperative behavior, self--awareness, self--adaptation, and selfoptimization. Most of the "smartness" is implemented in software, which makes the software one of the most complex and most critical constituents of sCPS. As the specifics of sCPS render traditional software engineering approaches not directly applicable, new and innovative approaches to software engineering of sCPS need to be sought. This paper reports on the results of the Second International Workshop on Software Engineering for Smart Cyber--Physical Systems (SEsCPS 2016), which specifically focuses on challenges and promising solutions in the area of software engineering for sCPS.
- NSF, Cyber Physical Systems, NSF 15--541 http://www.nsf.gov/pubs/2015/nsf15541/nsf15541.pdfGoogle Scholar
- 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 Scholar
- E. A. Lee, "Cyber Physical Systems: Design Challenges", 11th IEEE International Symposium on Object Oriented Real--Time Distributed Computing, 2008. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- Andy Greenberg. "Hackers Remotely Kill a Jeep on the Highway--With Me in It." In WIRED, July 21, 2015.Google Scholar
- 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 Scholar
Recommendations
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. ...
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects
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 ...
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects
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 ...
Comments