SSARC 소프트웨어 안전성 보증 연구센터

세부 프로젝트

제 1세부 : 소프트웨어 안전성 보증 프로세스 개발 및 적용 체계 구축

■ Hazard 분석 등의 안전성 분석 기법 연구를 통한 안전성 보증 활동 구성
■ 시계열 분석 기반의 소프트웨어 안전성 예측 기법 연구
■ 개발 프로세스의 각 단계에서 안전성을 측정 및 확보하기 위한 품질 게이트 구축
■ 안전성 소프트웨어 개발을 위한 마이닝 방법 및 성과 측정 기법 도입

제 2세부 : 정확성 기반의 소프트웨어 안전성 확보 기술 연구

■ 정형적 명세 및 테스트 모델의 안전 속성 정의
■ 정형 합성 및 안전성 테스트 도구 개발
■ 안전성 테스트 자동 생성 기법 연구 및 테스트 도구 개발
■ 모델 기반 안전성 통합 테스트 도구 개발

제 3세부 : 오픈소스 도구 기반의 소프트웨어 안전성 보증 기술 적용 연구

■ 소스코드 신뢰성 향상을 위한 복잡도, 의존성, 응집도 분석 도구 적용 연구
■ 안전성 인증 상용 도구 및 오픈소스 도구와의 연동 방안 연구
■ 적용 결과에 대한 개선방안 연구 및 오픈소스 도구 기반의 안전성 확보 가이드라인 개발

제 4세부 : ISO 26262의 안전성 분석 기법 적용 연구

■ STPA, FMEA 등의 안전성 분석 기법 연구 및 가이드라인 개발
■ 소프트웨어에 특화된 안전성 분석 기법 연구 및 가이드라인 개발
■ 안전성 분석 기법 적용 가이드라인 사례 적용 및 결과 분석을 통한 최적화

제 5세부 : 계수기 임베디드 소프트웨어의 안전성 보증 프로세스 구축

■ 임베디드 소프트웨어에 특화된 소프트웨어 안전성 보증 프로세스 적용
■ CodeSonar 등의 안전성 인증 상용 도구와 오픈소스 CI 도구와의 연동 적용
■ 임베디드 소프트웨어 개발 Repository 구축 및 프로세스 마이닝 기반의 소프트웨어 오류 예방 방안 적용

close

작성일: