(주)포멀웍스

TimeBounder는 포멀웍스가 개발한 고신뢰 임베디드 소프트웨어 검증 도구로, 원전·자동차·국방 등 안전성이 중요한 산업 분야에서 국제표준(IEEE Std. 1012, IEC 61508, ISO 26262 등)에 기반한 소프트웨어의 확인 및 검증(V&V)을 지원합니다. 정적 분석과 자동화된 테스트 기능을 통해 개발 단계별 오류를 사전에 탐지하며, 인허가와 품질 향상에 필수적인 안전성 분석과 정형 검증 서비스를 제공합니다.

• 임베디드소프트웨어
• 소프트웨어검증
• V&V
• 안전성분석
• 산업자동화

AR CPX 시뮬레이터는 증강현실 기반 지휘통제 훈련 솔루션으로 국방·재난 대응 등 복잡한 상황에서 실시간 데이터 시각화와 협업 환경을 제공합니다. XR(확장현실) 기술을 활용해 실제 현장감 있는 훈련이 가능하며 원격 협업 기능과 특허기술이 적용되어 효율적인 의사결정 및 상황관리 역량 강화를 지원합니다.

• 증강현실훈련
• XR솔루션
• 지휘통제시스템
• 국방IT
• 재난대응

포멀웍스의 V&V 서비스는 원전 제어 시스템부터 차량 전자장치까지 국제표준에 부합하는 전문 컨설팅으로 각종 산업용 소프트웨어의 신뢰성과 안정성을 확보합니다. 개발 단계별 테스팅과 인허가 지원은 물론 정적분석·정형검증 기법을 적용하여 고객사의 품질경쟁력을 높입니다.

• SW컨설팅서비스
• 인증지원
• V&V테스팅
• 산업SW품질
• IEC61508