프로젝트 소개
본 과제는 자동차, 의료 기기 등 안전이 중요한 소프트웨어(SW) 시스템 개발 시, 발생 가능한 위험을 미리 찾아내고 안전 작동을 확인하는 전문 도구 기술을 개발하는 연구임. 소프트웨어의 잠재적 위험 요소를 체계적으로 분석하고 검증하는 과정을 자동화하여, 더욱 신뢰할 수 있는 SW 개발에 기여함.
연구 목표는 국제 표준에 부합하는 고안전 SW 안전 분석 및 검증 자동화 도구 기술 개발에 있음. 이는 기능안전 및 시스템 이론 기반 SW 안전 방법론을 지원하고 통합하는 도구의 실증을 포함함. 핵심 연구 내용은 FMEA, FTA, STPA 등 SW 안전 분석 기술 개발과 모델 기반 SW 개발 통합 안전 분석 자동화 기술 개발임. 또한, SW 안전 분석 결과 기반 안전 검증용 테스트케이스 생성 및 국제 표준 기반 결함 주기 시험 자동화 기술 개발을 포함함. 기대 효과는 모델 기반 안전 분석 자동화 및 SW 안전 분석 재사용 기술 확보임. 기능 안전/시스템 이론이 융합된 SW 안전 분석 및 검증 자동화 도구 확보를 통해 고안전 SW 개발 역량 강화 및 국제 경쟁력 향상에 기여할 것으로 전망됨.