Chair Software and Systems Engineering
Fakultat fur Informatik
Technische Universitat Munchen
The tutorial outlines a comprehensive integrated approach to the structured modeling, specification, design and implementation of discrete systems that offer a variety of functions for different purposes and use cases and that are implemented by a network of distributed components operating concurrently partly in a real time mode. It introduces a theory and first concepts of an engineering methodology for the structured modeling in terms of formal specification, design and model-based implementation by state machines. The key is the integration of the three views: interface, architecture, and state view and their seamless integrated usage in model based system development comprising functional specification, architecture design, and implementation. For functional specification, a context model and a function hierarchy describe the functionality of multifunctional systems in a structured way. Modes help to specify feature interactions and functional dependencies between functions. Logical component architectures serve for the hierarchical design of systems. Networks of sub-systems called components describe architectures. The behavior of the components as part of the architecture is captured by interface specifications. State machines provide implementations. The approach is based on the FOCUS theory for modeling interface behavior and system functionality.
Manfred Broy is a full professor at the faculty of informatics at the Technische Universit�t M�nchen holding the chair for software & systems engineering. His research topics are in software and systems engineering comprising both theoretical and practical aspects. His current research interests are: System Development Processes and Tool Support, System Modelling, Requirements Engineering, Concurrent and Embedded Systems, Theoretical Foundation of Informatics, Quality, and Requirements Engineering, Systems Engineering, Cyber-Physical Systems.