소프트웨어 검증

소프트웨어 모델링 / MBSE 설계 및 통합관리 / SW 검증 / 감항인증 / DO-178C / DO-254 / FACE

모아소프트의 고신뢰성 소프트웨어 검증 솔루션과 항공(DO-178C/254), 방산, 자동차, 철도 국제 표준을 충족하는
정적·동적 분석 및 임베디드 SW 인증 컨설팅으로 시스템의 결함을 제로화합니다.

SW 검증

“가장 엄격한 기준을 통과하는 SW, 타협 없는 안전과 무결성을 보장합니다.”

우리는 우주항공, 방위산업, 원자력 등 단 한 번의 오류도 허용되지 않는 미션 크리티컬(Mission-Critical) 산업을 위한 통합 SW 검증 및 관리 솔루션을 제공합니다. 글로벌 표준(DO-178C, ISO-26262 등)을 완벽히 준수하는 검증 체계와 차세대 AI 신뢰성 분석 기술을 통해 고객의 제품이 세계 최고 수준의 품질 경쟁력을 갖출 수 있도록 지원합니다.

글로벌 규격 준수

항공, 국방, 의료 등 산업별 필수 국제 표준 인증을 위한 최적의 거버넌스와 산출물 컨설팅을 제공합니다.

End-to-End Reliability

정적/동적 시험부터 도구 인증(Tool Qualification)까지, 개발 전 단계에서 SW의 무결성을 철저히 검증합니다.

차세대 개발 검증

급격히 도입되는 AI 모델의 신뢰성 검증과 무인 체계 개방형 아키텍처(K-MOSA) 기술로 차세대 시장 선점을 돕습니다.

소프트웨어 검증 PRODUCT

Software 검증

우주항공(DO-178C)

정적(Coding Rule, CWE, Security/Metric)

동적(Coverage, DCCC)

Tool Qualification(도구인증)

산업특화 검증(WCET, OCV)

방위산업(무기체계-V모델)

GAP 분석

산출물 컨설팅

정적(Coding Rule, CWE, Security/Metric)

동적(Statement, Branch, MC/DC, DCCC)

보안성 시험

방위산업(무기체계-에자일)

GAP 분석

검증자동화 시스템

프로세스 자동화 시스템

자동차(ISO-26262 등)

정적(Coding Rule)

동적단위시험 (Statement, MC/DC )

동적통합시험

산업 특화 검증

철도(EN-50128)

정적(Coding Rule, CWE, Security/Metric)

동적단위시험(Statement, Branch, MC/DC Coverage)

동적통합시험(Function/Call)

의료시스템(IEC-62304)

GAP 분석

산출물 컨설팅

정적(Coding Rule, CWE)

동적(Statement, MC/DC)

사이버보안(Fuzzing 등)

원자력(IEC 60880)

정적(Coding Rule, CWE, Security/Metric)

동적단위시험(Statement, Branch, MC/DC Coverage)

동적통합시험(Function/Call)

AI 신뢰성검증

우주항공(DO-178C)

GAP 분석

산출물 컨설팅

데이터셋 평가항목 적절성 검토

AI 모델 적절성 분석

항공 ARP 6983(TBD)

MLOps 개발환경 검토

거버넌스 및 평가항목 검토

AI 모델의 신뢰성 검증

Life-cycle 관리

JAMA

SW 매뉴얼 산출물 관리

SW 검증 모듈

양방향 추적성 관리

SDAS

전산업 프로세스관리

실시간 양방향 추적성 관리

국제 규격 인증(템플릿 제공)

K-MOSA

무인체계 개방형 아키텍처

FACE 규격 인증/컨설팅

데이터 모델링

자동화 규격 준수

🛠 관련 솔루션 ────

SCADE | Twin Builder | medini | ModelCenter

SERVICE

SW 검증

Software Verification
플랫폼 부문은 연구소의 원천 기술이 실제 비즈니스 가치로 변환되는 창구입니다. 무기체계 개발부터 얼굴인식, 배터리 모델링에 이르기까지 도메인 특화형 플랫폼을 통해 복잡한 프로세스를 단순화하고 효율성을 극대화합니다.

▒ 핵심 가치
국제 표준 기반의 정밀 검증을 통한 SW 결함 제로화 및 안정적인 산업 현장 적용

AI Trustworthiness Verification

인공지능 모델의 안전성 및
객관적 평가 체계
IEC-5259-2, IEC-24029-1 등 최신 국제 규격에 기반하여 AI 모델의 적절성과 데이터셋 품질을 평가합니다. MLOps 개발 환경 검토와 신뢰성 검증 프로세스를 통해 인공지능 기술이 미션 크리티컬한 환경에서도 안전하게 작동함을 입증합니다.

▒ 핵심 가치
AI 모델의 신뢰성 수치화 및 거버넌스 수립을 통한 지능형 솔루션의 안전성 확보

Life-cycle Management

전주기 추적성 및 개발 프로세스
최적화 플랫폼
Jama 및 SDAS를 활용하여 요구사항 정의부터 설계, 구현, 검증에 이르는 SW 개발 전 과정을 체계적으로 통합 관리합니다. 실시간 양방향 추적성(Traceability)을 통해 복잡한 개발 공정의 투명성을 높이고 프로젝트 전반의 품질 비용을 획기적으로 절감합니다.

▒ 핵심 가치
개발 전 과정의 가시성 확보 및 실시간 추적을 통한 프로젝트 성공률 및 효율 극대화

K-MOSA

무인체계 개방형 아키텍처
및 표준화 기술
무인 체계의 상호운용성과 확장성을 극대화하기 위해 FACE 규격 등 국제 표준에 따른 개방형 아키텍처를 수립합니다. 모듈화된 설계와 데이터 모델링 자동화를 통해 시스템 간 호환성을 높이고 차세대 무인 체계의 유지보수 및 업그레이드 효율을 혁신합니다.

▒ 핵심 가치
개방형 표준 준수를 통한 시스템 확장성 증대 및 미래형 모빌리티 생태계 선점