Firmware 개발/검증

안전과 신뢰를 위한 핵심 기술

임베디드 소프트웨어 테스트 & 펌웨어 검증 서비스

안전과 신뢰를 위한 핵심기술

오늘날 자동차, 전력, 원자력, 항공, 국방, 철도, 금융, 의료 등 다양한 산업에서 소프트웨어의 비중은 점점 커지고 있으며, 그 역할은 더욱 복잡해지고 있습니다.

단 하나의 오류도 막대한 피해로 이어질 수 있는 시대, 완벽에 가까운 품질 확보는 선택이 아닌 필수입니다.

펌웨어 개발 및 정밀 검증 수행

요구사항 충족 여부 분석 및 실제 결과 비교

수동 및 자동화 테스트를 병행한 품질 평가

시스템 안정성과 신뢰성 확보

시장 경쟁력 강화를 위한 기술 지원

Business

사업분야

business.01

3자 검증(Independent Verification & Validation)

특정 소프트웨어에 대해서 개발 조직과 독립적인(Independent) 조직이 사양, 기능 및 신뢰성 등 소프트웨어가 갖춰야 할 특성을 갖고 있는지 분석하며(Verification), 고객의 요구사항에 부합하는지 검토하는(Validation) 총체적인 활동입니다.

business.02

자동차

전장 부품의 증가로 인해 더욱 복잡해지는 소프트웨어의 품질의 오동작에 따른 사고위험이 증가하기 때문에 기능에 대한 안전 확보를 필요로 합니다.

business.03

국방

방위사업청 지침 : 무기체계 소프트웨어 개발 시 신뢰성 시험을 수행하도록 규정

business.04

인프라(철도, 원전, 선박)

고신뢰 소프트웨어 품질 확보 : 동작 실패 시, 인명/재산/환경 등에

치명적인 피해를 유발

(예) 원자력/전력 생산 시스템, 선박/철도차량 제어 시스템

기능안전 문서대응

제어기 소프트웨어 검사

정적시험	코딩규칙검사	· C, C++, C#, Java · MISRA 및 국제표준 SW코딩 규칙 준수
	소스코드 메트릭 점검	· 함수 기준 적용
	취약점 점검	· C, C++, Java 점검 항목 적용
동적시험	코드 실행률 측정	· 단위 시험 · 통합 시험 · 구조/요구사항 기반 수행 · 코드 실행률 100% 달성