Modelling and certification for electric mobility

Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 3 Citations

Abstract

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.
LanguageEnglish
Title of host publicationProceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017)
PublisherIEEE
Pages109-114
ISBN (Electronic)978-1-5386-0837-1
ISBN (Print)978-1-5386-0838-8
DOIs
Publication statusPublished - Jul 2017
Event2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - Emden, Germany
Duration: 24 Jul 201726 Jul 2017
Conference number: 15
http://indin2017.i2ar.de/

Conference

Conference2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
Abbreviated titleINDIN 2017
CountryGermany
CityEmden
Period24/07/1726/07/17
Internet address

Fingerprint

Specifications
Formal methods
Electric vehicles
Interoperability
Standardization
Compliance

Cite this

Graf-Brill, A., Hartmanns, A., Hermanns, H., & Rose, S. (2017). Modelling and certification for electric mobility. In Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017) (pp. 109-114). IEEE. https://doi.org/10.1109/INDIN.2017.8104755
Graf-Brill, Alexander ; Hartmanns, Arnd ; Hermanns, Holger ; Rose, Steffen. / Modelling and certification for electric mobility. Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017). IEEE, 2017. pp. 109-114
@inproceedings{252af7c25a8e4e289a85623981ce08ca,
title = "Modelling and certification for electric mobility",
abstract = "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.",
author = "Alexander Graf-Brill and Arnd Hartmanns and Holger Hermanns and Steffen Rose",
year = "2017",
month = "7",
doi = "10.1109/INDIN.2017.8104755",
language = "English",
isbn = "978-1-5386-0838-8",
pages = "109--114",
booktitle = "Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017)",
publisher = "IEEE",
address = "United States",

}

Graf-Brill, A, Hartmanns, A, Hermanns, H & Rose, S 2017, Modelling and certification for electric mobility. in Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017). IEEE, pp. 109-114, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Germany, 24/07/17. https://doi.org/10.1109/INDIN.2017.8104755

Modelling and certification for electric mobility. / Graf-Brill, Alexander; Hartmanns, Arnd; Hermanns, Holger; Rose, Steffen.

Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017). IEEE, 2017. p. 109-114.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Modelling and certification for electric mobility

AU - Graf-Brill, Alexander

AU - Hartmanns, Arnd

AU - Hermanns, Holger

AU - Rose, Steffen

PY - 2017/7

Y1 - 2017/7

N2 - 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.

AB - 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.

U2 - 10.1109/INDIN.2017.8104755

DO - 10.1109/INDIN.2017.8104755

M3 - Conference contribution

SN - 978-1-5386-0838-8

SP - 109

EP - 114

BT - Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017)

PB - IEEE

ER -

Graf-Brill A, Hartmanns A, Hermanns H, Rose S. Modelling and certification for electric mobility. In Proceedings of the 15th IEEE International Conference on Industrial Informatics (INDIN 2017). IEEE. 2017. p. 109-114 https://doi.org/10.1109/INDIN.2017.8104755