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
|
resources