eMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain a greater share of the auto market. An eMobility system is composed of ensembles of cooperating e-vehicles, taking into account numerous requirements and restrictions of global traffic situation and individual drivers as well as infrastructure and operational requirements like parking availabilities, re-charging stations, battery life-time etc. The development of such systems is a very challenging task, which is mainly due to their non-deterministic behavior, driven by objectives that must be achieved despite the dynamic changes in the surrounding environment. This paper presents a formal approach to modeling self-adaptive behavior for eMobility. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of eMobility.
[1]
Michael G. Hinchey,et al.
On the autonomy requirements for space missions
,
2013,
16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).
[2]
Michael G. Hinchey,et al.
Autonomy requirements engineering
,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
[3]
W. Ewens,et al.
Stochastic Processes (i): Poisson Processes and Markov Chains
,
2001
.
[4]
Ugo Montanari,et al.
The KnowLang Framework for Knowledge Modeling for SCE Systems
,
2012
.
[5]
Michael G. Hinchey,et al.
Knowledge representation for self-adaptive behavior
,
2012,
C3S2E '12.
[6]
Michael G. Hinchey,et al.
Autonomy requirements engineering
,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).