The e-mobility case study

被引：2

作者：

Hoch, Nicklas ^{[1
]}

Bensler, Henry-Paul ^{[1
]}

Abeywickrama, Dhaminda ^{[2
]}

Bureš, Tomáš ^{[3
]}

Montanari, Ugo ^{[4
]}

机构：

[1] Volkswagen AG, Corporate Research Group, Wolfsburg

[2] Fraunhofer FOKUS, Berlin

[3] Charles University Prague, Department of Distributed and Dependable Systems, Prague

[4] Universitá di Pisa, Dipartimento di Informatica, Pisa

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015年 / 8998卷

关键词：

Autonomic systems; Ensemble-oriented systems; Requirements analysis; Scheduling; Self-organization; Software engineering methodologies;

D O I：

10.1007/978-3-319-16310-9_17

中图分类号：

学科分类号：

摘要：

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 with in 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. © Springer International Publishing Switzerland2015.

引用

页码：513 / 533

页数：20

共 22 条

[1]

Abeywickrama D.B., Hoch N., Zambonelli F., Engineering and implementingsoftware architectural patterns based on feedback loops. International Journal forParallel and Distributed Computing, Special Issue on Enabling Technologies Forcollaboration to Appear, (2015)

[2]

Abeywickrama D.B., Hoch N., Zambonelli F., Simsota: Engineering and simulatingfeedback loops for self-adaptive systems, International C* Conference Oncomputer Science & Software Engineering (C3S2E13), pp. 10-12, (2013)

[3]

Abeywickrama D.B., Zambonelli F., Hoch N., Towards simulating architecturalpatterns for self-aware and self-adaptive systems, Sixth IEEE Internationalconference on Self-Adaptive and Self-Organizing Systems Workshops, pp. 10-14, (2012)

[4]

Bures T., De Nicola R., Gerostathopoulos I., Hoch N., Kit M., Koch N., Monreale G.V., Montanari U., Pugliese, Rosario Serbedzija N.B., Wirsing M., Zambonelli F., A life cycle for the development of autonomic systems: The e-mobilityshowcase, 7Th IEEE International Conference on Self-Adaptation and Self-Organizing Systemsworkshops (SASOW), pp. 9-13, (2013)

[5]

Bures T., Gerostathopoulos I., Hnetynka P., Keznikl J., Kit M., Plasil F., Deeco: An ensemble-based component system, Proceedings of the 16Th Internationalacm Sigsoft Symposium on Component-Based Software Engineering (CBSE’13), pp. 81-90, (2013)

[6]

Bures T., Gerostathopoulos I., Hnetynka P., Keznikl J., Kit M., Plasil F., TheInvariant Refinement Method, Software Engineering for Collective Autonomic Systems. LNCS, 8998, pp. 405-428, (2015)

[7]

Cabri G., Puviani M., Zambonelli F., Towards a taxonomy of adaptive agentbasedcollaboration patterns for autonomic service ensembles, 2011 Internationalconference on Collaboration Technologies and Systems (CTS), pp. 508-515, (2011)

[8]

Cascetta E., Transportation Systems Analysis - Models and Applications, 2Ndedn, (2009)

[9]

Geering H.P., Regelungstechnik, (2004)

[10]

Hall R.W., Handbook of Transportation Science, International Series Inoperations Research & Management Science, 56, (2003)

← 1 2 3 →