Options
2010
Conference Paper
Titel
Formalization of Smart Metering requirements
Abstract
Today's industries and households have a growing need for resources like electricity obtained and measured via house connections. For the future, european and national regulations require providers to enable additional services such as accurate monthly bills and consumption information regarding the actual time of use. Those regulations and future use cases like charging stations for E-Mobility or the need for accurate real-time consumption information in Smart Grids require the classical meters to be replaced by Smart Meters that utilize embedded systems providing network connectivity to the backend. These functionalities raise additional security concerns that are addressed by regulations and laws of the metrology domain. However, the current directives in this area rely only on verbal definitions of these security requirements. This paper analyses security requirements from the Measuring Instruments Directive 2004/22/EC (MID) and demonstrates a possible formal repres entation ruling out the drawbacks of textual descriptions and enabling formal reasoning and proving of lawful requirements.