후불형 서바이벌 R&D 지원과제 RFP2

과제명

융합SW 소스검증용 정적분석도구 기술 개발

1. 개요 및 필요성

○ 융합 SW의 코드결함, 코드취약점, 복잡도 측정을 자동으로 검사하는 기술 개발

- SW 개발단계에서 코드 결함을 조기에 자동 검출하여, SW 안전성 및 보안성 국제표준에 대한 준수 여부를 검증하는 융합 SW 품질 활동의 핵심 기술임

- 자동차 및 항공 업계의 국제표준 적용 수요가 매우 높음에도 심각한 외산 종속 지속

- 국제 안전성 표준: 자동차 분야 ISO26262, 항공분야 DO-178B/C

○ 융합 SW 제품의 국제 안전성 표준 적용에 필요한 핵심 검증 기술 확보로 국내 기술의 선진화 도약 필요성 요구됨

- SW 검증 정확도 향상 및 국제 안전성 표준 인증으로 글로벌 경쟁력 확보

2. 연구목표

○ 최종목표 : 융합SW 소스검증용 정적분석도구 기술 개발

- SW 안전성 및 보안성의 국제 코딩 표준들을 지원하는 규칙 템플릿 개발

. Java, C, C++ 소스 검증의 Semantic Analysis 엔진 개발(예, Path Sensitive Data Flow Analysis 기법 등)

. 자동차 표준: HIS(115규칙), High Integrity C++(HICPP)(198규칙)

. 항공   표준: JPL(23규칙), BSSC C/C++(124규칙)

. 취약점   표준(Run-time 포함): CERT C(225규칙), C++(101규칙), Java(156규칙)

- SW 복잡성의 국제 품질 표준을 지원하는 SW Metrics 측정 기술 개발

. 자동차 품질 표준: MISRA Product Metrics(20), HIS Source Code Metrics(18)

- ISO 26262 제품 인증

○ 개발평가기준(목표)

핵심 기술/제품 성능지표		단위	목표		국내최고수준 (기업/기관명)	세계최고수준 (보유국, 기업/기관명)
			현재	달성목표
1	Semantic Analysis	기능유무	오탐율 10~20%	오탐율 5%이하	Semantic Analysis 수준	미국, Coverity
2	HIS, HICPP 자동차 표준	지원개수	없음	85%이상표준준수	없음	영국, PRQA
3	JPL, BSS C/C++, 항공 표준	지원개수	없음	85%이상표준준수	없음	영국, LDRA
4	CERT C, C++, Java 취약점 표준	지원개수	CWE Top 25 지원	85%이상표준준수	40% 수준	영국, LDRA
5	MISRA, HIS 품질 표준	지원개수	ISO 9126 지원	85%이상표준준수	60% 수준	영국, PRQA

3. 사업화 계획
○ 목표시장 - 1차 자동차 분야, 2차 항공분야, 3차 적용분야 확대(가전, 산업자동화, 의료기기, 군수 등) - 연도별 개발 후, 순차적으로 상용화 추진 - 기존 고객(H 완성차 그룹) 및 컨설팅 파트너(독일 T 한국지사)를 통한 SW 안전성 및 신뢰성 검증으로 빠른 상용화 및 납품 추진 - ISO 26262 국제인증 추진 및 달성으로 글로벌 SW로 성장 * 실용화와 사업화 병행으로 조기 상용화 실현 ○ 해외 수출 전략 - 1차로 국내 완성차 및 부품 업체 고객 확보 후, 적용 사례를 통한 일본 및 유럽 시장 진출 - 순차적으로 적용분야 확대 추진 - 향후, 산업별 글로벌 기업의 한국지사(본사) 고객 확보 후, 글로벌 기업으로 확장 추진 ○ 비즈니스 모델 - 언어 제품별 라이센스 판매, 임대 계약, 컨설팅 지원 사업 - 수익예상기업군: 완성차 제조 및 부품업체, 항공기 제조 및 부품업체, 임베디드 SW 제조(가전, 산업자동화, 의료기기 등) 및 부품업체, 통신 및 군사 분야
4. 기타사항
○ 개발기간 : 2년 ○ 기술개발산정금 : 최종 평가결과에 따라 최우수기관에게 기술개발비와 인센티브를, 次우수기관은 기술개발비를 지급(기술개발비 : 10억원, 인센티브 : 20%) * 그 외 목표 달성 기관(또는 개인)에게는 상기 기술개발비 보다 적은 일정 금액에 대해 동일하게 배분(1/n)하여 지급 (기술개발산정금 지급은 목표를 달성한 기관(또는 개인)에 한해 지급 예정) ○ 주관기관 : 제한 없음

별첨. 과제 결과물 평가 방법

1. 평가 회수 및 시기

o 과제 종료 3개월 전부터 종료 1개월 후 사이에 수행

o 최대 2회의 수정 기획 제공(총 테스트 회수 3회 이내)

2. 평가 방법

평가 지표	평가 기준	목표치	평가방법
국제 코딩 표준 지원 비율	지원 비율 (%)	85~89% (942 규칙)	언어별 국제 코딩 및 품질 표준의 구현 항목별 정상 작동 여부의 시험
SW Metrics 측정 기술	지원 비율 (%)	85~89% (38 Metrics)	지원 비율 측정
규칙 오류 패치 수	패치 개수	20~11 건	패치수 산정
ISO26262 국제 인증	건	1건 이상	건수 산정

3. 평가 방법의 수정 보완

o 평가 기준과 방법은 개발사와 워크샵 등을 통해 협의하여 조정 가능함

4. 기타

o 평가 시 TTA 또는 그에 준하는 공신력 있는 기관 평가 결과 제출 가능