Testing Safety Critical Control Systems

バージョン 1.7.0.0 (22.7 MB) 作成者: Yogananda Jeppu

This is a presentation on testing of safety critical control systems.

ダウンロード: 2.2K

更新 2017/8/12

GitHub でライセンスを表示

編集メモ: 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. 取得日: 2026/1/22.

作成: R2011b

すべてのリリースと互換性あり

Windows macOS Linux

Help Center および MATLAB Answers で DO Qualification Kit (for DO-178) についてさらに検索

ヒントを与えたファイル: Exploring Design Verifier, Safety Critical Control Elements Examples

GitHub の既定のブランチを使用するバージョンはダウンロードできません

バージョン	公開済み	リリースノート
1.7.0.0	2017/8/12	I have added a few more examples.
1.6.0.0	2017/2/16	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	2015/7/1	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	2014/9/8	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	2014/4/1	I have added a few more slides on a dormant error and tools of trade.	ダウンロード
1.2.0.0	2013/8/2	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	2012/11/14		ダウンロード

この GitHub アドオンでの問題を表示または報告するには、GitHub リポジトリにアクセスしてください。