Self-adaptation in software-intensive cyber–physical systems: From system goals to architecture configurations

Journal of Systems and Software

Volumn 122, Issue , 2016, Pages 378-397

  Gerostathopoulos, Ilias ^a   Bures, Tomas ^b,c   Hnetynka, Petr ^b   Keznikl, Jaroslav ^b,c   Kit, Michal ^b   Plasil, Frantisek ^b   Plouzeau, Noël ^d  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b CHARLES UNIVERSITY   (Czech Republic)

^c INSTITUTE OF MATHEMATICS   (Czech Republic)

^d UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Cyber physical systems; Dependability; Self adaptivity

Indexed keywords

MEMORY ARCHITECTURE;

ARCHITECTURE CONFIGURATION; DECENTRALIZED SYSTEM; DEPENDABILITY; DYNAMIC ENVIRONMENTS; PHYSICAL SYSTEMS; PREDICTIVE MONITORING; SELF ADAPTIVE SOFTWARES; SELF ADAPTIVITY;

DYNAMICS;

EID: 84960976259     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2016.02.028     Document Type: Article

References (80)

1. Ali, R. Al, Bures, T., Gerostathopoulos, I., Keznikl, J., Plasil, F., Architecture adaptation based on belief inaccuracy estimation. Proceedings of WICSA’14, Sydney, Australia, April 2014, 2014, 1–4.
2. Amato, C., Zilberstein, S., Achieving goals in decentralized POMDPs. Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, Richland, SC, 2009, 2009, 593–600.
3. Arcaini, P., Gargantini, A., Vavassori, P., Generating tests for detecting faults in feature models. Proceedings of the 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April 2015, 2015, 1–10.
4. Baresi, L., Guinea, S., A-3: an architectural style for coordinating distributed components. 2011 Ninth Working IEEE/IFIP Conference on Software Architecture (WICSA), June 2011, 2011, 161–170.
5. Baresi, L., Pasquale, L., Spoletini, P., Fuzzy goals for requirements-driven adaptation. 2010 18th IEEE International Requirements Engineering Conference, September 2010, 2010, 125–134.
6. Barrett, S., Stone, P., Kraus, S., Rosenfeld, A., Teamwork with limited knowledge of teammates. Proceedings of the 27th AAAI Conference on Artificial Intelligence, July 2013, 2013.
7. Belov, A., Diepold, D., Heule, M.J.H., Järvisalo, M., Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, 2014, 2014.
8. Bernstein, D.S., Givan, R., Immerman, N., Zilberstein, S., The complexity of decentralized control of Markov decision processes. Math. Oper. Res. 27:November (4) (2002), 819–840.
9. Bernstein, D.S., Hansen, E.A., Zilberstein, S., Bounded policy iteration for decentralized POMDPs. Proceedings of the 19th International Joint Conference on Artificial Intelligence, San Francisco, CA, USA, 2005, 2005, 1287–1292.
10. Berry, D.M., Cheng, B.H.C., Zhang, J., The four levels of requirements engineering for and in dynamic adaptive systems. Proceedings of the 11th international workshop on requirements engineering foundation for software quality, Porto, Portugal, 2005, 2005, 95–100.
11. Bhave, A., Krogh, B.H., Garlan, D., Schmerl, B., View consistency in architectures for cyber–physical systems. 2011 IEEE/ACM International Conference on Cyber–Physical Systems (ICCPS), April 2011, 2011, 151–160.
12. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Tropos: an agent-oriented software development methodology. Auton. Agents Multi-Agent Syst. 8:May (3) (2004), 203–236.
13. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B., The fractal component model and its support in Java. Software: Pract. Exp 36:11–12 (2006), 1257–1284.
14. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Gossiping components for cyber–physical systems. Proceedings of Eighth European Conference on Software Architecture, 2014, 2014, 250–266.
15. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F., DEECo—an ensemble-based component system. Proceedings of CBSE’13, Vancouver, Canada, June 2013, 2013, 81–90.
16. Bures, T., Hnetynka, P., Plasil, F., SOFA 2.0 : balancing advanced features in a hierarchical component model. SERA ’06, 2006, 2006, 40–48.
17. Chang, N., Rashidzadeh, R., Ahmadi, M., Robust indoor positioning using differential wi-fi access points. IEEE Trans. Consum. Electron 56:August (3) (2010), 1860–1867.
18. Cheng, B., et al. Software engineering for self-adaptive systems: a research roadmap. Software Engineering for Self-Adaptive Systems, 2009, Springer, Berlin, Heidelberg, 1–26.
19. Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J., A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS ’09, 2009, 2009, 1–15.
20. Chung, L., Nixon, B., Yu, E., Mylopoulos, J., Non-Functional Requirements in Software Engineering. 1999, Springer.
21. Clements, P., Northrop, L., Software Product Lines: Practices and Patterns. 2002, Addison Wesley Professional.
22. Dalpiaz, F., Chopra, A.K., Giorgini, P., Mylopoulos, J., Adaptation in open systems: giving interaction its rightful place. Proceedings of the 29th International Conference on Conceptual Modeling (ER ’10), Vancouver, Canada, November 2010, 2010, 31–45.
23. DeNicola, R., Ferrari, G., Loreti, M., Pugliese, R., A language-based approach to autonomic computing. Formal Methods Compon. Objects 7542 (2013), 25–48.
24. Esfahani, N., Kouroshfar, E., Malek, S., Taming uncertainty in self-adaptive software. SIGSOFT/FSE ’11: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, 2011, 2011, 234–244.
25. Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C., Reconciling system requirements and runtime behavior. Proceedings of the Ninth International Workshop on Software Specification and Design, 1998, 1998, 50–59.
26. Fickas, S., Feather, M.S., Requirements monitoring in dynamic environments. Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE’95), 1995, 1995, 140–147.
27. Fischer, M.J., Lynch, N.A., Paterson, M.S., Impossibility of distributed consensus with one faulty process. J. ACM 32:April (2) (1985), 374–382.
28. Fouquet, F., Daubert, E., Plouzeau, N., Dissemination of reconfiguration policies on mesh networks. Distrib. Appl. Interoperable Syst. 2012 (2012), 16–30.
29. Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P., Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer. 37:10 (2004), 46–54.
30. Georgiadis, I., Magee, J., Kramer, J., Self-organising software architectures for distributed systems. Proceedings of the First Workshop on Self-healing Systems—WOSS ’02, 2002, 2002, 33–38.
31. Gerostathopoulos, I., Bures, T., Hnetynka, P., Hujecek, A., Plasil, F., Skoda, D., Meta-Adaptation Strategies for Adaptation in Cyber–Physical Systems. Technical Report #D3S-TR-2015-01, 2015, Department of Distributed and Dependable Systems D3S-TR-2015-01.
32. Goldsby, H.J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Hughes, D., Goal-based modeling of dynamically adaptive system requirements. Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2008), March 2008, 2008, 36–45.
33. Gupta, R.A., Chow, M.-Y., Networked control system: overview and research trends. IEEE Trans. Ind. Electron. 57:Jul (7) (2010), 2527–2535.
34. Hall, R., Pauls, K., McCulloch, S., Savage, D., OSGi in Action: Creating Modular Applications in Java. 2011, Manning Publications, Stamford, CT.
35. Hansen, K.M., Modeling and analyzing architectural change with alloy. SAC ’10, 2012, 2012, 2257–2264.
36. Hasan, M.S., Yu, H., Carrington, A., Yang, T.C., Co-simulation of wireless networked control systems over mobile ad hoc network using SIMULINK and OPNET. IET Commun., 3(8), 2009, 1297.
37. Hellerstein, J., Diao, Y., Parekh, S., Tilbury, D., Feedback Control of Computing Systems. 2004.
38. Hinchey, M., Park, S., Schmid, K., Building dynamic software product lines. Computer 45:October (10) (2012), 22–26.
39. Hirsch, D., Kramer, J., Magee, J., Uchitel, S., Modes for software architectures. Proceedings of the Third European Conference on Software Architecture, EWSA ’06, 2006, 2006, 113–126.
40. Hoelzl, M., Rauschmayer, A., Wirsing, M., Engineering of software-intensive systems: state of the art and research challenges. Software-Intensive Systems and New Computing Paradigms, 2008, 1–44.
41. Höst, M., Regnell, B., Wohlin, C., Using students as subjects—a comparative study of students and professionals in lead-time impact assessment. Emp. Softw. Eng. 214 (2000), 201–214.
42. IRM-SA Website 2015. http://d3s.mff.cuni.cz/projects/irm-sa (accessed 15.04.23).
43. Jadbabaie, A., Lin, J., Morse, A.S., Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48:June (6) (2003), 988–1001.
44. jDEECo Website: 2015. https://github.com/d3scomp/JDEECo (accessed 15.04.23).
45. Kang, K.C., Jaejoon, L., Donohoe, P., Feature-oriented product line engineering. IEEE Softw. 19:4 (2002), 58–65.
46. Kephart, J., Chess, D., The vision of autonomic computing. Computer. 36:1 (2003), 41–50.
47. Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P., Hoch, N., Design of ensemble-based component systems by invariant refinement. Proceedings of CBSE’13, Vancouver, Canada, June 2013, 2013, 91–100.
48. Keznikl, J., Bures, T., Plasil, F., Kit, M., Towards dependable emergent ensembles of components: the DEECo component model. Proceedings of WICSA/ECSA’12, August 2012, 2012, 249–252.
49. Kramer, J., Magee, J., Self-managed systems: an architectural challenge. Proceedings of FOSE’07, Minneapolis, USA, May 2007, 2007, 259–268.
50. Lamsweerde, A. Van, Requirements engineering: from craft to discipline. 16th ACM Sigsoft Intl. Symposium on the Foundations of Software Engineering, Atlanta, USA, November 2008, 2008, 238–249.
51. Lamsweerde, A. Van, Requirements Engineering: From System Goals to UML Models to Software Specifications. 2009, John Wiley and Sons.
52. Lamsweerde, A. Van, Letier, E., Handling obstacles in goal-oriented requirements engineering. IEEE Trans. Softw. Eng. 26:10 (2000), 978–1005.
53. LeBerre, D., Parrain, A., The Sat4j library, release 2.2. J. Satisf. Boolean Model. Comput. 7 (2010), 59–64.
54. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C., Composing adaptive software. Computer 37:7 (2004), 56–64.
55. Morandini, M., Penserini, L., Perini, A., Automated mapping from goal models to self-adaptive systems. 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, September 2008, 2008, 485–486.
56. Morandini, M., Perini, A., Towards goal-oriented development of self-adaptive systems. Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems—SEAMS ’08, Leipzig, Germany, May 2008, 2008, 9–16.
57. Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A., Models at runtime to support dynamic adaptation. Computer 42:10 (2009), 44–51.
58. Morin, B., Barais, O., Nain, G., Jezequel, J., Taming dynamically adaptive systems using models and aspects. Proceedings of the 31st International Conference in Software Engineering, ICSE ’09, 2009, 2009, 122–132.
59. Murguzur, A., Capilla, R., Trujillo, S., Ortiz, Ó., Lopez-Herrejon, R.E., Context variability modeling for runtime configuration of service-based dynamic software product lines. Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, New York, NY, USA, 2014, 2014, 2–9.
60. Murray, R.M., Astrom, K.J., Boyd, S.P., Brockett, R.W., Stein, G., Future directions in control in an information-rich world. IEEE. Control Syst. 23:2 (2003), 1–21.
61. Mustafiz, S., Denil, J., Lúcio, L., Vangheluwe, H., The FTG+ PM framework for multi-paradigm modelling: an automotive case study. Proceedings of the Sixth International Workshop on Multi-Paradigm Modeling, 2012, 2012, 13–18.
62. Olfati-Saber, R., Fax, J.A., Murray, R.M., Consensus and cooperation in networked multi-agent systems. Proc. IEEE 95:January (1) (2007), 215–233.
63. Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L., An architecture-based approach to self-adaptive software. IEEE. Intell. Syst. Appl. 14:3 (1999), 54–62.
64. Robinson, W.N., A requirements monitoring framework for enterprise systems. Requirements Eng. 11:November (1) (2005), 17–41.
65. Salehie, M., Tahvildari, L., Self-adaptive software: landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 4:May (2) (2009), 1–40.
66. Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A., Requirements-aware systems: a research agenda for RE for self-adaptive systems. Proceedings of the 18th IEEE International Requirements Engineering Conference, September 2010, 2010, 95–103.
67. Sawyer, P., Rocquencourt, I., Mazo, R., Diaz, D., Salinesi, C., Paris, U., Using constraint programming to manage configurations in self-adaptive systems. Computer 45:10 (2012), 56–63.
68. Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I., A component model for control-intensive distributed embedded systems. Proceedings of the 11th International Symposium on Component-Based Software Engineering, October 2008, 2008, 310–317.
69. Seuken, S., Zilberstein, S., Improved memory-bounded dynamic programming for decentralized POMDPs. Proceedings of the Twenty-Third Conference on Uncertainty in Artificial Intelligence, 2012, 2012.
70. Sha, L., Meseguer, J., Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A., Design of complex cyber physical systems with formalized architectural patterns. Software-Intensive Systems and New Computing Paradigms, 2008, Springer, 92–100.
71. Sheskin, D.J., Handbook of Parametric and Nonparametric Statistical Procedures. 2011, Chapman and Hall/CRC.
72. Shoham, Y., Leyton-Brown, K., Multiagent Systems: Algorithmic, Game-theoretic, and Logical Foundations. 2008, Cambridge University Press.
73. Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J., Awareness requirements. Software Engineering for Self-Adaptive Systems II, 2013, Springer, Berlin, Heidelberg, 133–161.
74. Spaan, M.T.J., Oliehoek, F.A., Vlassis, N., Multiagent planning under uncertainty with stochastic communication delays. Proceedings of International Conference on Automated Planning and Scheduling, 2008, 2008, 338–345.
75. The Orocos Real-Time Toolkit: http://www.orocos.org/wiki/orocos/rtt-wiki.
76. Valtazanos, A., Steedman, M., Improving uncoordinated collaboration in partially observable domains with imperfect simultaneous action communication. Proceedings of the Workshop on Distributed and Multi-Agent Planning in ICAPS, 2014, 2014, 45–54.
77. Whittle, J., Sawyer, P., Bencomo, N., RELAX: a language to address uncertainty in self-adaptive systems requirements. Requirements Eng. 15:2 (2010), 177–196.
78. Wohlin, C., Runeson, P., Host, M., Ohlsson, M.C., Regnell, B., Wesslen, A., Experimentation in Software Engineering. 2012, Springer.
79. Wu, F., Zilberstein, S., Chen, X., Online planning for ad hoc autonomous agent teams. Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011, 2011, 439–445.
80. Wu, F., Zilberstein, S., Chen, X., Online planning for multi-agent systems with bounded communication. Artif. Intell. 175:February (2) (2011), 487–511.