Fujaba Real-Time Tool Suite

The Fujaba Real-Time Tool Suite supports modeling and verification of software in mechatronic or embedded systems. It also addresses the specification of advanced systems which reconfigure part of their structure and behavior at runtime. The Fujaba Real-Time Tool Suite requires a rigorous development process concerning the use of the diferent (partially refined) UML diagrams. All diagrams have a formally and well-defined semantics which allow to check models for given safety properties. Further, the tool suite provides a tight integration with software tools used by control engineers like CaMEL-View and Matlab to enable the simulation of production code of a complete system. In 2008, this tool suite received an IBM Real-Time Innovation Award. The key features of the Fujaba Real-Time Tool Suite models are

• Specification of embedded hard real-time systems with
  • component diagrams (cf. UML 2.0),
  • Real-time coordination patterns,
  • Real-Time Statecharts,
  • Hybrid Reconfiguration Charts (to integrate controllers),
• Compositional real-time modelchecking,
• Hazard analysis and fault tolerance patterns,
• Code Generation for the Real-Time Java target platform and C++.

This work was developed in the B1 project of the course of the Special Research Initiative 614 - Self-optimizing Concepts and Structures in Mechanical Engineering - University of Paderborn, funded by the Deutsche Forschungsgemeinschaft.

Overview

The Fujaba Real-Time Tool Suite consists of (see overview figure): EmbeddedStoryDiagramExtension FujabaTM FuzzyRTSCGenerator HybridComponents4Eclipse HybridModelChecking HybridModelChecking4Eclipse HybridModeling MessageType MessageType4Eclipse ModelBasedTesting ModelBasedTesting4Eclipse ProbFuzzyRTSC RTCompTemplate RTSCVisualization RavenPlugin RealtimeStatechart RealtimeStatechartRealtimeJavaCodeGenerator RealtimeStatecharts4Eclipse Robo UMLModelChecking UMLModelChecking4Eclipse UMLRT UMLRT2 UMLRT2CppCodeGenerator UMLRT2ForEclipse UMLRT2RealtimeJavaCodeGenerator UMLRTProfile UMLRTRealtimeJavaCodeGenerator UppaalPlugin UppaalPlugin4Eclipse

Overview Fujaba Real-Time Tool Suite

---

Specific tools

• Component Diagrams and Real-Time Coordination Patterns (ICSE 05 Tool Demonstration)
• Hybrid Reconfigurations Charts (ICSE 07 Tool Demonstration)
• Hazard Analysis (ICSE 08 Tool Demonstration)
• Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (ICSE 09 Tool Demonstration)

Documentation and Publications

The Fujaba Real-Time Statechart PlugIn Documentation how to use (a beta version) of the Real-Time Statechart PlugIn and some notes about the implementation.
Real-Time Statechart Implementation Notes Some notes about the code, generated by the Real-Time Statechart Real-Time Java Code Generator.

Overview of Journal articles and conference papers related to the real-time project of Fujaba

Developers and Programmers

For questions regarding the use and development of Fujaba RT please contact fujabart[at]lists.uni-paderborn.de