Skip to search formSkip to main contentSkip to account menu

Rational Rhapsody

Known as: Telelogic Rhapsody, Rhapsody in C++, Rhapsody 
Rational Rhapsody, a modeling environment based on UML, is a visual development environment for systems engineers and software developers creating… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
AUTOSARAdaC++Department of Defense Architecture Framework

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems
Embedded software engineering very often involves development of complex, mission critical software; wherein it is imperative… 
2016
2016
A systems engineering approach for a dynamic co-simulation of a SysML tool and Matlab
Industry is in a debate about the potential of the Systems Modeling Language (SysML). One part sees the advantage in development… 
2015
2015
A mechanism for data interchange between embedded software sub-systems developed using heterogenous modeling domains
In the domain of embedded systems, the complexities involved in embedded software development are being successfully addressed by… 
2015
2015
Incremental symbolic execution of evolving state machines
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that… 
2014
2014
Model-based development of an automatic train operation component for communication based train control
In recent years, there has been a significant development in the world of conventional and/or urban railway systems. The… 
2013
2013
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
In this paper, we formally define Test Case Sequence Diagrams (TCSD) as an easy-to-use means to specify test cases for components… 
Review
2013
Review
2013
Analysis of Real-Time Systems Scheduling Using MARTE
The “Schedulability Analysis Modelling” (SAM) package of UML 2.0 profile MARTE for Modelling and Analysis of Real-Time Embedded… 
2013
2013
Bridging the Gaps in a Model-Based System Engineering Workflow by Encompassing Hardware-in-the-Loop Simulation
This paper discusses how gaps in a model-based system engineering (MBSE) workflow can be bridged through the use of special model… 
Review
2010
Review
2010
Model-based generation of test cases for reactive systems
Testing is one of the most popular methods to ensure the quality of software. However the increasing complexity of software makes… 
Highly Cited
2004
Highly Cited
2004
The Rhapsody UML Verification Environment
Object-oriented modeling plays an increasing role in the design of embedded controllers. Formal verification can be applied in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)