SW 안전성 향상을 위한 61508 자동검증 도구

초록

국제규격(IEC 61508)에 따라 열차제어시스템 소프트웨어 테스팅을 위한 ?Α蜀疫? 및 도구를 개발하였으며, 그 결과를 제시하였다.

제목
SW 안전성 향상을 위한 61508 자동검증 도구
저자
윤광식; 배현섭; 황종규
발행일
2009-05-29
학회명
2009 한국신뢰성학회 학술대회