Modelling and certification for electric mobility

The EnergyBus specification is the basis of an ongoing joint IEC/ISO standardisation effort focussing on public charging infrastructures for and interoperability of light electric vehicle components. This paper highlights how these efforts are supported by formal methods, starting at the design and...

Full description

Saved in:
Bibliographic Details
Published in2017 IEEE 15th International Conference on Industrial Informatics (INDIN) pp. 109 - 114
Main Authors Graf-Brill, Alexander, Hartmanns, Arnd, Hermanns, Holger, Rose, Steffen
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2017
Subjects
Analytical models
Batteries
Computational modeling
Load modeling
Model checking
Online AccessGet full text

Cover

More Information
Summary:The EnergyBus specification is the basis of an ongoing joint IEC/ISO standardisation effort focussing on public charging infrastructures for and interoperability of light electric vehicle components. This paper highlights how these efforts are supported by formal methods, starting at the design and specification level, up to establishing a certification framework for standards compliance of devices implementing the specification. The Modest Toolset supports the model-based analysis methods needed in this context.
ISSN:2378-363X
DOI:10.1109/INDIN.2017.8104755