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 language | English |
|---|---|
| Title of host publication | 2017 IEEE 15th International Conference on Industrial Informatics (INDIN 2017) |
| Place of Publication | Piscataway, NJ |
| Publisher | IEEE |
| Pages | 109-114 |
| ISBN (Electronic) | 978-1-5386-0837-1, 978-1-5386-0836-4 |
| ISBN (Print) | 978-1-5386-0838-8 |
| DOIs | |
| Publication status | Published - Jul 2017 |
| Event | IEEE 15th International Conference on Industrial Informatics, INDIN 2017 - Emden, Germany Duration: 24 Jul 2017 → 26 Jul 2017 Conference number: 15 http://indin2017.i2ar.de/ |
Conference
| Conference | IEEE 15th International Conference on Industrial Informatics, INDIN 2017 |
|---|---|
| Abbreviated title | INDIN |
| Country/Territory | Germany |
| City | Emden |
| Period | 24/07/17 → 26/07/17 |
| Internet address |
