Either using Tau Generation 2, Rhapsody, Rose RT, Artisan RTS, Poseidon or the tool of your choice.
Protocols modelling or real-time systems modelling.
UML models assessment or restructuring
UML model improvement, upgrading or evolution.
UML models simulation - verification
To detect and correct defects in an UML model: review, static verification,
simulation, automatic generation of sequence diagrams and test scenarios.
C, C++ or Java code generation from an UML model
Production of code from an UML model using a code generator.
Tuning a code generator for a new host or target executive.
Transcription of code into UML
Transcription into an UML model of a software written in assembler, C,
Fortran, Ada, etc. (reverse engineering).