PostApr 4, 2012
Paper accepted for ICSE'2012 workshop on SE4SG!
I am happy to announce that my colleagues Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow and I successfully published a paper on applying formal sof...
PublicationJul 21, 2014
A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models
A key success factor for building smart control software for today's energy systems is a precise understanding of their behavioral requirements. However, current engineering approaches lack the possibility to validate these requirements in early phases of development. The validation is hampered by the difficulty estimating the impact of requirements on the overall system behavior before a complete system model is built. To overcome this situation, we propose a model-based rapid prototyping approach based on partial system models enabling early validation of behavioral requirements through tool-supported behavior estimation. For evaluating the approach we demonstrate our approach through a case study showing the interaction between customer and software engineer over three iterations. Finally, the approach is discussed with respect to modeling effort and required model resolution.
PublicationMay 18, 2013
Towards a bottom-up development of reference architectures for smart energy systems
Smart energy systems seem a promising choice for countries worldwide to realign their power systems to the challenges predicted for the next decades. With the will to participate in this class of systems, many solution providers design custom systems, which sometimes consist of similar parts, but are on the contrary hard to compare to each other. However, a reference describing existing commonalities is needed as a basis for many activities such as regulation design, legislation, national discussion or standardization. This paper illustrates the challenges connected with the creation of reference architectures for smart energy systems, delineates their benefits and suggests a model and method for their incremental, bottom-up development and validation through concrete system architectures.
PostJul 2, 2012
Follow-Up on Denis' MSE Article
This is only a short/quick supplement to Denis' previous article about the Munich School of Engineering (MSE) colloquium. I uploaded my poster to show people so...
PostJun 4, 2012
SE4SG 2012 Talk Slides: Distributed Smart Grid Architecture
Presentation slides from my ICSE 2012 SE4SG talk in Zurich on software engineering patterns and distributed control in smart energy grids.
PublicationJun 3, 2012
Applying formal software engineering techniques to smart grids
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.
