File Exchange

image thumbnail

Testing Safety Critical Control Systems

version (16.7 MB) by Yogananda Jeppu
This is a presentation on testing of safety critical control systems.


Updated 12 Aug 2017

GitHub view license on GitHub

Editor's Note: This file was selected as MATLAB Central Pick of the Week

This has a presentation on testing Safety Critical Control Systems and a brief introduction to Formal Methods

Cite As

Yogananda Jeppu (2020). Testing Safety Critical Control Systems (, GitHub. Retrieved .

Comments and Ratings (4)

Very useful material. Can you explain further the Verification of the First Order Filter with SLDV Property Proving?

Thank you very much for the availability of this excellent material. It will help us in developing a course devoted to critical aeronautical systems that is included in a master degree in computer science . More precisely, the material will be used as an introductory basis prior to presenting the application of DO-178C / DO-331 methodology according to the set of tools given by Mathworks (Simulink Design Verifier, etc.).

An excellent compilation!

You have shown the lack of focus on cost effective testing. That being the unit testing of algorithms should beat up the algorithms (assume all data values +-infinity to verify goodness. It is too expensive to find these faults in system testing. This presentation did a great service in presenting the objectives by phase and revealing a very weak design and development phase and really most of the objectives focused on verification (by test). You don't build a bridge then test it.. Its too late in the cycle. We need a far more rigorous in-development simulation and test program.. Kudos to developers that find their own weakness. Let's make sure the bridge is not just good but robust before building it.


I have added a few more examples.

The file has been moved to the GitHub as it has a Creative Commons copyright and cannot be hosted on MathWorks website.

I have changed the file name to 1_6

I have added two new errors found during testing and easily caught using formal methods. I have a few slides on DO 333 and modeling guidelines.

I have added a new section on Formal Methods in Flight Controls.

I have added a new section on Formal Methods in Flight Controls.

I have added a new error that we found (invented?) recently. This is in a washout filter. I have added some slides on the functional requirements coverage metrics. I have cleaned up the presentation and provided a new look.

I have added a few more slides on a dormant error and tools of trade.

I have corrected the slides based on comments received. I have included a new error that was detected. The reference section is updated. I have added a few slides on other safety standards.

MATLAB Release Compatibility
Created with R2011b
Compatible with any release
Platform Compatibility
Windows macOS Linux