Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Analysis of the SYM2 Smart Meter Remote Software Download using formal methods reasoning

: Fuchs, Andreas; Weber, Donatus


Hamid, B.; Rudolf, C.; Mana, A.; Nadjm-Tehran, S. ; Association for Computing Machinery -ACM-:
S&D4RCES 2011, International Workshop on Security and Dependability for Resource Constrained Embedded Systems. Proceedings : Naples, Italy, September 2011
New York: ACM, 2011
ISBN: 978-1-4503-0882-3
Art. 3
International Workshop on Security and Dependability for Resource Constrained Embedded Systems <2011, Naples>
Conference Paper
Fraunhofer SIT ()

The extended use of clean electricity in the future requires an intelligent distribution network, the so called Smart Grid. A main component of this grid are Smart Meters, which are capable of providing services like the remote readout of the actual power consumption or the remote control of loads. Modern Smart Meters are Embedded Systems, running software on a microcontroller platform. Due to adding new features or fixing errors, it is necessary to remotely update the software of Smart Meters in the field. Since Security plays a major role for critical infrastructure components like Smart Meters, a Secure Software Download mechanism is strongly needed. The German SYM2 specification for Smart Meters proposes variants for the Secure Software Download of the legally relevant modules as well as for the non-legally relevant modules.
Both variants will be formally investigated and compared in regard to provided security properties using the Fraunhofer Secure Modeling Framework (SeMF). The real world system is mapped to a system model comprising all necessary actions, requirements and assumptions. It serves as a basis for the formal method reasoning. Security issues are pointed out and analysed towards possibilities for secure solutions.