Projects
need to update!
항공기 소프트웨어의 건전성 관리를 위한 개방형 시스템
2021.03.01~
MSIT
중소형 항공기급 개방형 항공전자 시스템 아키텍처 및 소프트웨어 개발
2019.05.01~
Lig nex1
항공기 소프트웨어의 원자성 위배를 실시간으로 치유하는 결정적 프레임웍 개발
2018.06.01~
NRF
1)
MC, LAD OFP 데이터 동기화 프레임웍 연구
2016.09.01~
KAI
2)
초음속 항공기 항공전자 통합 소프트웨어를 위한 HMD 시뮬레이션 소프트웨어 개발
2015.10.01~
KAI
3)
ACTIVE 정보화역량 강화
2015.03.01~
NRF
4)
대학이러닝지원센터 콘텐츠개발지원사업
2014.04.01~
MOE
5)
정보보호사이버교육센터 사업
2014.03.01~
KERIS
6)
중형 항공기용 IMA 검증시스템의 내고장성 ARINC-653 OS를 위한 파티션 스케쥴의 구성 및 검증 도구 개발
2012.01.01~
KEIT
7)
멀티코어 소프트웨어의 병행 오류 디버깅을 위한 연구
2010.09.01~
NRF
8)
멀티코어 기반 항공 임베디드 소프트웨어 기술 개발
2009.03.01~
NIPA
9)
SANique Data Replicator 개발 (3단계)
2009.01.02 ~
MacroImpact, Inc.
유비쿼터스 네트워크 센서단말을 위한 임베디드 AP기술
2007.11.01 ~ 2008.02.28
ETRI
10)
Development of Practical Tool for Avoiding Data Races in OpenMP Programs
2007.10.01 ~ 2008.09.30
KRF
11)
SANique Data Replicator 개발 (2단계: Windows)
2007.02.01 ~
MacroImpact, Inc.
SANique Data Replicator 개발 (1 단계: Linux)
2006.08.10 ~ 2006.10.31
MacroImpact, Inc.
Practical Detection of Race Condition for Debugging OpenMP Programs
2005.03.01 ~ 2006.02.28
SNU ICT
12)
하드웨어 기반 유비쿼터스 임베디드 S/W 디버깅 도구 기술 개발
2004.06.01 ~ 2004.11.30
ETRI
13)
유비쿼터스 임베디드 S/W 개발 지원도구의 기술 동향 및 요구 사항 분석
2003.08.10 ~ 2003.12.15
ETRI
14)
Development of Effective Technique and Tool for Detecting Message Races in Parallel Programs
2003.04.01 ~ 2006.03.31
KOSEF
15)
OpenMP 프로그램을 위한 시각적 병렬 디버거 개발
2000.07.01 ~ 2002.06.30
IITA
16)
리눅스 클러스터 시스템을 위한 병렬 디버거 개발
2000.04.01 ~ 12.31
ETRI
17)
1)
,
4)
,
8)
National Research Foundation of Korea
2)
,
3)
Korea Aerospace Industries, Ltd.
5)
Ministry of Education
6)
Korea Education and Research Information Service
7)
Korea Evaluation Institute of Industrial Technology
9)
National IT Industry Promotion Agency
10)
,
13)
,
14)
,
17)
Electronics and Telecommunications Research Institute
11)
Korea Research Foundation
12)
Institute of Computer Technology, Seoul National University
15)
Korea Science and Engineering Foundation
16)
Institute for Information Technology Advancement
1)
,
4)
,
8)
National Research Foundation of Korea
2)
,
3)
Korea Aerospace Industries, Ltd.
5)
Ministry of Education
6)
Korea Education and Research Information Service
7)
Korea Evaluation Institute of Industrial Technology
9)
National IT Industry Promotion Agency
10)
,
13)
,
14)
,
17)
Electronics and Telecommunications Research Institute
11)
Korea Research Foundation
12)
Institute of Computer Technology, Seoul National University
15)
Korea Science and Engineering Foundation
16)
Institute for Information Technology Advancement