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.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 (2025). 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 리포지토리로 가십시오.