Testing Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
現在この提出コンテンツをフォロー中です。
- フォローしているコンテンツ フィードに更新が表示されます。
- コミュニケーション基本設定に応じて電子メールを受け取ることができます
編集メモ: 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
引用
Yogananda Jeppu (2026). Testing Safety Critical Control Systems (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. に取得済み.
謝辞
ヒントを与えたファイル: Exploring Design Verifier, Safety Critical Control Elements Examples
一般的な情報
- バージョン 1.7.0.0 (22.7 MB)
-
GitHub でライセンスを表示
MATLAB リリースの互換性
- すべてのリリースと互換性あり
プラットフォームの互換性
- Windows
- macOS
- Linux
GitHub の既定のブランチを使用するバージョンはダウンロードできません
| バージョン | 公開済み | リリース ノート | Action |
|---|---|---|---|
| 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 |
