Testing Safety Critical Control Systems
Note de l’éditeur : 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
Citation pour cette source
Yogananda Jeppu (2024). Testing Safety Critical Control Systems (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. Récupéré le .
Compatibilité avec les versions de MATLAB
Plateformes compatibles
Windows macOS LinuxCatégories
- Code Generation > DO Qualification Kit (for DO-178) >
- Aerospace > DO Qualification Kit (for DO-178) >
- Verification, Validation, and Test > Simulink Design Verifier >
- Industries > Automotive >
- Industries > Aerospace and Defense > Quadcopters and Drones >
- Robotics and Autonomous Systems > Automated Driving Toolbox >
- Automotive > Automated Driving Toolbox >
- Verification, Validation, and Test > Simulink Check > Check Model Compliance >
Tags
Remerciements
A inspiré : Exploring Design Verifier, Safety Critical Control Elements Examples
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
Les versions qui utilisent la branche GitHub par défaut ne peuvent pas être téléchargées
Version | Publié le | Notes de version | |
---|---|---|---|
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.
|
|
|
1.5.0.0 | 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 |