개발 표준
- 영상자료 - DO-178C/ED-12C 개요 by Dewi Daniels 2018.07.30
- 페이퍼요약 - 실시간 시스템의 설계: 명세부터 구현과 검증까지 by Kopetz 2018.05.30
- 페이퍼요약 - ARINC 653 기반 실시간 소프트웨어 엔지니어링 by Samolej 2018.01.31
- 문서요약 - 고위험 및 고임무 우주항공 소프트웨어의 인증 프로세스 by Nelson 2018.01.29
- 브로셔요약 - DO-178B에 따른 항공 소프트웨어 테스팅 by LDRA 2018.01.24
- 페이퍼요약 - DO-178B의 안전성 및 신뢰성 고려사항 by Zemskyy 2018.01.19
- 페이퍼요약 - 감항성을 위한 항공 소프트웨어 검증 프레임워크 by Wu 2018.01.10
- 문서요약 - IEC-62304 의료 기기 소프트웨어 개발 및 유지보수 표준 2017.12.14
- 문서요약 - 자동차 SPICE의 프로세스 참조 모델 by Automotive SIG 2017.11.27
- 페이퍼요약 - 임베디드 항공 시스템의 소프트웨어 테스팅 by ISPRAS 2017.11.15