Modelling and certification for electric mobility
2017 IEEE 15th International Conference on Industrial Informatics (INDIN)(2017)
摘要
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.
更多查看译文
关键词
electric mobility,EnergyBus specification,public charging infrastructures,formal methods,certification framework,model-based analysis methods,joint IEC-ISO standardisation effort,light electric vehicle component interoperability,modest toolset
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络