주요 서비스
내장형(embedded) 소프트웨어 개발
- 소프트웨어 공학 기술에 근거하여 소프트웨어 개발의 전 단계를 체계적으로 수행함으로써 소프트웨어 개발 기간 단축 및 품질 향상 도모
소프트웨어 테스팅
- 블랙박스 및 화이트박스 테스팅 기법을 적용 최적화
- 발견된 오류에 대한 분석 및 개선 방안에 대한 제안
- 소프트웨어 시험 기법 및 기술을 내재화할 수 있는 교육 및 컨설팅 제공
소프트웨어 분석(analysis) 및 검증(verification)
- 인스펙션, 시험, 정적 분석, 정형 기법 등 품질 향상을 위한 다양한 기법과 다양한 수행 경험을 보유
- 소프트웨어 개발 각 단계의 산출물에 대한 확인 및 검증, 안전성 분석 등 품질관리 서비스 제공
- 높은 품질이 요구되는 소프트웨어에 대한 정적 분석 기법과 정형 기법 적용 컨설팅 서비스 제공
소프트웨어 분석 솔루션 개발(Case Tools)
- 실시간 내장형 소프트웨어 분석을 위한 자동화 도구 개발
- 도메인에 특화된 분석 도구 개발 및 컨설팅
주요 경력
코드기반 다목적 실용위성 2호 제어 소프트웨어 검증 기법 연구 개발(항공우주연구원)
- 위성 소프트웨어의 최장 수행시간을 정적분석을 통하여 자동으로 예측하는 기법을 개발하고, 이를 지원하는 사례도구인 TimeBounder를 개발
시스템 에어컨 프로토콜 검증(삼성전자)
- 분산환경에서 운용되는 시스템 에어컨의 서버 및 단말기 사이의 통신 프로토콜의 결함 가능성을 분석
디지털 보호논리 정형 검증 및 자동시험 소프트웨어 검증 (한국원자력연구소:KNICS)
- 원자력발전소 안전계통 디지털 보호논리 소프트웨어에 대한 정형검증 및 보호계통 소프트웨어에 적합한 테스팅 방안 구축하고 이를 위한 자동화 도구를 개발
POSAFE-Q 안전등급 제어기기 검증 ((주)포스콘)
- POSAFE-Q 안전등급 제어기기 확인 및 검증
주요 보유 기술
정형명세 및 검증 기술
- 수학적 모델에 기반한 소프트웨어 및 하드웨어 분석하는 기술
- S/W를 실행하지 않고 자동화된 도구에 의해 개발된 소스 코드를 분석하는 기술
- 소프트웨어 공학에 기반을 둔 체계적인 소프트웨어 시험 기술