Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View

A classification and comparison of model checking software architecture techniques

“…6 We omit from this work other formal analysis and checking capabilities of the tool which do not fall into model checking such as, for example, invariant checking of dynamic structures (Becker et al, 2006), hybrid behavior (Burmester et al, 2007), and automatic refinement synthesis of component behavior (Henkler et al, 2009). 7 This terminology has been taken from Medvidovic and Taylor (2000).…”

“…In AutoFOCUS, static and dynamic aspects of the system are modeled and an integrated tool for modeling, simulation, and validation is provided. Fujaba (Burmester et al, 2005;Becker et al, 2006;Burmester et al, 2007) is an approach tool supported for real-time model checking of component-based systems modeled through UML component diagrams and real-time statecharts. Part of Fujaba is the Fujaba Real-Time Tool Suite which is specifically tailored for the architectural modeling of distributed, embedded real-time and mechatronic systems with the Mechatronic UML approach.…”

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

“…In [3] we have shown the specification and simulation of reconfigurations. Based on this idea, we want to extend our synthesis approach to hybrid systems where the reconfigurations of controllers need to synchronized with respect to the communication behavior between the system components.…”

“…While our tool demonstration at ICSE 07 [3] presented the latter part and especially illustrated real-time simulation of components in a 3D environment, this paper and the corresponding tool is about specifying the coordination patterns and the individual component communication behavior. The precise definition of the coordination patterns is synthesized from a scenario-based specification.…”

Engineering self-coordinating software intensive systems

“…The latter part becomes particularly complicated, because current usable techniques usually assume a finite state space and if not, approaches usually do not scale [19]. Furthermore, control theory and its current sophisticated simulation environments have to be included and extended to get an understanding of a system's behaviour, even if the inherent complexity of such systems mean that a full understanding can never be achieved before the system goes into operation [4]. Current simulation techniques are not sufficient, because they basically assume total knowledge of the system environment and the system behaviour itself, i.e.…”