Fujaba4eclipse real-time tool suite

Authors:
Claudia Priesterjahn;Matthias Tichy;Stefan Henkler;Martin Hirsch;Wilhelm Schäfer
Affiliations:
Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany;Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany;Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany;Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany;Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany
Venue:
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Year:
2007

Citing 11
Cited 4

Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Towards the compositional verification of real-time UML designs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular design and verification of component-based mechatronic systems with online-reconfiguration

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems

Proceedings of the 27th international conference on Software engineering
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Symbolic invariant verification for systems with dynamic structural adaptation

Proceedings of the 28th international conference on Software engineering
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Modeling collaborations with dynamic structural adaptation in mechatronic UML

Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse

Companion of the 30th international conference on Software engineering
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML

Architecting Dependable Systems V
Component-Based hazard analysis: optimal designs, product lines, and online-reconfiguration

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security

Engineering self-coordinating software intensive systems

Proceedings of the FSE/SDP workshop on Future of software engineering research
Model-driven development with Mechatronic UML

Graph transformations and model-driven engineering
Reusing dynamic communication protocols in self-adaptive embedded component architectures

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Modeling and verifying dynamic communication structures based on graph transformations

Computer Science - Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 different (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.