I am developing applications that will undergo IEC 61508 certification. I would like more information on required tools and a demo showing the recommended workflow.
MathWorks offers tool support and detailed information about compliance with IEC 61508. You can find information regarding MathWorks support for IEC 61508 at the following link:
An example of applying checks for the IEC 61508 modeling standard can be found under Resolution Documents, listed below. The example demonstrates how to check for IEC 61508-3 recommendations at the model level when applying Model-Based Design to your model. It also shows how to generate an HTML report summarizing the results of the checks.
For R2009a+, MathWorks introduced IEC Certification Kit (for IEC 61508) product. Please visit the product page shown below or obtain a trial for details on MathWorks support of this standard.
For additional information on IEC 61508 and other standards, see the Related Solutions listed below.