Title
Formalizing eMobility with KnowLang
Abstract
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.
Year
DOI
Venue
2014
10.1145/2641483.2641523
C3S2E
Keywords
Field
DocType
design,emobility,software architectures,knowledge representation,languages,theory,knowlang
Knowledge representation and reasoning,Formal language,Computer science,Knowledge management,Risk analysis (engineering),Legislation,Operational requirements
Conference
Citations 
PageRank 
References 
0
0.34
3
Authors
4
Name
Order
Citations
PageRank
Emil Vassev126341.81
Nicklas Hoch2496.38
Henry P. Bensler300.34
Mike Hinchey449451.89