safety critical
- 결함 트리 분석(Fault Tree Analysis) 사례 2020.11.12 2
- 페이퍼요약 – 자동차 시스템의 피처 지향 요구사항 확인 by Zhou 2019.05.13
- 1996년 숫자 전환 버그로 인한 Ariane 5 로켓 폭발 사고 2018.12.14
- 페이퍼요약 - 고안전 실시간 시스템을 위한 결함 가설 by Kopetz 2018.06.01
- 문서요약 - MISRA 개요 by Burden 2018.05.21
- 영상자료 - 분산 알고리즘 검증을 위한 소프트웨어 모델 체킹 by Chaki 2018.05.09
- 문서요약 - 고위험 및 고임무 우주항공 소프트웨어의 인증 프로세스 by Nelson 2018.01.29
- 페이퍼요약 - 실시간 제약이 있는 고안전 철도 인터로킹 시스템의 검증 by Hartonas-Garmhausen 2018.01.22
- 페이퍼요약 - DO-178B의 안전성 및 신뢰성 고려사항 by Zemskyy 2018.01.19
- 페이퍼요약 - MUNI의 기차 통제 시스템 안전성 인증 by Rosen 2018.01.17