Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.

• Type: Conference
• Year: 2009
• Where: ICSE
• Authors: Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese
• Keywords: ICSE 2009, So-called Real-time Statecharts, Software Engineering, Step Synthesis Process, Well-defined Component Architecture