HRT-UML is the property of INTECS GROUP. Ellidiss Software are distributors for both HRT-UML and the MICROSEK OPERATING SYSTEM.

HRT-UML - Key Features

The Hard Real-Time Unified Modeling Language (HRT-UML) method, and the support toolset, aims to provide a comprehensive solution to the modeling of hard real-time and dependable systems, and their early verification, according to rigorous techniques based on formal theories.

HRT-UML defines a customized version of  UML to express the HRT-HOOD method, making the most of both standards and also capturing and compensating for the respective weaknesses.

• HRT-UML allows the user:
• to design the system taking into account functional and timing requirements
• to analyse the system schedulability
• to carry out formal verification
• to make quantitative evaluation of RAMS properties
• to generate a consistent mapping into the implementation