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)

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

    Conference

    ConferenceIEEE 15th International Conference on Industrial Informatics, INDIN 2017
    Abbreviated titleINDIN
    CountryGermany
    CityEmden
    Period24/07/1726/07/17
    Internet address

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

  • 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 2017) (pp. 109-114). Piscataway, NJ: IEEE. https://doi.org/10.1109/INDIN.2017.8104755