Recent Projects
LLM 기반 컨설팅 지식 관련 및 의사결정 지원 시스템 구축 (기업체용역과제, 2024)
고안전 SW 개발을 위한 안전 분석 및 검증 도구 기술 개발 (정보통신기획평가원, 2024, 4차년도)
2024 디지털기반 창의융합체험 「융프라」운영(수원) (경기도수원교육지원청, 2024)
2024 디지털기반 창의융합체험 「융프라」운영(고양) (경기도고양교육지원청, 2024)
2024 디지털기반 창의융합체험 「융프라」운영(화성오산) (경기도화성오산교육지원청, 2024)
2024 디지털기반 창의융합체험 「융프라」운영(부천) (경기도부천교육지원청, 2024)
2024 디지털기반 창의융합체험 「융프라」운영(시흥) (경기도시흥교육지원청, 2024)
고안전 SW 개발을 위한 안전 분석 및 검증 도구 기술 개발 (정보통신기획평가원, 2023, 3차년도)
마코프 모델링을 이용한 GitHub 분석 (기업체용역과제, 2023)
머신러닝 어플리케이션의 정량적 성능 및 안전성 분석 (기업체용역과제, 2023)
경기도교육청 디지털기반 창의융합체험 프로그램 운영 (경기도교육청, 2023)
2023 디지털기반 창의융합체험(융프라+지역특화체험학습)기본프로그램 용역 (경기도교육청, 2023)
2023 디지털기반 창의융합체험(융프라)지역연계 기본프로그램 용역 (경기도교육청, 2023)
고안전 SW 개발을 위한 안전 분석 및 검증 도구 기술 개발 (정보통신기획평가원, 2022, 2차년도)
ADAS AK-2 센서 SW의 안전성 확보를 위한 ISO 26262 기능안전 체계 수립 (정보통신산업진흥원, 2022, 2차년도)
SOTIF 달성을 위한 상업용 STPA 도구 활용 및 확장 방안 연구 (기업체용역과제, 2022)
고안전 SW 개발을 위한 안전 분석 및 검증 도구 기술 개발 (정보통신기획평가원, 2021, 1차년도)
ADAS AK-2 센서 SW의 안전성 확보를 위한 ISO 26262 기능안전 체계 수립 (정보통신산업진흥원, 2021, 1차년도)
소프트웨어 장애 유형 및 근본 원인 식별 (기업체용역과제, 2021)
SW중심대학 (정보통신기획평가원, 2021~)
소프트웨어 안전성 보증 연구센터 4차년도 (상명대 ITRC, 정보통신기술진흥센터, 2018.01.01~2018.12.31)
IEC62279 기반한 ATC Drive Interface Unit 소프트웨어의 신뢰ㆍ안전성 체계 구축 (앤츠, 2018.04,06~2018.12.07)
스마트 제조공장 구축을 위한 지능형 개발 프로세스 ATUM-(Sketcher) 개발 (중소기업청, 2017.06,01~2018.05.31)
소프트웨어 안전성 보증 연구센터 3차년도 (상명대 ITRC, 정보통신기술진흥센터, 2017.01.01~2017.12.31)
STA-MES 솔류션 개발도구 개선 (비컴, 2017.01.01~2017.12.31)
철도차량 ATP 화면표시기 소프트웨어의 신뢰ㆍ안전성 체계 구축 (앤츠, 2017.05.01~2017.11.30)
철도 분야 SW신뢰 안전성 확보를 위한 가이드 고도화 용역 (정보통신산업진흥원, 2017.07.04~2017.11.30)
소프트웨어 안전성 보증 연구센터 2차년도 (상명대 ITRC, 정보통신기술진흥센터, 2016.01.01~2016.12.31)
철도 분야 SW 신뢰·안전성 확보를 위한 가이드 개발과 시범 적용 (정보통신산업진흥원, 2016.07.07~2016.12.15)
소프트웨어 안전성 보증 연구센터 1차년도 (상명대 ITRC, 정보통신기술진흥센터, 2015.08.01~2015.12.31)
Projects
「통합형 감시.제어 시스템 개발을 위한 설계 및 구현 기반 기술연구」, 한우테크(주), 1900
「대수적 명세를 위한 정리 증명기 개발」, 시스템 공학 연구소, 1900
「모바일 인터넷 동기화 시스템 모델링에 관한 연구」, 한국전자통신연구원, 2002
「한국-CMU 소프트웨어 전문인력 교육 국내보급사업」, 한국소프트웨어공학협회, 2003
「정보보호시스템 보안정책모델 평가방법론 연구」, 한국정보보호진흥원, 2004
「임베디드 소프트웨어 품질향상을 위한 검증도구 개발」, 한국과학재단, 2004
「신뢰성있는 MPSoC 코드 생성을 위한 fFSM 모델의 정형 분석」, 서울대학교, 2005
「임베디드 소프트웨어의 품질 향상을 위한 검증도구 개발」, 한국학술진흥재단, 2005
「고 품질의 객체 지향 소프트웨어를 위한 정형 검증 도구 개발」, 한국과학재단, 2005
「교수 IT해외연수지원」, 정보통신진흥연구원, 2006
「고 품질의 객체 지향 소프트웨어를 위한 정형 검증 도구 개발」, 한국과학재단, 2007
「메타 데이터 기반의 디지털 콘텐츠 관리도구 개발」, 경기도지역협력연구센터, 2007
「효과적인 디지털 콘텐츠 서비스를 위한 상황 인식 정보 처리 기술」, 경기도(GRRC), 2008
「SW공학툴 공용저장소 구축 운영 용역」, 한국소프트웨어진흥원, 2008
「AUTOSAR 모델 전용 구문 검사기 연구시제품 개발」, 한국전자통신연구원, 2008
「웹 기반 소프트웨어 모델 체킹 도구 개발」, 경기도(GRRC), 2008
「효과적인 디지털 콘텐츠 서비스를 위한 소프트웨어 기술 (3차년도)」, 경기도(GRRC), 2009
「안전한 웹 소프트웨어 및 컨텐츠 서비스 기술 개발」, 경기도(GRRC), 2009
「차량 전장용 소프트웨어의 기본 플랫폼 설정을 위한 rule check 기능 개발」, 한국전자통신연구원, 2009
「차량 전장용 소프트웨어 플랫폼 설정을 위한 ECUC (ECU Configuration) Model Evaluator 기능 개발」, 한국전자통신연구원, 2010
「컴퓨터과학전문프로그램」, 정보통신산업진흥원, 2010
「모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발」, 경기도(GRRC), 2010
「IT 서비스 및 자산 관리 SW BMT 평가모델 개발」, 한국정보통신기술협회, 2010
「안전한 웹 소프트웨어 및 컨텐츠 서비스 기술 개발」, 경기도(GRRC), 2010
「효과적인 디지털 콘텐츠 서비스를 위한 소프트웨어 기술 (3차년도)」, 경기도(GRRC), 2010
「컴퓨터과학전문프로그램」, 정보통신산업진흥원, 2011
「모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발」, 경기도(GRRC), 2011
「컴퓨터과학전문프로그램」, 정보통신산업진흥원, 2011
「스마트 캠퍼스 구축을 위한 모바일용 표준 플랫폼 및 앱 개발」, 한국교육전산망협의회, 2011
「USN 기반 데이터 통합운용관리 시스템 품질평가모델 개발」, 한국정보통신기술협회, 2011
「컴퓨터과학전문프로그램」, 정보통신산업진흥원, 2012
「고신뢰 융합SW를 위한 필수 SW공학기술 조사 용역」, 정보통신산업진흥원, 2012
「모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발」, 경기도(GRRC), 2012
고신뢰 융합SW를 위한 필수 SW공학기술 조사 용역」, 정보통신산업진흥원, 2012
「소셜 서비스 융합 플랫폼 요소기술 개발 및 산업화」, 경기도(GRRC), 2013
「동적표현을 위한 Codeless 모바일 감성 UI/UX 자동화 제작 툴 개발과 맞춤형 인력 양성」, 정보통신산업진흥원, 2013
「빅데이터 SW 품질 평가모델 개발 용역」, 한국정보통신기술협회, 2013
「동적표현을 위한 Codeless 모바일 감성 UI/UX 자동화 제작 툴 개발과 맞춤형 인력 양성」, 정보통신산업진흥원, 2014
「소셜 서비스 융합 플랫폼 요소기술 개발 및 산업화」, 경기도(GRRC), 2015