Projects

2018

(SW 스타랩) 모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발
Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System
2015.03.01 – 2023.02.28, 과학기술정보통신부 SW 스타랩
신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증 기술: 고신뢰 CPS를 위한 CPS 어플리케이션 내 실패 유발 상호작용 지역화 기술
Failure-inducing interaction localization in CPS applications for high-reliability
2017.08.01 – 2018.04.30, 차세대정보컴퓨팅기술개발사업
Block-chain
201, SUPERVISION

2017

(SW 스타랩) 모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발
Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System
2015.03.01 – 2023.02.28, 과학기술정보통신부 SW 스타랩
KAERI
2015.03.01 – 2023.02.28, 미래창조과학부 SW 스타랩

2016

- 모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발
  2015.03.01 – 2023.02.28, 미래창조과학부 SW 스타랩
- Samsung
  2015.03.01 – 2023.02.28, 미래창조과학부 SW 스타랩

2015

모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발
2015.03.01 – 2023.02.28, 미래창조과학부 SW 스타랩
시스템 오브 시스템즈 역량 달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증 기술 개발
2015.03.01 – 2015.11.30, KAIST-대덕특구 출연(연) RED&B사업
오픈 소스 안정성 및 품질 지표 연구
2015.04.13 – 2015.11.13, 삼성전자
자율지능형 지식/기기 협업 프레임워크 기술 개발
2013. 05. 01 – 2017. 04. 30, 한국전자통신연구원
무인항공기 체계 소프트웨어 신뢰도 확보방안
2013.08.21 – 2016.03.20, 국방과학연구소
안드로이드 GUI Testing 자동화 도구 기술 개발
2014.10.01 – 2015.06.30, MDS 테크놀로지

2014

시스템 오브 시스템즈 확률 모델 검증 기술 개발
2014.05.12 – 2014.12.31, KAIST-대덕특구 출연(연) RED&B사업
안드로이드 GUI Testing 자동화 도구 기술 개발
2014.10.01 – 2015.09.30, MDS 테크놀로지
국방소프트웨어 프로세스 테일러링 기술(SW-13)-3단계
2012.01.01 – 2014.12.31, 국방과학연구소
자율지능형 지식/기기 협업 프레임워크 기술 개발
2013. 05. 01 – 2017. 04. 30, 한국전자통신연구원
무인항공기 체계 소프트웨어 신뢰도 확보방안
2013.08.21 – 2016.03.20, 국방과학연구소

2013

국방소프트웨어 프로세스 테일러링 기술(SW-13)-3단계
2012.01.01 – 2014.12.31, 국방과학연구소
자율지능형 지식/기기 협업 프레임워크 기술 개발
2013. 05. 01 – 2017. 04. 30, 한국전자통신연구원
무인항공기 체계 소프트웨어 신뢰도 확보방안
2013.08.21 – 2016.03.20, 국방과학연구소

2012

국방소프트웨어 프로세스 테일러링 기술(SW-13)-3단계
2012.01.01 – 2014.12.31, 국방과학연구소
무기체계 프로세스 기반 S/W품질 측정방안
2012.02.01 – 2013.05.31, 엘아이지넥스원(주)
알고리즘 순서도로 소스코드를 완성시키는 프로그램
2012.05.01 – 2012.10.31, 한국과학영재학교

2011

무인항공기체계 소프트웨어 신뢰도 확보 방안 용역
2011.05.16 – 2011.08.15, 국방과학연구소
국방소프트웨어 프로세스 테일러링 기술(SW-13)-2단계
2009.04.01 – 2011.12.31, 국방과학연구소

2010

소프트웨어 프로세스 개선을 위한 공학기술의 개발(9차년도)
2010.01.01 – 2010.12.31, 정보통신산업진흥원
효율적인 온라인 공동 음악 작업을 위한 VST 플러그인 개발
2010.03.01 – 2010.10.31, 한국과학영재학교
무기체계(유도조정장치용)내장형 safety critical S/W설계기법 및 재사용 지원 시스템 연구
2010.08.24 – 2012.12.31, 국방과학연구소
국방소프트웨어 프로세스 테일러링 기술(SW-13)-2단계
2009.04.01 – 2011.12.31, 국방과학연구소

2009

소프트웨어 프로세스 개선을 위한 공학기술의 개발(8차년도)
2009.01.01 – 2009.12.31, 정보통신산업진흥원
국방소프트웨어 프로세스 테일러링 기술(SW-13)-2단계
2009.04.01 – 2011.12.31, 국방과학연구소

2008

소프트웨어 프로세스 개선을 위한 공학기술의 개발(7차년도)
2008.01.01 – 2008.12.31, 정보통신연구진흥원
테스트 프로세스 현황분석 및 테스트 프로세스 개선 및 지원 방안 개발
2008.06.10 – 2008.12.31, (주)한국무역정보통신
K-모델기반의 S/W프로세스 개선 성과분석 연구
2008.07.15 – 2008.12.12, 한국소프트웨어진흥원
국방 S/W프로세스 테일러링 기술(SW-13)-1단계
2006.07.01 – 2008.12.31, 국방과학연구소

2007

소프트웨어 프로세스 현황분석 및 소프트웨어 기술성 평가 방법 개발
2007.06.01 – 2007.12.31, (주)한국무역정보통신
소프트웨어 프로세스 개선을 위한 공학기술의 개발(6차년도)
2007.09.01 – 2007.12.31, 정보통신연구진흥원
2단계 정보통신시스템 신뢰성 진단용역
2007.10.11 – 2007.12.19, 인천국제공항사
국방 S/W프로세스 테일러링 기술(SW-13)-1단계
2006.07.01 – 2008.12.31, 국방과학연구소

2006

공공부문 S/W사업, 발주관리 표준프로세스지침 시범적용 및 개선용역
2006.04.05 – 2006.12.04, 한국소프트웨어진흥원
국방 S/W프로세스 테일러링 기술(SW-13)-1단계
2006.07.01 – 2008.12.31, 국방과학연구소
SW프로세스 개선모델 개발 용역
2006.08.28 – 2006.12.27, 한국소프트웨어진흥원
소프트웨어 프로세스 개선을 위한 공학기술의 개발(5차년도)
2006.09.01 – 2007.08.31, 정보통신연구진흥원
UML을 이용한 CAM S/W 모델링(2차년도)
2006.10.01 – 2007.09.30, 시스메틱(주)

2005

소프트웨어 프로세스 개선을 위한 공학기술의 개발(4차년도)
2005.09.01 – 2006.08.31, 정보통신연구진흥원
UML을 이용한 CAM S/W모델링(1차년도)
2005.12.01 – 2006.06.30, 시스메틱(주)

2004

상호운용 보장을 위한 분석삭 객체지향 시험평가 기술 연구
2004.04.12 – 2004.12.10, 국방과학연구소
S/W 제품계열을 위한 관점지향 개발 방안 연구
2004.06.01 – 2005.02.15, 한국전자통신연구원
소프트웨어 프로세스 개선을 위한 공학기술의 개발(3차년도)
2004.08.01 – 2005.08.31, 정보통신연구진흥원

2003

툴 평가 및 아키텍처 재정립에 관한 연구
2003.01.01 – 2003.06.30, (주)이네트
소프트웨어 프로세스 개선을 위한 공학기술의 개발(2차년도)
2003.08.01 – 2004.07.31, 정보통신연구진흥원
차기고속정용 전투체계의 성능예측 및 효과도 분석을 위한 M&S S/W개발
2003.12.01 – 2005.12.31, 국방과학연구소

2002

공통운용환경 구성요소 및 프로토 타입 개발
2002.06.21 – 2002.12.20, 국방과학연구소
통합제조정보시스템을 위한 템플릿 구조 및 통합기술 개발
2002.07.01 – 2003.06.30, 브리엠에스솔루션스(주)
소프트웨어 프로세스 개선을 위한 공학기술의 개발(1차년도)
2002.08.01 – 2003.07.31, 한국소프트웨어진흥원

2001

컴포넌트 기반 개발의 기본 구조 설계
2001.05.01 – 2002.03.31, 피스트글로벌(주)
EJB기반 컴포넌트 소프트웨어 시험 도구개발(충남대과제)
2001.05.01 – 2001.10.31, 한국과학재단
소프트웨어 공학 기법을 활용한 REUSE 추징방안 컨설팅
2001.07.25 – 2002.01.25, 삼성SDS(주)

2000

전자상거래 요소기술 연구(1)
2000.01.01 – 2000.12.31, 과학기술부
SEC DTV 소프트웨어의 통합 테스팅 자동화 도구개발에 관한 연구
2000.02.01 – 2000.07.31, 삼성전자(주)
위성제어 소프트웨어 안전성 분석기법 연구(1)
2000.02.01 – 2000.08.31, 한국항공우주연구소
컴포넌트 시험환경 설계 및 구축에 관한 연구
2000.03.01 – 2000.11.30, 한국전자통신연구원
통신시스템용 컴포넌트 소프트웨어 개발 방법론 연구
2000.04.01 – 2000.12.31, 한국전자통신연구원
정보시스템 운용품질 평가 용역
2000.06.28 – 2000.11.27, 한국통신
학술연구용역
2000.10.16 – 2000.12.20, 국방부

1999

고 신뢰도 소프트웨어 분석 기법의 연구
1999.01.01 – 1999.12.31, 과학기술부
재 공학을 위한 객체 재생성 기술 개발
1999.02.16 – 1999.12.15, 한국전자통신연구원
프레임워크 기반의 애플리케이션 생성을 위한 문서화기법 개발
1999.02.16 – 1999.12.15, 한국전자통신연구원
시스템 구족 및 규격 독립형 보존 소프트웨어 객체지향 설계
1999.03.01 – 1999.11.30, 한국전자통신연구원
멀티미디어 문제 은행 DB 및 풀이시스템 구축을 위한 저작도구 개발
1999.07.01 -2000.06.30, 인터벡(주)

1998

개발 프로세스 분석 기반의 소프트웨어 프로젝트 관리시스템 개발
1998.01.01 – 1998.12.31, 인터벡(주)
멀티미디어 정보서비스의 병렬처리 객체지향 기법에 관한 연구
1998.02.20 – 1998.12.10, 한국통신기술(주)
ATM 교환기 보전기능의 객체모델링 및 검출
1998.03.01 – 1998.11.30, 한국전자통신연구소
재 공학을 위한 객체 재생성 기술 개발
1998.02.01 – 1998.11.30, SERI

1997

개발 프로세스 분석 기반의 소프트웨어 프로젝트 관리시스템 개발
1997.01.01 – 1997.12.31, 인터벡(주)
재 공학을 위한 객체 재생성 기술개발
1997.02.01 – 1997.11.30, SERI
병렬 프로그램 설RP를 위한 CASE 도구의 개발
1997.03.01 – 1999.02.28, 한국과학재단
멀티미디어 정보서비스의 병렬처리 객체지향 기법에 관한 연구
1997.04.29 – 1997.12.20, 한국통신기술(주)
분산 멀티미디어 프로그램의 속성검증
1997.05.01 – 1997.12.31, 삼성종합기술원
정보 통신망을 이용한 핵심 요소기술 연구
1997.11.01 – 1998.10.31, 한국자동차부품종합기술

1996

객체지향 CASE도구
1996.03.01 – 1997.02.28, 한국과학재단
조직적인 Software Reuse를 위한 개발방법론 Framework에 관한 연구
1996.06.16 – 1996.12.15, 삼성전자(주)
대용량 DB구축 및 검색품질 향상을 위한 최적화 방안
1996.06.22 – 1996.11.21, 한국통신기술(주)