Automated model-checking support for safety-critical systems

NATICK, USA: The MathWorks announced that its Simulink Verification and Validation software automatically evaluates and verifies system models for compliance with DO-178B and IEC-61508 standards and MAAB modeling guidelines, which have been extensively adopted by international aerospace, automotive, and industrial equipment markets, among others.

The new model-checking features for these important safety-critical standards extend the existing support available within Simulink Verification and Validation for customer-developed modeling guidelines.

As embedded system designs grow more complex, with models expanding to tens of thousands of blocks, engineering organizations have used modeling guidelines as a best practice to improve readability, increase maintainability, and encourage reuse, while guarding against modeling errors.

Typically, modeling guidelines are verified through visual inspection of models and related documentation during design reviews. However, an increasing number of organizations have reduced or eliminated such time-consuming and error-prone manual verification efforts by using Simulink Verification and Validation to capture their internal guidelines and automatically check their models.

Simulink Verification and Validation includes modeling-standards checks for DO-178B, IEC-61508, and MAAB modeling standards that are applied by the Model Advisor feature in Simulink. The Model Advisor also checks for other attributes, such as model consistency and code-generation compatibility.

In addition, engineers can use the customization application programming interface (API) in Simulink Verification and Validation to develop their own modeling checks, using familiar MATLAB scripts, and register them with Model Advisor for automatic execution.