TY - GEN
T1 - Design and verification methodologies for Smart Battery Cells
AU - Steinhorst, Sebastian
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2017/1/23
Y1 - 2017/1/23
N2 - Lithium-Ion (Li-Ion) battery packs are continuously gaining in importance in many energy storage applications such as electric vehicles and smart energy grids. Such battery packs require advanced Battery Management Systems (BMSs), which are contributions from the embedded systems and integrated circuits domain. The BMS monitors and controls the battery cells in a pack and ensures the functionality, efficiency, safety and reliability of the pack. Conventional BMS designs employ a centralized controller architecture for the whole battery pack. Recently, Smart Battery Cells have been proposed which enable a complete decentralization of the BMS. In Smart Battery Cells, each cell is equipped with a Cell Management Unit (CMU) which individually manages the cell it is attached to. By communication with other Smart Battery Cells, the pack-level functionality of the BMS is provided in a distributed fashion. While this architecture provides many benefits such as scalability, minimal integration effort and increased functional safety, existing design and verification methodologies can neither be applied on hardware nor on software level. Consequently, this contribution will discuss how such methodologies for Smart Battery Cells could be developed and points out which further research contributions are needed. For this purpose, we address modeling and simulation of cyberphysical aspects on all abstraction levels and illustrate how verification approaches can be introduced to this new field of application.
AB - Lithium-Ion (Li-Ion) battery packs are continuously gaining in importance in many energy storage applications such as electric vehicles and smart energy grids. Such battery packs require advanced Battery Management Systems (BMSs), which are contributions from the embedded systems and integrated circuits domain. The BMS monitors and controls the battery cells in a pack and ensures the functionality, efficiency, safety and reliability of the pack. Conventional BMS designs employ a centralized controller architecture for the whole battery pack. Recently, Smart Battery Cells have been proposed which enable a complete decentralization of the BMS. In Smart Battery Cells, each cell is equipped with a Cell Management Unit (CMU) which individually manages the cell it is attached to. By communication with other Smart Battery Cells, the pack-level functionality of the BMS is provided in a distributed fashion. While this architecture provides many benefits such as scalability, minimal integration effort and increased functional safety, existing design and verification methodologies can neither be applied on hardware nor on software level. Consequently, this contribution will discuss how such methodologies for Smart Battery Cells could be developed and points out which further research contributions are needed. For this purpose, we address modeling and simulation of cyberphysical aspects on all abstraction levels and illustrate how verification approaches can be introduced to this new field of application.
UR - http://www.scopus.com/inward/record.url?scp=85013836273&partnerID=8YFLogxK
U2 - 10.1109/ISICIR.2016.7829706
DO - 10.1109/ISICIR.2016.7829706
M3 - Conference contribution
AN - SCOPUS:85013836273
T3 - 2016 International Symposium on Integrated Circuits, ISIC 2016
BT - 2016 International Symposium on Integrated Circuits, ISIC 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 International Symposium on Integrated Circuits, ISIC 2016
Y2 - 12 December 2016 through 14 December 2016
ER -