SDT-Toolbox: Functional Safety at Model Level

The Strong Data Typing Toolbox (SDT-Toolbox) is a new functional extension to the Model Examiner. It checks Simulink and TargetLink models for functional safety in accordance with common safety standards such as IEC 61508, ISO 26262, and DO-178B, thereby helping developers and quality managers identify potential functional safety issues early on.

The SDT-Toolbox identifies potential sources of error in the model, which can occur due to inadmissible type conversions or range violations in arithmetic operations, uninitialized variables or inappropriate use of signals at module interfaces.

 

 Key Benefits

• Properties relevant to functional safety can already be checked at model level.
• Profit from tried and tested modeling guidelines developed in many years' practice, which you will not find in other guideline collections.
• Model checks have been specially designed for the TargetLink code generator, but can also be used for pure Simulink models.
• Incredible time savings thanks to automated checking of safety properties.

Key Features

• Compatible with all Model Examiner versions since 1.4.
• Checks type compatibility and identical value ranges at the interface of TargetLink functions.
• Analyzes identical data types and value ranges in arithmetic operations.
• Ensures correct use of signals used to manage control flows.
• Ensures correct merging of signals.
• Analyzes initialization of conditonally executable subystems.
• Guarantees appropriate signal propagation.

SDT-Toolbox - Pricing

We employ a tiered pricing model and offer reduced rates for multi-user licenses, group licenses, site licenses, and company licenses. 

Please contact us for an official quotation.

 

Trial Version

We are happy to issue you with a fully-functional license enabling you to test the Model Examiner with the SDT-Toolbox for a period of 4 weeks.

Please send a short email to support (at) model-engineers.com, requesting an evaluation version