Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > EDA/IP

The MathWorks pitches automated model-checking support

Posted: 01 May 2008 ?? ?Print Version ?Bookmark and Share

Keywords:Simulink? model checking automated? software verification validation?

The MathWorks has 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.

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, says The MathWorks.

Article Comments - The MathWorks pitches automated mode...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top