Business libraries are defined with the class diagram and organized in packages. Traditional UML classes are preferably used to define static objects and SDL classes are preferably used to define dynamic objects such as processes or functional blocks.

Code generator generates C++ stubs out of passive classes.

The overall SDL-RT system can be distributed on several nodes, components, and executables. Distribution is specified with the UML deployment diagram and code generation will automatically generate the necessary information to handle communication between nodes, components, and executables.

A use case diagram shows the relationship among actors and use cases within a system.

Since C and C++ languages are embedded in SDL-RT, parts of the design can be fully written in C. A text editor is integrated in the tool with all the classical features a C developer can expect. The same editor can be used to set breakpoints, step, or define watch variables when debugging the system.

An internal data dictionnary handles information in the SDL-RT system in a consistent way. It provides three major features:

• Syntactic and semantic check of the SDL-RT model
  The checker verifies your system is conform to SDL-RT. Once it is, C code can be generated out of it. Verification is done at two levels:
  • Syntactic
    Checks the syntax in the SDL-RT symbols is correct.
  • Semantic
    Checks consistency between the different views. For example it will check an input message in a task has been declared in a channel connected to the task.

• Information wizard updated on the fly
  While editing your SDL-RT system an information wizard provides a list of all possible elements to use in the current context. For example when editing an input symbol, pressing F8 key will display a list of all messages defined in the architecture of the system:

• Navigation facilities
  A double click on an element will open the element definition. For example double clicking on a task creation symbol will open the task definition in the editor.

SDL-RT editor is an easy to use, intuitive interface to design SDL-RT systems. It includes all can be expected of such an editor such as : copy/paste, unlimited undo/redo, automatic symbol insertion, syntactic and semantic verification, and on-the-fly SDL-RT syntax explanations. The diagrams include a page setup to guarantee the final diagram will be printable. Diagrams can also be saved as PNG or JPEG files.

MSC / Sequence diagram editor

SDL-RT MSC representation provides a detailed description of the dynamic behavior of the system. Each task of the RTOS is seen as a line on the diagram where time flows from top to bottom. As with SDL-RT, key events in the system have a graphical representation such as :

• Internal states modification,
• Inputs and outputs,
• Timers manipulation,
• Semaphores manipulations (take and give),
• Task creation.

An MSC diagram can be used to specify a behaviour or to trace the system when executing.

---

MSC Diff

The MSC Diff fonctionnality checks the differences between two MSCs. It is therefore possible to check:

• an SDL-RT system is conform to an MSC specification
• a new version of the SDL-RT system still behaves as the older version (non regression testing)

The diff feature can be configured to filter out some elements of the MSC. The resulting MSC will display common information in black, and differences in blue or red depending from which MSC the symbol came from.

---

HMSC editor

High level Message Sequence Chart editor allows to organize MSC diagrams and define how they relate to one another: MSCs can be executed in parallel or in sequence.