(주)포멀웍스는 소프트웨어 공학전문 지식을 기반으로 하여 소프트웨어 개발 및 검증

(V&V, Verification&Validation)을 위한 서비스와 솔루션을 제공하고 있습니다.

.

01
주요 서비스

소프트웨어 확인 및 검증 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 등 다수의 자체 개발 사례 도구 및 관련 기술 보유

02
프로젝트 경력
1. Software Development Service
2017

제어사양 조회도구 개발
소프트웨어 검증도구 기능 개발
리눅스 기반 AVM 소프트웨어 컴포넌트 개발
VCDM 제어개발 데이터 마이닝 기술 개발

2016

`16년 VCDM 자체 부문 실무 확대 적용 및 운영
제어 S/W 통합빌드 시스템
평가 스크립트 개발 및 적용
제어모델 정적검증 툴 검토 및 검증 가이드라인 개발
ETRI VR 개발 언어의 코드 생성 모듈 제작 및 테스팅

2015

소스코드 기반 설계서 자동 생성 툴 개발
전차용 모델기반 코드 자동 생성 기능 개발
소프트웨어 검증 도구 기능 개발
VCDM 제어개발 데이터 마이닝 기술 개발
소프트웨어 변경 영향성 분석을 통한 재시험 효율화 기술 개발

2014

VCDM 성능 개선 및 제어개발 엔지니어링 툴 연계 구축
파워트레인 제어기 소프트웨어 실행시간 분석기술 개발
현대자동차 VCDM 파워트레인 분야 그룹사 확대 적용 개발에 대한 특화 UI 연동 개발
최장 수행시간 분석 및 다중 태스크 스케쥴 가능성 분석도구 개발
LG전자 SBC LIME 플랫폼 보안테스트 수행

2013

제어개발 모델 및 소스코드 통합 품질평가 장비 개발

2012

현대자동차 로직 검증도구 하드웨어 제작
전장품 제어로직 동적 검증 툴 개발
렌더링 엔진 개발 (3D 엔진 모듈 통합 및 테스트)

2011

학습자 참여형 인터랙션 3D 입체 가상체험 학습 콘텐츠 기술 개발
고 신뢰성 내장형 소프트웨어 오류 자동 검증 기술 연구 개발
다중화 제어기기 프로세서 개발
LSB플랫폼 API 호출 프로그램 개발
메카 SW 표준화 및 모듈화 컨설팅 프로젝트
블랙박스 PCViewer 개발

2010

TestMatrix 자동 생성 툴 개발
열차제어시스템 S/W 안전성 평가 테스팅 자동화 도구 개발
실감 및 체험형 학습시스템 멀티 플랫폼 포팅 및 지원 기술 개발

2009

플랫폼 오류 검증 프레임워크 및 검증 데이터베이스 개발
고신뢰 차량 전자시스템을 위한 체계적 테스트 프레임워크 개발 및 적용
MIT: MULTIPLE INPUT TESTER: 입력 정보 조합을 통한 시험 사례 생성기 개발

2008

휴대용 멀티미디어 기기 MEMORYKICK 내장형 소프트웨어 개발
심볼릭 수행 도구 개발

2007

테스트 데이터 자동 생성기 구현

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 Ⅱ 및 패키지 함수 검증
현대오트론 평가 스크립트 개발 및 적용

2014

신한울 1,2호기 안전 비안전계통 소프트웨어 검증 외주용역 추가 구매
LG전자 HomeChat 보안진단

2013

공통원인고장(CCF) 대응을 위한 안전계통 제어기기 개발
POSAFE-Q 설계문서 검증 용역
POSAFE-Q pSET-II 함수블록 검증 용역

2012

신고리 3,4호기 안전계통 MMIS 현장설계변경(DCP)에 따른 소프트웨어 V&V 수행 방안 수립
KOPEC 신울진 1,2호기 사이버보안 자문용역
다중화 제어기기 프로세서 모듈용 운영체제 구현 및 시험 용역
JRTR MMIS 안전성 분석, 안전계통 확인 및 검증, 사이버 보안
JRTR MMIS 안전계통 (RPS&PAMS) 사이버보안 모의침투
신울진 1,2호기 사이버보안 위협분석용역

2010

내장형 S/W 모델링 및 동적 검증 검증 원천 기술연구
POSAFE-Q 사이버보안 시험 및 설계문서 확인 검증 용역
신울진 PLC(POSAFE-Q) 안정성분석 및 확인검증지원 용역

2009

POSAFE-Q 안전 등급제어 기기 확인 및 검증
원전안전 등급제어 기기의 사이버보안 표준적용 및 검증용역
원전안전제어기기 모듈 문서확인 및 검증 용역
고신뢰 차량 전자 시스템을 위한 체계적 테스팅 프레임 워크 개발 및 적용

2008

안전등급 PLC 설계문서 확인 및 검증용역
pSET 컴파일러 안정성 평가용역

2007

디지털 보호 논리 정형 검증 및 자동 시험 소프트웨어 검증
코드기반 다목적 실용위성 2호 제어 소프트웨어 검증기법 연구개발

03
고객사 및 협력사