HRT-UML - Summary

Tool Capabilities

Specialized graphical editing of the topological structure of the system and transparent object structural decomposition.

Schedulability: support for timing simulation and worst case time schedulability analysis.

Formal Verification of system correctness properties by model checking, automatically handled by integration with the Spin model checking tool.

Dependability Quantitative Analysis for the assessment of system reliability, availability and safety attributes.

Code generation of consistent Ada 95 code, compliance with the Ravenscar Profile, and C code for standard OSEK/VDX RTOSs.

Control design: import of Simulink functional control design, software/hardware architecture design, and validation through analysis and co-simulation.

XMI/UML compliance: projects saving and external tool integration are based on the standard UML exchange text format.