소프트웨어공학연구실

 

Research

Projects

·AI 기술 도입을 통한 CP 진성 이수 검출율 개선, 삼성전자, 2023.3.1~2024.2.29

AI Technology based False Positive Faults Reduction Method, Samsung Elct, Co., 2023.3.1~2024.2.29


·이화여대 인공지능융합혁신인재양성 (인공지능융합혁신대학원)사업 책임, 과학기술정보통신부 정보통신기획평가원, 2022.7.1~2025.12.31

Artificial Inteligence Convegence Innovation Human Resources Development (Ewha Womans Unieversity), Ministry of Science and ICT, IITP, 2022.7.1~2025.12.31


 ·머신러닝 기법을 이용한 변수 취약점 탐지 연구, SK Hynics, 2021.4.1~2022.3.31

Variable Vulnerability Detection with Machine Learning, SK Hynics, 2021.4.1~2022.3.31

 

·샤시제어SW 검증 기반 기술 개발, 현대기아자동차(남양연구소), 2017.10.1-2018.8.31

Car Chassis Control Software Verification and Evaluation , Hyundai Motor Company, 2017.10.1 - 2018.8.31


 ·적응형 블록체인 플랫폼 기술 개발 및 전문 인력 양성,  ITRC(서강대), 2017.6.1-2022.12.31

Development of Blockchain Adaptive Platform technology and Creating Human Resources, ITRC, 2017.6.1-2022.12.31

 

·무기체계SW결함자동탐지기술개발 과제,  방위산업기술지원센터, 2016.10.1-2019.9.30

Automatic SW Fault Localization Technique for Weapons Systems, Defense Industry Technology Center, 2016.10.1-2019.9.30

 

·축산 스카트팜용 ICT 기자재 국산화 기술 과제,  농림수산식품기술기획평가원, 2016.9.5-2018.12.31

Livestock Farms Developed Smart ICT Equipment Localization Technology, Korea Institute of Planning and Evaluation for Technology in Food, Agriculture, Forestry and Fisheries, 2016.9.5-2018.12.31


· Memory Corruption Detecting Tool , 삼성전자, 2017.4.3-2017.12.17

Memory Corruption Detecting Tool, Samsung Elct, Co., 2017.4.3-2017.12.17 


· 샤시 제어 SW 검증 점검 기준 고도화 개발, 현대기아자동차(남양연구소),

Enhancement of the Car Chassis Control Software Verification and Evaluation Standard, Hyundai Motor Company, 2016.7.1 - 2017.5.31 


· 소프트웨어 검증을 위한 결함 주입기법 활용 가이드 및 검증 툴 개발, 현대자동차 (남양연구소), 2016.4.1-2017.5.31

Development of Fault Injection Testing Guide and Tool for Automotive ECU Software, Hyundai Motor Company, 2016.4.1 - 2017.5.31 


· 고품질 융합 소프트웨어 연구센터 , ITRC(고려대), 2016.1.1-2016.12.31

Secure Software Research Center, ITRC, 2016.1.1 - 2016.12.31 


· 편의제어기 소프트웨어 ISO26262 기반 검증 고도화 , 현대기아자동차(남양연구소), 2015.3.23-2015.11.30

·  ISO26262 based Software Verification and Testing Methods for Electronic Control System, Hyundai Motor Company, 2015.3.23 - 2015.11.30 


· 고품질 융합 소프트웨어 연구센터, ITRC(고려대), 2015.1.1-2015.12.31

Secure Software Research Center, ITRC, 2015.1.1 - 2015.12.31 


· 안드로이드 시스템을 위한 테스트 기술개발 및 테스트 자동화 플렛폼 구축, 삼성전자, 2014.2.1-2017.1.31


· 고품질 융합 소프트웨어 연구센터. ITRC(고려대), 2014.2.1-2017.1.31


· 바디 편의제어기 소프트웨어 검증체계 구축, 현대기아자동차(남양연구소), 2014.4.1-2014.11.30


· KT 융합기술원 SW QA팀의 SW 테스트 자문, KT 융합기술원, 2014.5.1-2014.11.30


· SW 검증 기술 개발, 현대기아자동차(남양연구소), 2013.8.1-2014.12.31


· KT 종합기술원 서비스연구소 S/W응용기술 SW QA팀의 SW 테스트 컨설팅, KT 종합기술원, 2013.3.1-2013.12.31


· 클라우드 SaaS를 위한 테스팅 서비스 개발, ㈜유비유홀딩스, 2013.2.1-2013.11.30


· eMMC FW 테스트 커버리지 및 테스트 케이스 도출 방안 구축 연구, (주)삼성전자, 2013.2.1-2014.1.31


· 현대모비스 S/W 품질향상을 위한 테스트 개선 방안 구축, (주)엔지비-현대모비스, 2013.1.7-2013.12.10


· 클라우드 SaaS를 위한 테스팅 서비스 개발, ㈜유비유홀딩스, 2012.5.1-2012.12.31


· 차량 인포테인먼트 소프트웨어의 능동적인 오류 방어 및 원격 로그 수집을 위한 툴 개발 (Rophe)

   ㈜NGV-현대자동차, 2011.3.1-2013.3.29


· 인포테인머트 OS, BSP 영역 성능 최적화 기술 개발, ㈜NGV-현대자동차, 2011.3.1-2012.3.31


· SW 요구및 검증 공학 기술 연구, 지식경제부 및 정보통신산업진흥원/ITRC, 2009.03.01-2012.12.31


· 2011년 기술포럼(소프트웨어 부문), ㈜현대모비스, 2011.04.1-2011.12.31


· Flash 메모리 SW 플랫폼 기반 테스트 체계 구축, ㈜삼성전자, 2010.05.25-2011.05.24


· 차량 인포테인먼트 소프트웨어의 국제 품질 확보를 위한 테스트 자동화 방안, ㈜NGV-현대자동차

· 2010.1.1-2010.12.31


· 테스트와 디버깅 공정이 연계된 실차 테스트 자동화도구 개발 , ㈜NGV-현대자동차,

  2008.3.1-2008.9.30


· 카 인포테인먼트 임베디드 소프트웨어를 위한 테스트 자동화 방안 개발 , ㈜NGV-현대자동차

· 2008.3.1~2008.9.30 

   Embedded SW Test for Car Infotainment System,  NGV - Hyundai Motor Company,    2008.3.1~2008.9.30 


· 인터페이스 기반 모바일 응용 SW 성능 테스트 방법 연구, ETRI,  2007.6.16 ~ 2010.1.31

   Performance Unit Testing for mobile applications, ETRI, 2007.6.16 ~ 2010.1.31


· u-Commerce 소프트웨어 여성 전문인력 양성사업, 학술진흥재단, 2006.3.1 ~

  BK2: Developing Professional Women for u-Commerce Software,  Korea Research   Foundation,  2006.3.1 ~


· 이뮬레이터를 활용한 테스트 데이터 자동 생성 및 수행 방안, 학술진흥재단, 2006.7.1~2008.6.30

  Automating Embedded Software Testing on an Emulated Target Board, Korea Research  Foundation, 2006.7.1~2008.6.30


· SAMSUNG Mobile AP Device Drivers를 위한 테스트 모델 및 테스트 자동화 도구 개발- Linux와 ARM 프로세서의 임베디드 SW 인터페이스 커버리지 기반의 이뮬레이션 테스트 도구 개발, 삼성전자,   2005.08.01 ~ 2005.12.31,     2006.06.15~2007.06.18 

  Development of an Embedded SW Testing Toolkit for SAMSUNG Mobile AP Device Drivers, Samsung Electronics,Co, LTD.  ,     2005.08.01 ~ 2005.12.31,  2006.06.15~2007.06.18    


· Embedded Software BMT 평가모델 개발, 한국정보통신기술협회, 2004.5.11 ~

   2004.11.30 Development of Evaluation Model for Embedded SW BMT , TTA, 2004.5.11 ~


· 내장형 소프트웨어 테스트 기법 및  도구 개발, 한국과학재단, 2003.9.1~2006.8.31

  Embedded Software Testing and Automation Techniques, KOSEF, 2003.9.1~2006.8.31


· 안전등급 제어기기 프로세서 모듈에 대한 정형기법 및 테스팅 기법 적용 및 분석/ 인허가 적합성 향상을 위한 정형기법 및 테스팅을 이용한 검증 확인 방법론 연구, 서울대 기초전력공학공동연구소-원전성능센터,  2001.7 ~2008.4 

  Analysis Using Formal Method and Testing Technology for the Processor Module for Safety- Critical   Application, MOST,  2004.7~2008.4

  Development of Licensing Technology for Digital I&C, MOST, 2001.7~2004.6


· 국제공통평가표준 시험 및 평가 방법론 연구, 한국전자통신연구소, 2002.4.15 ~ 2002.12.14 


· 정보보호시스템 평가의 효율성을 제고할 수 있는 기존 보증방법론의 접근방법 연구, 한국정보보호진흥원, 2002.7.1~ 2002.11.30  


· 소프트웨어 테스트 프로세스 재사용 방안 및 생성 자동화 도구 구현, 한국통신연구소, 2001.4.11 ~ 2001.11.30     


· DASE 시스템을 위한 테스트 방안에 관한 연구, 삼성전자, 2001.3.1~ 2001.10.18

  Testing Technique for the DASE System, Samsung Electronics, Co, LTD., 2001.3.1~ 2001.10.18


· SEC DTV 소프트웨어의 통합 테스팅 자동화 도구 개발에 관한 연구, 삼성전자 2000.2.1~ 2000.7.31

  Automating a SEC DTV Software Integration Test, Samsung Electronics, Co, LTD., 2000.2.1~ 2000.7.31


· Biomedical Ewha IT, 2007.3-2010.2