This coordination is further reflected locally by complex reconfiguration in form of mode management and control algorithms. We present the employed concepts to support the design of services including full code generation , to compose applications out of services at design time, and to deploy services at run-time. We are involved in the development of the Fujaba Real Time Tool Suite for our research for the model-driven development of embedded realtime systems and a Triple-Graph-Grammar based algorithm s for incremental model transformation and synchronization. The dependable operation of the infrastructure services of the architecture further enables to systematically control and configure some dependability attributes of application services. However, most approaches do not fully support the requirements for model synchronization today and focus only on classical one-way batch-oriented transformations. Secondly, a new partitioning algorithm is outlined, which calculates an appropriate mapping onto a platform specific model by means of real-time threads with their scheduling parameters which can be straight forward transformed to code for the hard real-time system. Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and present our approach to achieve an incremental model transformation for synchronization purposes.

Uploader: Vogis
Date Added: 10 December 2007
File Size: 39.86 Mb
Operating Systems: Windows NT/2000/XP/2003/2003/7/8/10 MacOS 10/X
Downloads: 8803
Price: Free* [*Free Regsitration Required]

Holger Giese Kerstin Miers Dr.

Thereby, the successful visual modeling concepts of control engineering should be preserved, as otherwise wide acceptance in fujaba tool suite, which is mainly dominated by control engineers, is very unlikely. For validation in form of simulation, however, usually a complete specification usite both, the production control software and the physical elements of the manufacturing plant is required.

The proposed mechanisms are widely fujaba tool suite within the Fujaba Tool Suite. The models which are used in design must enable to specify real-time behavior on basis of a semantics that allows an automatic synthesis of code which respects the specified real-time requirements. However, most approaches do not fully support the requirements for model synchronization today and focus only on classical one-way batch-oriented transformations.

As software provides the most flexible element in this concert of techniques, the integration of these different views often happens in the software. Our approach overcomes those UML specific limitations by firstly proposing a wuite extension and semantic definition of UML State Machines which provides enough details to synthesize an appropriate platform specific model that can be mapped to code for hard real-time systems automatically.


We therefore propose hybrid components and a related hybrid Statechart extension for the Unified Modeling Language UMLit is to support the design of self-optimizing mechatronic systems by allowing specification of the necessary flexible reconfiguration of the system as well as of its hybrid subsystems in a modular manner.

Predictability is of paramount importance for these fujaba tool suite. In addition, techniques for graceful degradation are required to handle situations when a system experiences too many faults to compensate them while still providing a reduced albeit sufficient functionality.

Visual Integration of UML 2. The approach enables compatibility checks between components that are often independently developed across the different disciplines and fkjaba compositional model checking based on a rigorously defined semantics. Giese, Holger; Tissen, Sergej The correctness of these patterns can be verified individually because they have only simple communication behavior and have only a fixed number of participating roles.

The editor provides useful features like model validation for Fujaba tool suite Diagrams, and advanced editing features like syntax highlighting and code completion for OCL expressions. Additionally, we present our approach for worst case execution times estimation to predict software behavior in the time domain. In this report we therefore review the state of the art of two related lines of research, namely extensions for expressiveness such as Statecharts as proposed in the field of software engineering to support the description of complex behavior and extensions to specify the explicit temporal fujaba tool suite for state-based behavior such as Timed Automata.

To enable reconfiguration, which can also be employed in complex hierarchical designs for mechatronic systems, support for the modeling and realization of modular reconfiguration is required.

We present in this paper a graphical language employing graph tooo as a formal foundation.

A formal calculus including a notion of discrete-time automata, a deadlock preserving refinement notion, and a class of supported compositional constraints is developed.

Ideally, starting with the platform independent model, the platform specific model serves only as an intermediate artifact which is derived automatically, and will finally result in a set fujaba tool suite threads whose implementations guarantee the behavior, specified in the platform independent model. Predictable real-time behavior w.


Fujaba – Mathematical software – swMATH

We show how the combination of both concepts permits the compositional validation of the system and thus toil early design validation even for flexible systems. In this paper we will present our approach which fulfills all these requirements fumaba an example taken from fujaba tool suite RailCab research project. The dependable operation of the infrastructure services of the architecture further enables to systematically control and configure some dependability attributes of application services.

In the meantime, the interpreter evolved. We then describe how the identified architectural principles have been used in a realized service-based architecture which sujte Jini. If in contrast resource-aware agents, which are able to allocate and free resources in a controllable safe manner, instead of thumb processes are present, then a resource manager will coordinate their safe dynamic resource allocation at fujaba tool suite time.

Download & Installation

While these tool-integration platforms usually provide GUI adaption mechanisms and functional adaption via application programming interfaces, they frequently do not provide appropriate means for data integration at the meta-model level. We report about the underlying concepts and the application of the plugin by means of an example. At the fujaba tool suite days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules.

However, as outlined in this paper the current integration platforms fall short to address the underlying problems of overlapping data models and their consistency when fujaba tool suite comes to a tool integration. In this report the foundations for the compositional pattern-based design of correct high level designs and architectures for real-time systems are presented.

However, the CASE tool support for service-based architectures and especially later process phases addressed with component and deployment diagrams is rather limited.