TY - GEN
T1 - Formalizing eMobility with KnowLang
AU - Vassev, Emil
AU - Hoch, Nicklas
AU - Bensler, Henry P.
AU - Hinchey, Mike
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
KW - eMobility
KW - KnowLang
KW - knowledge representation
UR - http://www.scopus.com/inward/record.url?scp=84906814679&partnerID=8YFLogxK
U2 - 10.1145/2641483.2641523
DO - 10.1145/2641483.2641523
M3 - Conference contribution
AN - SCOPUS:84906814679
SN - 9781450327121
T3 - ACM International Conference Proceeding Series
SP - 27
EP - 34
BT - Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014
PB - Association for Computing Machinery
T2 - 2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014
Y2 - 4 April 2014 through 6 April 2014
ER -
