슈어소프트테크 반기보고서 (2025.06)
2. 주요 제품 및 서비스

가. 실적현황연결회사의 2025년 반기 매출액은 384억원을 달성하였습니다. 아래는 과거 3개년 매출액을 표시한 그래프 입니다.

나. 제품별 매출 현황(단위 : 백만원, %)

매출유형	제품군	2025년도 반기(제24기)	2024년도 반기(제23기)	2024년도(제23기)	2023년도(제22기)	성장률

매출액	매출액	매출액	매출액

SW시험검증	코드검증 솔루션	14,812	13,632	29,848	25,419	8.66%

시스템검증 솔루션	6,981	7,111	15,771	12,704	-1.83%

모델검증 솔루션	3,718	3,116	5,893	4,804	19.32%

미래기술검증 솔루션	2,107	1,984	4,559	8,015	6.20%

빅데이터/AI	AI Bigdata	8,705	9,505	23,733	9,065	-8.42%

AI Ops	2,063	2,995	8,939	3,268	-31.12%

기타	임대 등	30	30	60	15	-

합계	38,416	38,373	88,803	63,290	0.11%

다. 주요제품당사의 주요 제품은 고신뢰 고위험(Mission Critical) 산업 내 사용되는 임베디드 소프트웨어 시험검증(V) 및 이와 관련된 서비스로 구성 되어있습니다. 당사의 주요 제품 구분과 특징 및 용도는 아래와 같습니다.

제품	특징 및 용도

코드검증솔루션	CODESCROLL - Controller Tester	- 화이트박스 시험검증 원천 기술 적용- 시험 대상 소프트웨어의 소스 코드의 구조 및 특성분석 및 테스트를 위한 코드 및 데이터 자동 생성- 코드 커버리지 측정, 테스트 추적성 지원, 실제 임베디드 타깃 환경 시험 지원

CODESCROLL - STATIC	- 소스코드의 국제 표준 규격 및 기능안전성 확보를 위한 규칙 준수 여부 확인- 소프트웨어의 기능안전성 및 보안성을 확보하기 위한 국내외 표준 규칙 내장- 코딩 규칙 기반 소스코드 정적 분석 자동 수행

QUALITYSCROLL - COVER	- 테스트 정도를 정량적인 수치로 표현하는 시험검증 자동화 솔루션- 테스트 수행 커버리지 제공 및 프로그램 형상 관리 기능- C/C++, JAVA, C#, JSP, JavaScript 등 다양한 개발 언어 지원 및 웹 테스트 지원

QUALITYSCROLL - VPES	- 국방 무기체계 소프트웨어 개발 프로세스를 따라 전 단계에 안전 검증 프로세스에 대한 보고서를 자동으로 제공하는 시험검증 자동화- 개발 및 시험 현황 체크 / 문서 검증과 산출물 생성

QUALITYSCROLL - V-SPICE	- 자동차 분야 국제 산업 표준인 A-SPICE의 표준 프로세스 가이던스 제공- 요구사항부터 테스트케이스까지 단계별 산출물을 관리하는 자동화 솔루션

코드 검증서비스	- 소스 코드 대상 소프트웨어 기능 안전 확보를 위한 시험검증 서비스로 구현된 소스 코드가 운영되기 전에 모두 테스트 되었는지 확인- 주로 자동차, 국방, 항공, 철도 분야 기능안전 표준에서는 정적 시험검증 3종, 동적 시험검증 2가지에 대한 수행을 명시하며 코드 검증은 필수적으로 수행해야 하는 항목

시스템검증솔루션	Fault InjectionTester(FIT)	- 일반적인 기능시험으로 검증되기 어려운 안전 기능 검증 자동화 솔루션- 위험 시나리오(hazard)에 대비하기 위한 안전 기능 구축- FIT을 활용한 결함 주입으로 강제 시나리오 재현 및 시험

PROV	- 하드웨어에 소프트웨어가 탑재된 상태에서 CPU 사용량, 메모리 사용량 등 자원 사용량 측정 및 반응속도, 태스크 스케줄링, 인터럽트 대응 등 성능 요소 실시간 측정 지원- 제어기와 실시간 통신 측정으로 측정 데이터를 수집 및 검증하는 자동화 솔루션

AESOP	- 차량 제어기의 롬데이터 정적 검사 자동화 솔루션- 롬 데이터 변경점 비교 및 특이값 검출을 통한 데이터 정합성 검증 툴

AUTORACT	- 제어기 통신 사양 평가를 위한 네트워크 데이터베이스 입력으로 테스트 케이스 자동 생성 및 수행하는 자동화 검증 솔루션

시스템 검증서비스 (HILS)	- 시스템 시험 검증의 시간적, 비용적 한계를 극복할 수 있는 대안으로 자동차 기능 안전 표준 ISO26262에서 단위시험 및 통합시험 과정에서 활용- 검증 대상 제어기와 Plant, HIL Simulator로 구성이되며 검증을 위한 시나리오 개발 및 수행

시스템 검증서비스 (EILS)	- 실제 차량에 적용되는 ECU를 모사하여 시험 검증하는 툴- 마이크로 컨트롤러를 활용하여 제어 알고리즘 포팅 및 수행을 통해 실제 차량에서 제어로직의 성능, ECU의 신호특성 및 네트워크 이상 등 문제점 파악- 실제 차량 테스트 환경을 실내에서 가상으로 수행할 수 있어 반복 테스트 가능

원자력시스템 검증	- 원자력 국제표준과 NRC 가이드 표준에 따라 소프트웨어 개발 전 주기 동안 발생하는 시험검증 및 문서 산출물 검증- 원자력 소프트웨어에 대한 단계적 시험을 통해 이상 유무 확인

모델검증솔루션	Model Verifier	- Simulink/Stateflow 및 Targetlink로 개발된 모델에 대해 동적 검증 기능을 제공- 시스템 개발 초기 단계인 모델링 단계에서 기능 안전 국제 표준(ISO26262) 및 고객사 별 규칙 준수 여부와 품질 지표를 검증- 테스트 케이스 무결성 검사, 일괄 변경 기능 등의 회귀 시험을 위한 편의 기능 제공

Model Inspector	- MathWorks 사의 Simulink/Stateflow 및 Targetlink로 개발된 모델에 대해 정적 분석 및 검증 기능을 제공하는 도구- 업계 최다 표준 모델링 규칙을 지원 및 파라미터 편집 지원- ISO 26262, DO331, IEC61508, IEC62304 및 EN 50128 표준에서 권장하는 모델 품질 지표를 포함한 21 개의 모델 품질 지표 지원

Model Verification 서비스	- 자동차 분야 ASPICE 및 ISO26262 표준 기반 검증 계획 수립 및 계획서 작성- 요구사항 기반 검증 수행 및 결과값 제공- 설계시 분석을 통해 소프트웨어의 요구사항과 Model간의 정합성 확인, 소스코드 구조적 완전성 확인, 자동 생성된 소스코드와의 일치성 확인 등

미래기술검증솔루션	VISTA	- 커넥티드 차량 인포테인먼트 시스템 테스트를 위한 자동화 솔루션- 차량 외부 커넥티비티 테스트 및 내부 네트워크 연동 사양 테스트 자동화- 딥러닝 기술을 적용한 차량 AVN의 다양한 시나리오에 대한 스크립트 자동생성 및 인공지능을 사용한 몽키테스트(무작위 테스트) 기능 제공

DCAT	- 실차를 이용한 주행 데이터 기반 자율주행 시나리오 검증을 수행하는 자동화 솔루션- 대량의 차량 주행 데이터로부터 자율 주행 기능 결함 시험검증

SIMVA	- 제어기 가상화 기반 분석 및 시험 검증을 위한 제품으로 개발 중인 제품

AUTOSIM	- 가상 주행 환경 내에서 자율주행차를 시험하기 위한 제품으로 개발 중인 제품

ARCHON Z	- 커텍티드 차량의 보안성 시험검증을 위한 솔루션으로 개발 중인 제품

빅데이터/AI솔루션	IRIS	- 대용량 고성능 빅데이터 관리- 차량, 통신, 공공 등 다양한 분야의 빅데이터 분석- 기계 학습, 딥 러닝 등 AI 구축 및 서비스 창출

BEYMONS Cloud	- 다양한 계측장비 및 센터 데이터 취합 후 Cloud에 저장 관리- 실시간 Visualization을 위한 Dashboard 제공- 불량 검출, 이상 탐지 등 데이터 기반 분석 서비스 제공

VERIFAI-M	- 적대적 데이터를 생성하여 모델 강건성 검증- 뉴런 Coverage 측정으로 모델 불확실성 평가- 모델의 동작에 대한 해석 제공

라. 주요 제품 등의 가격변동추이당사의 제품 가격은 경쟁사와의 경쟁에서 중요한 정보로 기재하지 않았습니다.