Testing Safety Critical Control Systems

Version 1.7.0.0 (22,7 MB) von Yogananda Jeppu
This is a presentation on testing of safety critical control systems.
5.0
(4)
2,1K Downloads
Aktualisiert 12. Aug 2017
Lizenz auf GitHub anzeigen

Anmerkung des Herausgebers: 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

Zitieren als

Yogananda Jeppu (2024). Testing Safety Critical Control Systems (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. Abgerufen .

Kompatibilität der MATLAB-Version
Erstellt mit R2011b
Kompatibel mit allen Versionen
Plattform-Kompatibilität
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versionen, die den GitHub-Standardzweig verwenden, können nicht heruntergeladen werden

Version Veröffentlicht Versionshinweise
1.7.0.0

I have added a few more examples.
1.6.0.0

The file has been moved to the GitHub as it has a Creative Commons copyright and cannot be hosted on MathWorks website.
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 changed the file name to 1_6
1.5.0.0

I have added a new section on Formal Methods in Flight Controls.
I have added a new section on Formal Methods in Flight Controls.
1.4.0.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.0

I have added a few more slides on a dormant error and tools of trade.
1.2.0.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.0

Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.