Modelling and certification for electric mobility

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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 publication2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
PublisherInstitute of Electrical and Electronics Engineers
Pages109-114
ISBN (Electronic)978-1-5386-0837-1
ISBN (Print)978-1-5386-0838-8
DOIs
StatePublished - 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 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) (pp. 109-114). Institute of Electrical and Electronics Engineers. DOI: 10.1109/INDIN.2017.8104755
Graf-brill, Alexander ; Hartmanns, Arnd ; Hermanns, Holger ; Rose, Steffen. / Modelling and certification for electric mobility. 2017 IEEE 15th International Conference on Industrial Informatics (INDIN). Institute of Electrical and Electronics Engineers, 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 = "2017 IEEE 15th International Conference on Industrial Informatics (INDIN)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

Graf-brill, A, Hartmanns, A, Hermanns, H & Rose, S 2017, Modelling and certification for electric mobility. in 2017 IEEE 15th International Conference on Industrial Informatics (INDIN). Institute of Electrical and Electronics Engineers, pp. 109-114, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), Emden, Germany, 24/07/17. DOI: 10.1109/INDIN.2017.8104755

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

2017 IEEE 15th International Conference on Industrial Informatics (INDIN). Institute of Electrical and Electronics Engineers, 2017. p. 109-114.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 - 2017 IEEE 15th International Conference on Industrial Informatics (INDIN)

PB - Institute of Electrical and Electronics Engineers

ER -

Graf-brill A, Hartmanns A, Hermanns H, Rose S. Modelling and certification for electric mobility. In 2017 IEEE 15th International Conference on Industrial Informatics (INDIN). Institute of Electrical and Electronics Engineers. 2017. p. 109-114. Available from, DOI: 10.1109/INDIN.2017.8104755