Product category:
Design and Development Software
News Release from: The MathWorks | Subject: Simulink Verification and Validation software
Edited by the Electronicstalk Editorial
Team on 15 April 2008
Software confirms DO-178B and IEC-61508
compliance
A number of organisations have reduced or eliminated manual verification processes by using Simulink Verification and Validation to capture internal guidelines and automatically check models.
The MathWorks' 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 safety-critical standards extend the support available within Simulink Verification and Validation for customer-developed modelling guidelines
This article was originally published on Electronicstalk on 22 Feb 2002 at 8.00am (UK)
Related stories
Kit enables visualisation of DSP applications
A new DSP developers kit kit enables systems and software engineers to develop and verify DSP algorithms in one integrated environment, and therefore produce designs more efficiently.
Toolbox marries acquisition hardware and software
Users of Keithley Instruments' data acquisition boards can now communicate with their devices directly from Matlab via an interface provided with the Matlab Data Acquisition Toolbox.
As embedded system designs grow more complex, with models expanding to tens of thousands of blocks, engineering organisations have used modeling guidelines as a best practice to improve readability, increase maintainability and encourage re-use, while guarding against modelling errors.
Typically, modelling guidelines are verified through visual inspection of models and related documentation during design reviews.
However, an increasing number of organisations have reduced or eliminated such time-consuming and error-prone manual verification processes by using Simulink Verification and Validation to capture their internal guidelines and automatically check their models.
Further reading
Embedded target aids automatic code generation
The MathWorks has developed the Embedded Target for Motorola MPC555, an innovative tool for design engineers using Matlab and Simulink.
Software spreads to Mac platform
Matlab will be available on Mac OS X, Apple's advanced Unix-based operating system, with the next release of The MathWorks product line.
Simulink Verification and Validation includes modelling-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 customisation application programming interface (API) in Simulink Verification and Validation to develop their own modelling checks, using familiar Matlab scripts and register them with Model Advisor for automatic execution.
"In working with aerospace, automotive, industrial equipment and others who build safety-critical systems, The MathWorks recognised that modelling-standards compliance is crucial to the overall development process", said Jon Friedman, Aerospace, Defence and Automotive Marketing Manager at The MathWorks.
"Many users already employ Simulink Verification and Validation to check their designs against their own modelling guidelines as a core part of their development process".
"Now, engineers can use the same tools to ensure that their models meet the DO-178B, IEC-61508 and MAAB standards for data types, diagnostics, code generation and safety, without having to spend critical staff hours on repetitive manual review work".
• The MathWorks: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
