A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase

Component ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops the core idea of ensembles by providing rigorous semantics as well as models and methods for the whole development life cycle of an ensemble-based system. These methods specifically address adaptation, self-awareness, self-optimization, and continuous system evolution. In this paper, we demonstrate the key concepts and benefits of the ASCENS approach in the context of intelligent navigation of electric vehicles (e-Mobility), which itself is one of the three key case studies of the project.

[1]  Ugo Montanari,et al.  Soft Constraint Logic Programming for Electric Vehicle Travel Optimization , 2012, ArXiv.

[2]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[3]  Radu Calinescu,et al.  Large-scale complex IT systems , 2011, Commun. ACM.

[4]  R. Nicola,et al.  SCEL : a Language for Autonomic Computing ? , 2013 .

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

[6]  Francesca Rossi,et al.  Semiring-based constraint logic programming: syntax and semantics , 2001, TOPL.

[7]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[8]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[9]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[10]  Roland Siegwart,et al.  Electric vehicle travel optimization-customer satisfaction despite resource constraints , 2012, 2012 IEEE Intelligent Vehicles Symposium.

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

[12]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

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

[14]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[15]  Franco Zambonelli,et al.  Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles , 2011, 2011 International Conference on Collaboration Technologies and Systems (CTS).

[16]  Axel van Lamsweerde,et al.  Requirements engineering: from craft to discipline , 2008, SIGSOFT '08/FSE-16.

[17]  Franco Zambonelli,et al.  Model Checking Goal-Oriented Requirements for Self-Adaptive Systems , 2012, 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.