(주)포멀웍스는 소프트웨어 공학전문 지식을 기반으로 하여 소프트웨어 개발 및
검증
(V&V, Verification&Validation)을 위한 서비스와 솔루션을 제공하고 있습니다.
(V&V, Verification&Validation)을 위한 서비스와 솔루션을 제공하고 있습니다.
01
주요 서비스
소프트웨어 확인 및 검증 V&V (Verification and Validation)
Safety-Critical Software 개발을 위한 각 개발 단계별 V&V 및 테스팅 서비스
- 원전, 차량 전자, 국방, 항공 우주, 철도 분야에 특화된 국제표준(IEEE Std. 1012, IEC 61508, ISO 26262 등) 기반 소프트웨어 확인 및 검증 서비스 제공
- 고신뢰 소프트웨어 납품을 위한 안전성 분석, 정형 검증 및 인허가 지원 서비스 제공
02
프로젝트 경력
1. Software Development Service
2017
- 제어사양 조회도구 개발
- 소프트웨어 검증도구 기능 개발
- 리눅스 기반 AVM 소프트웨어 컴포넌트 개발
- VCDM 제어개발 데이터 마이닝 기술 개발
2016
- 16년 VCDM 자체 부문 실무 확대 적용 및 운영
- 제어 S/W 통합빌드 시스템
- 평가 스크립트 개발 및 적용
- 제어모델 정적검증 툴 검토 및 검증 가이드라인 개발
- ETRI VR 개발 언어의 코드 생성 모듈 제작 및 테스팅
2015
- 소스코드 기반 설계서 자동 생성 툴 개발
- 전차용 모델기반 코드 자동 생성 기능 개발
- 소프트웨어 검증 도구 기능 개발
- VCDM 제어개발 데이터 마이닝 기술 개발
- 소프트웨어 변경 영향성 분석을 통한 재시험 효율화 기술 개발
2. Software V&V Service
2017
- 신한울 1,2호기 pSET-Ⅱ Windows7 적용 확인 및 검증
- 제어기 차량 보안 프로세스 구축
- 선박해양플랜트 한국형 e-Navigation 사이버보안 대응 계획 수립 용역
- 신고리 5,6호기 적용 POSAFE-Q 버전업 개발 자체연구과제 관련 POSAFE-Q 설계/구현단계 설계문서 확인 및 검증
- 제어S/W 정적검증 평가 효율화를 위한 툴 비교평가
2016
- 두산중공업 신고리 5,6 QIAS-N, DIS SW V&V
- 두산중공업 신고리 5,6호기 DPS, ASTS 사이버보안 단위장비 위협분석
- POSAFE-Q 계획/요건/설계단계 설계문서 확인 및 검증 (신고리 5,6호기 적용)
- 신한울 RMS PROJECT 관련 “신한울1,2호기 RMS SRDC S/W 안전성분석”
2015
- 네트워크 제어용 FPGA 및 보드 설계 내역 검증
- POSAFE-Q pSET Ⅱ 및 패키지 함수 검증
- 현대오트론 평가 스크립트 개발 및 적용
03
고객사 및 협력사
