kirancodes.me
To Proof Maintenance & Beyond!

4,951 papers · page 129 of 248

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

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler + 2 more

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 parti…