Applying formal software engineering techniques to smart grids
Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas and Denis Bytschkow
Software Engineering for the Smart Grid (SE4SG), 2012 International Workshop on, pp.50-56, 3 June 2012
Abstract
Engineering complex systems that have to meet critical requirements is a difficult task, especially if multiple engineering disciplines are involved. Common practice in domains like the automotive or avionic industry shows that formal methods improve engineering process efficiency for embedded software due to abilities like abstraction, early verification and iterative refinement. This paper presents how existing formal software engineering methods can be adapted to meet the needs of the smart grid domain. A case study demonstrates how we develop a basic interdisciplinary but semantically integrated decomposition of a household including electric and software behavior. Finally, we provide first simulation results to evaluate the feasibility of the model as well as the presented engineering method.
Presentation Slides
BibTeX Citation
@INPROCEEDINGS{
author={Hackenberg, G. and Irlbeck, M. and Koutsoumpas, V. and Bytschkow, D.},
booktitle={Software Engineering for the Smart Grid (SE4SG), 2012 International Workshop on},
title={Applying formal software engineering techniques to smart grids},
year={2012},
month={June},
pages={50-56}
}