Testing Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
Editor's Note: This file was selected as MATLAB Central Pick of the Week
Cite As
Yogananda Jeppu (2026). Testing Safety Critical Control Systems (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. Retrieved .
Acknowledgements
Inspired: Exploring Design Verifier, Safety Critical Control Elements Examples
General Information
- Version 1.7.0 (23.6 MB)
-
View License on GitHub
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.7.0 | I have added a few more examples. |
||
| 1.5.0 | I have added a new section on Formal Methods in Flight Controls. |
||
| 1.4.0 | 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. |
||
| 1.3.0 | I have added a few more slides on a dormant error and tools of trade. |
||
| 1.2.0 | 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. |
||
| 1.0.0 |
