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

    6 Citations (Scopus)
    1 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publication2017 IEEE 15th International Conference on Industrial Informatics (INDIN 2017)
    Place of PublicationPiscataway, NJ
    ISBN (Electronic)978-1-5386-0837-1, 978-1-5386-0836-4
    ISBN (Print)978-1-5386-0838-8
    Publication statusPublished - Jul 2017
    EventIEEE 15th International Conference on Industrial Informatics, INDIN 2017 - Emden, Germany
    Duration: 24 Jul 201726 Jul 2017
    Conference number: 15


    ConferenceIEEE 15th International Conference on Industrial Informatics, INDIN 2017
    Abbreviated titleINDIN
    Internet address


    Dive into the research topics of 'Modelling and certification for electric mobility'. Together they form a unique fingerprint.

    Cite this