Projects
　

• 한국형 원자력발전소 안전최우선소프트웨어 개발을 위한 정형기법 기반의 소프트웨어 개발방법론 개발,  한국학술진흥재단, '08.07~'09.06 (종료)
• SW 요구 및 검증공학 기술연구 센터, 융합 소프트웨어를 위한 요구 및 품질검증 기술 개발,  대학IT연구센터지원사업, 지식경제부, '09.03~'12.12 (종료)
• 무인비행체SW 연구센터, 무인비행체용 실시간 SW 플랫폼, 대학IT연구센터지원사업, 지식경제부, '10.03~'11.12 (종료)
• 한국형 원자력발전소 원자로보호시스템을 위한 통합 소프트웨어 개발 패키지 개발, 한국연구재단, '10.05~'13.04 (종료)
• 안전 필수 산업분야의 ‘SW공학 경쟁력 강화를 위한 SW안전성 품질현황 조사’ 용역, 정보통신산업진흥원, '10.11 ~ '10.12 (종료)
• 안전등급 제어기기 엔지니어링 도구 성능개선 기술개발, 원전기술혁신사업-단기 핵심기술 위탁과제, 한국에너지기술평가원, '10.11 ~ '13.10 (종료)
• 정형기법 기반 안전등급 계측제어 소프트웨어 평가방법 개발, 주요사업 위탁과제, 한국원자력연구원, '12.01 ~ '14.12 (종료)
• 통합개발환경 확인 및 검증, 창의사업 위탁과제, 한국원자력연구원, '13.04 ~'15.12 (종료)
• 고신뢰 자율제어 SW를 위한 CPS (Cyber-Physical Systems) 핵심 기술 개발, 한국전자통신연구원, '11.03 ~ '14.02 (종료)
• 안전등급 계측제어 소프트웨어 위해도 평가방법 개발, 주요사업 위탁과제, 한국원자력연구원, '15.02 ~ '17.12 (종료)
• 상용 합성도구 검증을 위한 VIS 성능 개선, 한국연구재단(SGER), '15.11 ~ '16.10 (종료)
• 통합 모듈형 실시간 운영체제 정형 검증, 한국전자통신연구원, '16.03 ~ '17.02 (종료)
• Formal Method 기반 암호 알고리즘 및 보안 프로토콜 검증에 관한 연구, 위탁과제, 국가보안기술연구소, '19.04 ~ '19.10.(종료)
• 계층적 구조를 갖는 안전 시스템의 체계적인 위해도 분석을 위한 통합 위해도 분석 프레임워크, 한국연구재단, '17.06 ~ '20.05(종료)
• 신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증기술, 차세대정보컴퓨팅기술개발사업, 한국연구재단, '17.09 ~ '20.12.(종료)
• 무인이동체 보안ㆍ안전성 평가 모델 개발 및 제도 연구, 위탁과제, 국가보안기술연구소, '20.05 ~ '20.11.(종료)
• 통합 위험 분석 모델을 통한 다중 가상 물리 시스템의 시스템 테스트 케이스 생성, 한국연구재단, '21.06 ~ '24.02.