(주)포멀웍스는 소프트웨어 공학전문 지식을 기반으로 하여 소프트웨어 개발 및 검증
(V&V, Verification&Validation)을 위한 서비스와 솔루션을 제공하고 있습니다.
.
주요 서비스
|
소프트웨어 확인 및 검증 V&V (Verification and Validation)
Safety-Critical Software 개발을 위한 각 개발 단계별 V&V 및 테스팅 서비스
원전, 차량 전자, 국방, 항공 우주, 철도 분야에 특화된 국제표준(IEEE Std. 1012, IEC 61508, ISO 26262 등)
기반 소프트웨어 확인 및 검증 서비스 제공 고신뢰 소프트웨어 납품을 위한 안전성 분석, 정형 검증 및 인허가 지원 서비스 제공
|
 |
|
SCADA 사이버보안 (Cyber Security)
SCADA 장비 및 시스템을 사이버보안 위협으로부터 보호하기 위한 서비스
원전, 차량 전자등 분야에 특화된 SCADA 시스템을 위한 사이버보안 평가 및 대응체계 수립 서비스 제공
실제 SCADA 시스템 침투 시험을 통한 취약점 점검 및 위협 평가 서비스 제공
|
 |
|
내장형 소프트웨어 개발 (Embedded)
고품질/고신뢰 실시간 내장형 소프트웨어 개발 서비스
소프트웨어 공학 기술에 기반한 체계적인 내장형 소프트웨어 개발
고신뢰 소프트웨어를 위한 개발 프로세스 및 체계적인 테스팅 적용 컨설팅 제공
|
 |
|
소프트웨어 분석 솔루션 개발 (Case Tools)
고품질/고신뢰 소프트웨어를 위한 소프트웨어 분석 도구 개발 서비스
실시간 내장형 소프트웨어 분석을 위한 자동화 도구 개발 및 분야에 특화된 분석 도구 적용 컨설팅 제공
TimeBounder, Model Space 등 다수의 자체 개발 사례 도구 및 관련 기술 보유
|
 |
프로젝트 경력
| 2017
제어사양 조회도구 개발 |
| 2016
`16년 VCDM 자체 부문 실무 확대 적용 및 운영 |
| 2015
소스코드 기반 설계서 자동 생성 툴 개발 |
| 2014
VCDM 성능 개선 및 제어개발 엔지니어링 툴 연계 구축 |
| 2013
제어개발 모델 및 소스코드 통합 품질평가 장비 개발 |
| 2012
현대자동차 로직 검증도구 하드웨어 제작 |
| 2011
학습자 참여형 인터랙션 3D 입체 가상체험 학습 콘텐츠 기술 개발 |
| 2010
TestMatrix 자동 생성 툴 개발 |
| 2009
플랫폼 오류 검증 프레임워크 및 검증 데이터베이스 개발 |
| 2008
휴대용 멀티미디어 기기 MEMORYKICK 내장형 소프트웨어 개발 |
| 2007
테스트 데이터 자동 생성기 구현 |
| 2017
신한울 1,2호기 pSET-Ⅱ Windows7 적용 확인 및 검증 |
| 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 및 보드 설계 내역 검증 |
| 2014
신한울 1,2호기 안전 비안전계통 소프트웨어 검증 외주용역 추가 구매 |
| 2013
공통원인고장(CCF) 대응을 위한 안전계통 제어기기 개발 |
| 2012
신고리 3,4호기 안전계통 MMIS 현장설계변경(DCP)에 따른 소프트웨어 V&V 수행 방안 수립 |
| 2010
내장형 S/W 모델링 및 동적 검증 검증 원천 기술연구 |
| 2009
POSAFE-Q 안전 등급제어 기기 확인 및 검증 |
| 2008
안전등급 PLC 설계문서 확인 및 검증용역 |
| 2007
디지털 보호 논리 정형 검증 및 자동 시험 소프트웨어 검증 |
고객사 및 협력사
