▶  개요

코컴의 핵심 기술은 AI 기반 ARQA Solution입니다. ARQA Solution은 안전필수 소프트웨어의 결함 탐지를 위해 정적분석, 동적시험, AI 기반 오탐 최적화 기술을 결합한 SW 검증 솔루션입니다.

현재 중심 제품은 ARQA Static이며, 향후 동적시험과 문서 정형화 기능까지 확장하여 개발·검증·인증 대응을 하나의 흐름으로 지원하는 통합 플랫폼으로 발전하는 것을 목표로 하고 있습니다.

▶  주요 내용

ARQA Static은 프로그램을 실행하기 전 소스코드만으로 오류와 보안 취약점, 코딩규칙 위반 요소를 자동으로 분석하는 정적분석 도구입니다.

코컴은 GNN/GAT 기반 AI 모델을 활용해 실제로 실행될 가능성이 낮은 비실행 경로를 선별하고, Clang 기반 정적분석 엔진을 통해 실행 가능한 경로와 실제 위험 요소를 집중 분석합니다. 이를 통해 기존 정적분석 도구에서 많이 발생하던 오탐 문제를 줄이고, 검증 담당자의 반복 확인 부담을 낮추는 데 초점을 두고 있습니다.

또한 국방 SW 코딩규칙 점검, 결함 위치 확인, 수정 가이드 제공, 심층진단 리포트 출력, 수정 전후 비교 리포트 등 실무 검증 과정에 필요한 기능을 제공합니다. 향후에는 하드웨어 타깃 기반 동적시험, 커버리지 측정, 테스트케이스 자동 생성, 표준 리포트 자동 생성 기능으로 확장할 수 있습니다.

▶  차별성

ARQA Solution의 가장 큰 차별성은 AI를 활용해 비실행 경로를 선별하고, 실제 분석이 필요한 코드 경로에 집중할 수 있도록 한다는 점입니다.

기존 정적분석 도구는 복잡한 코드 구조에서 모든 경로를 균등하게 탐색해 오탐이 많이 발생할 수 있지만, 코컴의 기술은 AI 기반 경로 선별과 우선순위 분석을 통해 분석 정확도와 업무 효율을 높이는 방향으로 설계되었습니다.

또한 정적분석 도구와 동적시험, 문서 정형화 기능을 단계적으로 통합할 수 있어, 기존에 여러 외산 도구를 별도로 구매·연동해야 했던 부담을 줄일 수 있습니다. 국내 국방·항공·원전 분야의 폐쇄망 환경에 최적화된 구축형 솔루션으로 제공할 수 있다는 점도 중요한 차별점입니다.

▶  활용 분야

ARQA Solution은 국방·방산, 항공우주, 원전·에너지, 자동차·모빌리티 등 고신뢰 소프트웨어 검증이 필요한 산업에 활용될 수 있습니다.

세부적으로는 무기체계 SW, 항공전자, 위성 탑재체, 원전 제어계통, 차량용 임베디드 SW, ADAS, ECU, 의료기기 SW, 로봇, 철도 시스템 등 안정성과 신뢰성이 중요한 소프트웨어 검증 분야로 확장 가능합니다.

▶  기대 효과

코컴의 솔루션은 소프트웨어 결함을 사전에 탐지하여 안전필수 산업의 사고 위험을 낮추고, 개발 및 검증 과정에서 발생하는 시간과 비용 부담을 줄이는 데 기여할 수 있습니다.

또한 오탐 검증에 소요되는 반복 업무를 줄이고, 검증 결과와 수정 가이드를 체계적으로 제공함으로써 개발자의 업무 생산성을 높일 수 있습니다. 장기적으로는 외산 검증 도구 의존도를 낮추고, 국내 안전필수 SW 검증 기술의 국산화와 글로벌 경쟁력 확보에 기여할 수 있습니다.