Denis Bytschkow

ABSTRACT During early phases of complex systems engineering typically many structural and behavioral aspects are unclear. In particular, when it comes to constraints on the result of interactions between distributed components (emergent properties) current software engineering approaches provide limited support. Therefore, we propose an extension to current software models for describing the goals of interaction rather than the underlying decision logic. Further, we propose a generic algorithm for obtaining goal-oriented behavior. Finally, the concepts are evaluated in a case study.

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

ABSTRACT 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.

ABSTRACT 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.