Real-Time and Embedded Systems Group Advised by:

Hiermit erkläre ich an Eides Statt, dass ich die vorliegende Arbeit selbstständig verfasst und keine anderen als die angegebenen Hilfsmittel verwendet habe. Kiel, 4 Due to their intuitive form, sequence diagrams are simple to write and understand and serve as a notation for system requirements and design. Statecharts are widely used for example for modeling of reactive systems and as a base for code generation. Variants of both diagram types are part of the ROOM and UML-RT frameworks that are widely used in industrial software modeling. This work proposes an approach to the automated synthesis of statecharts from se-quence diagrams called statechart composer—SCC. The SCC starts with a possibly non-empty hierarchical statechart that can be manually created. Then the SCC adds behavior for each requirement sequence diagram incrementally. It introduces hierarchy into a statechart to simplify it and/or to increase traceability of requirements. An alph