Theory and Formal Methods Lab.


Project Name

Period

Finances

SDN 정형 프로그래밍 및 디버깅 기술에 대한 연구

2013.06.01 ~ 2013.11.30

ETRI

SDN 정형언어 변환기술에 대한 연구

2014.07.01 ~ 2014.12.31

ETRI

VM 기반 실시간 스케줄 가능성 분석을 위한 프로세스 알제브라 연구(1차)

2012.5.1~ 2013.4.30

교육과학기술부

VM 기반 실시간 스케줄 가능성 분석을 위한 프로세스 알제브라 연구(2차)

2013.5.1~ 2014.4.30

교육과학기술부

VM 기반 실시간 스케줄 가능성 분석을 위한 프로세스 알제브라 연구(3차)

2014.5.1~ 2015.4.30

교육과학기술부

고품질 융합 소프트웨어 개발지원 도구 연구(1차)

2013.9.1 ~ 2013.12.31

정보통신산업진흥원

고품질 융합 소프트웨어 개발지원 도구 연구(2차)

2014.1.1 ~ 2014.12.31

정보통신산업진흥원

고품질 융합 소프트웨어 개발지원 도구 연구(3차)

2015.1.1 ~ 2015.12.31

정보통신산업진흥원

개방형 네트워크를 위한 정형 명세 및 검증 기술 연구 (UPPAAL 레포트)

2012.06.01 ~ 2012.11.30

ETRI

미래 인터넷 참조 모델 설계 검증 기술 연구

2011.08.01 ~ 2012.01.31

ETRI

소프트웨어공학 기반 신기술 개발 (4차)

2011.03.01 ~ 2012.02.29

한국과학재단

스마트폰으로 제어가능한 미래형 로봇

2010.3. ~ 2010.12.

서울과학고등학교

영광 3,4 제어봉 제어기기 Failure mode effects and analysis

2010.10.01 ~ 2010.11.30

(주)비츠로시스

CPS 하이브리드 시스템 모델링 언어 연구

2010.07.01 ~ 2011.01.31

한국전자통신연구원 (ETRI)

Multithreaded program에 내재하는 Heisenbug 발견 및 예방을 위한 기법 개발

2010.07.01 ~ 2010.12.31

삼성전자 주식회사

융합소프트웨어 신뢰성 기술개발 연구 (CEEDS, 2차)

2010.03.29 ~ 2010.12.31

한국소프트웨어진흥원

소프트웨어공학 기반 신기술 개발 (3차)

2010.03.01 ~ 2011.02.28

한국과학재단

융합소프트웨어 신뢰성 기술개발 연구 (CEEDS, 1차)

2009.07.01 ~ 2009.12.31

정보통신 산업진흥원 (NIPA)

정형기법을 활용한 UBIFS 안정성 검증

2009.09.01 ~ 2009.12.31

삼성전자 주식회사

열차제어 시스템을 위한 정형기법 적용기술 개발

2009.07.15 ~ 2010.06.15

한국철도기술연구원

동적·미적·지적인 하키 로봇

2009.07.01 ~ 2010.02.28

한국과학창의재단

소프트웨어공학 기반 신기술 개발 (2차)

2009.03.01 ~ 2010.02.28

한국과학재단

공정 기술 변화를 고려한 새로운 CPU/DSP 설계 및 검증 기법 (3차)

2009.03.01 ~ 2010.08.31

한국과학재단

스마트카드 운영체제에 대한 EAL6 수준의 시험서 평가제출물 개발

2009.02.04 ~ 2009.11.30

정보보호진흥원

미적·기계적·지적인 큐브 로봇

2008.10.01 ~ 2009.02.28

한국과학재단

소프트웨어공학 기반 신기술 개발 (1차)

2008.09.01 ~ 2009.02.28

한국과학재단

열차제어시스템 바이탈 소프트웨어 정형검증 방법 연구

2008.08.16 ~ 2009.06.15

한국철도기술연구원

스마트카드 운영체제에 대한 EAL6 수준의 개발문서 평가제출물 개발

2008.04.01 ~ 2008.11.30

한국정보보호진흥원

공정 기술 변화를 고려한 새로운 CPU/DSP 설계 및 검증 기법 (2차)

2008.03.01 ~ 2009.02.28

과학기술부

공정 기술 변화를 고려한 새로운 CPU/DSP 설계 및 검증 기법 (1차)

2007.09.01 ~ 2008.02.29

과학기술부

열차제어시스템 안전성 확보를 위한 정형적 요구 명세 연구

2007.08.19 ~ 2008.06.18

한국철도기술연구원

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (7차)

2007.05 ~ 2008.04

원자력 연구소

보안정책모델 정형명세 평가를 위한 제출물 개발

2006.08 ~ 2006.12

한국 정보보호진흥원

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (6차)

2006.07 ~ 2007.04

원자력 연구소

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (5차)

2005.07 ~ 2006.06

원자력 연구소

객체지향 개환환경에서 원전 안전성 소프트웨어를 위한 V&V 시스템 개발

2005.03 ~ 2007.02

삼창

Ubiquitous 환경에서의 RFID 기반 지능형 SNP 개발

2004.12 ~ 2008.01

산업자원부

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (4차)

2004.07 ~ 2005.06

원자력 연구소

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (3차)

2003.07 ~ 2004.06

원자력 연구소

보안모델 및 메커니즘 정형검증 도구 개발

2003.04 ~ 2004.03

한국정보 보호진흥원

IT SOC 핵심 설계 인력 양성

2003.04 ~ 2004.03

정보통신부

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (2차)

2002.07 ~ 2003.06

원자력 연구소

인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 확인 검증 기법 연구 (1차)

2001.07 ~ 2002.06

원자력 연구소

정형명세 보안기능의 코드 생성 연구

2001.02 ~ 2001.11

한국정보 보호센터

보안기능의 정형화 구현 및 검증방법 연구

2000.05 ~ 2000.12

한국정보 보호센터

보안기능의 정형화 설계 방법 연구

1999.03 ~ 1999.11

한국정보 보호센터

CC-NUMA 시스템을 위한 확장된 캐쉬 일관성 유지 프로토콜 완전성 검증에 대한 연구

1999.02 ~ 2000.01

한국전자 통신 연구원




SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved