Book chapter

The E-mobility Case Study
N. Hoch, H. Bensler, D. Abeywickrama, T. Bureš, U. Montanari
Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Electro-mobility (e-mobility) is one of the promising technologies being considered by automotive OEMs as an alternative to internal combustion engines as a means of propulsion. The e-mobility case study provides a novel example of a relevant industry application within the ASCENS framework. An overview of the system design is given which describes how e-mobility is conceptualized and then transformed using the ensemble development life cycle (EDLC) approach into a distributed autonomic (i.e self-aware, self-adaptive) component-based software system. The system requirements engineering is based on the state-of-the-affairs (SOTA) approach and the invariant refinement method (IRM) which are both revisited and applied. Regarding the implementation and deployment of the system, a dependable emergent ensembles of components (DEECo) approach is utilized. The DEECo components and ensembles are coded and deployed using the Java-based jDEECo runtime environment. The runtime environment integrates the multi-agent transport simulation tool (MATSim), which is used to predict the effects of the physical interactions of users, vehicles and infrastructure resources. jDEECo handles multiple MATSim instances to allow for different belief states between components and ensembles.

    title = {{The E-mobility Case Study}},
    author = {Hoch, Nicklas and Bensler, Henry-Paul and Abeywickrama, Dhaminda and Bureš, Tomáš and Montanari, Ugo},
    year = {2015},
    booktitle = {{Software Engineering for Collective Autonomic Systems: The ASCENS Approach}},
    editor = {Wirsing, Martin and Hölzl, Matthias and Koch, Nora and Mayer, Philip},
    publisher = {Springer International Publishing},
    location = {Cham},
    doi = {10.1007/978-3-319-16310-9_17},
    isbn = {978-3-319-16310-9},
    pages = {513--533},
    url = {},