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 Vassev | 1 | 263 | 41.81 |
Nicklas Hoch | 2 | 49 | 6.38 |
Henry P. Bensler | 3 | 0 | 0.34 |
Mike Hinchey | 4 | 494 | 51.89 |