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.
5.0
(4)
2.1K 次下载
更新时间 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 (2024). Testing Safety Critical Control Systems (https://github.com/yvjeppu/Safety_Critical_Control), GitHub. 检索来源 .

MATLAB 版本兼容性
创建方式 R2011b
兼容任何版本
平台兼容性
Windows macOS Linux

Community Treasure Hunt

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

Start Hunting!

无法下载基于 GitHub 默认分支的版本

版本 已发布 发行说明
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

要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。