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.

[1]  David Harel,et al.  Playing with time: on the specification and execution of time-enriched LSCs , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[2]  Joseph Sifakis,et al.  Component-Based Construction of Deadlock-Free Systems: Extended Abstract , 2003, FSTTCS.

[3]  Y. Bontemps,et al.  As fast as sound lightweight formal scenario synthesis and verification , 2004, ICSE 2004.

[4]  Jean G. Vaucher,et al.  From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[5]  Holger Giese,et al.  Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models , 2003, Scenarios: Models, Transformations and Tools.

[6]  Guy Lapalme,et al.  Implicit integration of scenarios into a reduced timed automaton , 2003, Inf. Softw. Technol..

[7]  Holger Giese,et al.  Nobody's perfect: interactive synthesis from parametrized real-time scenarios , 2006, SCESM '06.

[8]  Bernd Westphal,et al.  Check It Out: On the Efficient Formal Verification of Live Sequence Charts , 2006, CAV.

[9]  Sebastián Uchitel,et al.  Scenarios and state machines: models, algorithms, and tools , 2002, ICSE '02.

[10]  Michal Walicki,et al.  Algebraic approaches to nondeterminism—an overview , 1997, CSUR.

[11]  Holger Giese,et al.  Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.

[12]  Rance Cleaveland,et al.  Triggered message sequence charts , 2002, SIGSOFT '02/FSE-10.

[13]  M. Hirsch,et al.  The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[14]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[15]  Ganesh Gopalakrishnan,et al.  Live sequence charts applied to hardware requirements specification and verification , 2005, International Journal on Software Tools for Technology Transfer.

[16]  Holger Giese,et al.  The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems , 2005, ICSE.

[17]  WalickiMichał,et al.  Algebraic approaches to nondeterminisman overview , 1997 .

[18]  Wilhelm Schäfer,et al.  The Challenges of Building Advanced Mechatronic Systems , 2007, Future of Software Engineering (FOSE '07).

[19]  Holger Giese,et al.  Modular design and verification of component-based mechatronic systems with online-reconfiguration , 2004, SIGSOFT '04/FSE-12.

[20]  Stefan Henkler,et al.  Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View , 2007, 29th International Conference on Software Engineering (ICSE'07).