Projects

FIXME need to update!

항공기 소프트웨어의 건전성 관리를 위한 개방형 시스템 2021.03.01~ MSIT
중소형 항공기급 개방형 항공전자 시스템 아키텍처 및 소프트웨어 개발 2019.05.01~ Lig nex1
항공기 소프트웨어의 원자성 위배를 실시간으로 치유하는 결정적 프레임웍 개발 2018.06.01~ NRF1)
MC, LAD OFP 데이터 동기화 프레임웍 연구 2016.09.01~ KAI2)
초음속 항공기 항공전자 통합 소프트웨어를 위한 HMD 시뮬레이션 소프트웨어 개발 2015.10.01~ KAI3)
ACTIVE 정보화역량 강화 2015.03.01~ NRF4)
대학이러닝지원센터 콘텐츠개발지원사업 2014.04.01~ MOE5)
정보보호사이버교육센터 사업 2014.03.01~ KERIS6)
중형 항공기용 IMA 검증시스템의 내고장성 ARINC-653 OS를 위한 파티션 스케쥴의 구성 및 검증 도구 개발 2012.01.01~ KEIT7)
멀티코어 소프트웨어의 병행 오류 디버깅을 위한 연구 2010.09.01~ NRF8)
멀티코어 기반 항공 임베디드 소프트웨어 기술 개발 2009.03.01~ NIPA9)
SANique Data Replicator 개발 (3단계) 2009.01.02 ~ MacroImpact, Inc.
유비쿼터스 네트워크 센서단말을 위한 임베디드 AP기술 2007.11.01 ~ 2008.02.28 ETRI10)
Development of Practical Tool for Avoiding Data Races in OpenMP Programs 2007.10.01 ~ 2008.09.30 KRF11)
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 ICT12)
하드웨어 기반 유비쿼터스 임베디드 S/W 디버깅 도구 기술 개발 2004.06.01 ~ 2004.11.30 ETRI13)
유비쿼터스 임베디드 S/W 개발 지원도구의 기술 동향 및 요구 사항 분석 2003.08.10 ~ 2003.12.15 ETRI14)
Development of Effective Technique and Tool for Detecting Message Races in Parallel Programs 2003.04.01 ~ 2006.03.31 KOSEF15)
OpenMP 프로그램을 위한 시각적 병렬 디버거 개발 2000.07.01 ~ 2002.06.30 IITA16)
리눅스 클러스터 시스템을 위한 병렬 디버거 개발 2000.04.01 ~ 12.31 ETRI17)

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