Mountain Violet Rhapsody

IBM Rational Rhapsody IBM Rational Rhapsody Reference Workflow Guide

The Rhapsody Semantics of Statecharts

We describe the semantics of statecharts as implemented in the current version of the Rhapsody tool. In its original 1996 version this was among the first executable semantics for object-oriented statecharts, and many of its fundamentals have been adopted in the Unified Modeling Language (UML). Due to the special challenges of object-oriented behavior, the semantics of statecharts in Rhapsody d...

The assessment of interlocking control algorithm developed by Rhapsody

Train signal system is responsible for safety of train operation by controlling train safety distance and train route. In Europe, new safety standards are firmly defined for verifying and validating safety of this system (EN50126, EN50128). These standards require certification about organization, process, tools which are necessary for system development. In case of developing main algorithms o...

Uml for Embedded Software Development : an Evaluation of Rhapsody

The Unified Modeling Language (UML) has developed into a de facto standard for objectoriented software modeling. Its popularity is also growing for real-time and embedded systems, although the modeling of important aspects of this field has not yet been standardized. In this master’s thesis, an evaluation of the UML-based software development tool Rhapsody was performed for the Hitachi H8S/2238...

Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts

Model Driven Engineering (MDE) is an iterative and incremental software development process. Supporting the analysis and the verification of software systems developed following the MDE paradigm requires to adopt incrementality when carrying out these crucial tasks in a more optimized way. Communicating State Machines are one of the various formalisms used in MDE tools to model and describe the...