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

가. 실적현황연결회사의 2024년 반기 매출액은 384억원을 달성하였습니다. 이는 전기 동기 매출액 223억원 대비 72.35% 증가한 수치 입니다. 아래는 과거 3개년 매출액을 표시한 그래프 입니다.

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

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

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

SW시험검증	코드검증 솔루션	13,632	10,335	25,419	24,705	31.90

시스템검증 솔루션	7,111	5,753	12,704	10,234	23.61

모델검증 솔루션	3,116	1,993	4,804	2,779	56.35

미래기술검증 솔루션	1,984	4,183	8,015	5,706	-52.57

빅데이터/AI	AI Bigdata	9,505	-	9,065	-	-

AI Ops	2,995	-	3,268	-	-

기타	임대 등	30	-	15	-	-

합계	38,373	22,264	63,290	43,424	72.35

다. 주요제품당사의 주요 제품은 고신뢰 고위험(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 측정으로 모델 불확실성 평가- 모델의 동작에 대한 해석 제공

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