Software Engineering for Software-Intensive Cyber-Physical Systems

In software-intensive cyber-physical systems (siCPS) the interplay of software control with the physical environment has a prominent role. Nowadays, siCPS are expected to (i) effectively deal with the issues of distribution, scalability, and environment dynamicity, (ii) control their emergent behavior, and, at the same time, (iii) be versatile and tolerant in face of changes and threats. Although approaches that individually meet the above requirements of siCPS already exist, their synergy in a comprehensive software engineering framework is far from trivial. In this paper, we pinpoint the important characteristics of engineering siCPS in an attempt to show that they introduce distinct challenges to traditional software engineering. We argue that this can be addressed by a synergy and adaptation of existing models and abstractions, show our proposal towards such a synergy, and discuss its implications.

[1]  Roy Friedman,et al.  Gossiping on MANETs: the beauty and the beast , 2007, OPSR.

[2]  Panganamala Ramana Kumar,et al.  Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.

[3]  buttazzo ebook.  Soft Real Time Systems: Predictability vs. Efficiency (pdf) by Giorgio C Buttazzo (ebook) , 2016 .

[4]  Ilias Gerostathopoulos,et al.  Design of ensemble-based component systems by invariant refinement , 2013, CBSE '13.

[5]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[6]  Noël Plouzeau,et al.  Adaptation in Cyber-Physical Systems : from System Goals to Architecture Configurations , 2014 .

[7]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[8]  Ilias Gerostathopoulos,et al.  DEECO: an ensemble-based component system , 2013, CBSE '13.

[9]  Martin Wirsing,et al.  Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.

[10]  Christian Maihöfer,et al.  A survey of geocast routing protocols , 2004, IEEE Commun. Surv. Tutorials.

[11]  Ilias Gerostathopoulos,et al.  Architecture Adaptation Based on Belief Inaccuracy Estimation , 2014, 2014 IEEE/IFIP Conference on Software Architecture.

[12]  Martin Mauve,et al.  A survey on position-based routing in mobile ad hoc networks , 2001, IEEE Netw..

[13]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[14]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems , 2012, Springer Berlin Heidelberg.

[15]  Michal Kit,et al.  Towards Dependable Emergent Ensembles of Components: The DEECo Component Model , 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

[16]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[17]  Rocco De Nicola,et al.  A Language-Based Approach to Autonomic Computing , 2011, FMCO.

[18]  Martin Wirsing,et al.  Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.

[19]  Karthikeyan Natesapillai,et al.  A Review of Broadcasting Methods for Mobile Ad Hoc Network , 2012 .

[20]  Sasikala,et al.  A SURVEY ON POSITION – BASED ROUTING IN MOBILE AD HOC NETWORKS , 2013 .

[21]  Alexander Romanovsky,et al.  MetaSelf: an architecture and a development method for dependable self-* systems , 2010, SAC '10.

[22]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[23]  Wolfgang Böhm,et al.  Challenges in Engineering for Software-Intensive Embedded Systems , 2012, Model-Based Engineering of Embedded Systems.

[24]  Giuseppe Lipari,et al.  Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science) , 2005 .

[25]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[26]  Salim Hariri,et al.  A component-based programming model for autonomic applications , 2004, International Conference on Autonomic Computing, 2004. Proceedings..

[27]  Giuseppe Lipari,et al.  Soft Real-Time Systems: Predictability vs. Efficiency , 2010 .

[28]  Frank D. Valencia,et al.  Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.

[29]  Jun Han,et al.  A systematic survey on the design of self-adaptive software systems using control engineering approaches , 2012, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).