경북대 산업현장 기술지원 HOT LINE CENTER
기본정보
 |
이우진 교수
|
분야 |
스마트기기부품산업 |
|---|---|
단과대학 |
IT대학 |
학과(부) |
컴퓨터학부 |
전공분야 |
소프트웨어공학 |
사업화가능아이템 |
|
기술협력 및 자문분야 |
- 임베디드 소프트웨어 모델링 분석 및 검증 |
키워드 |
소프트웨어공학, 임베디드 실시간시스템, 컴포넌트기술, 모델링 및 분석 |
연구실위치 |
IT 3호관 307B호 |
연구실소개 |
소프트웨어 공학이란 주어진 예산과 기간 내에서 고품질 소프트웨어의 개발 및 유지보수를 위한 모든 기법, 도구, 방법론의 총칭으로서 전산학, 경영학, 심리학을 토대로 한 종합 학문이다. 본 임베디드 소프트웨어 공학 연구실에서는 공학적인 접근 방식에 의거하여 효율적이고 신뢰성 높은 임베디드 소프트웨어를 개발하는데 필요한 소프트웨어 공학 이론과 응용 기술을 연구한다. 특히, 임베디드 소프트웨어의 개발 프로세스와, 요구분석의 모델링 및 분석 기술, 그리고 이를 지원하는 Eclipse 기반의 CASE 도구 개발에 주력하고 있다. |
학력정보
| 졸업년도 | 학교 | 전공 | 학위 |
|---|---|---|---|
| 1992 | 경북대학교 | 컴퓨터과학 | 학사 |
| 1994 | KAIST | 소프트웨어공학 | 석사 |
| 1999 | KAIST | 소프트웨어공학 | 박사 |
주요경력
| 근무처 | 부서 | 근무기간 | 업무내용 |
|---|---|---|---|
| ETRI | 소프트웨어공학연구부 | 1997~2002 | 선임연구원 |
| 경북대학교 | 전자전기컴퓨터학부 | 2002~현재 | 교수 |
| Univ. of Pennsylvania | Dept. of Computer and Information Science | 2005~2006 | Visiting Researcher |
주요연구실적
| 연구실적 | 지원기관 | 수행연도 |
|---|---|---|
휴대정보 단말기용 웹 서비스 클라이언트 및 WIPI SDK |
한국전자통신연구원 | 2003 |
리눅스 기반 스마트폰용 웹서비스 개발에 관한 연구 |
한국전자통신연구원 | 2004 |
분산 임베디드 시스템의 모델링 및 안전성 분석방법에 관한 연구 |
한국학술진흥재단 | 2005 |
정형적 명세 기법을 이용한 소프트웨어 모델링 및 검증 |
LG 전자 | 2007 |
정보가전 소프트웨어의 아키텍처 및 코드 생성 기법 개발 |
LG 전자 | 2008 |
컴포넌트 기반의 차량용 응용 소프트웨어 설계 도구 개발 |
대구경북과학기술원 | 2008 |
유비쿼터스/임베디드 시스템 소프트웨어 개발 환경 연구 |
IITA (ITRC) | 2003~2008 |
고신뢰도 내장형 실시간 소프트웨어 개발 기술 |
국방과학연구소 | 2006~2011 |
지그비 네트워크 토폴로지 GUI 개발 |
임베디드소프트웨어 연구센터 | 2008 |
정보가전 소프트웨어의 모델링 도구 및 코드 생성 도구 개발 |
LG 전자 | 2009 |
차량 전장용 실시간 운영체제의 국제표준 적합성 인증연구 |
ETRI | 2009 |
소나체계 데이터 전송 시스템 설계 |
국방과학연구소 | 2009~2011 |
역공학 기반 임베디드 소프트웨어의 신뢰성 향상 및 테스팅 자동화 연구 |
한국연구재단 | 2010~2013 |
안드로이드 액티비티 기반 GUI 테스트 기술 개발 |
대구테크노파크 | 2011~2012 |
IT 융합 고급인력과정 지원 사업 : IT 자동차 융합연구센터 |
정보통신산업진흥원 | 2011~2014 |
자율군집을 지원하는 웰빙형 정보기기 내장 소프트웨어 플랫폼 개발 |
지식경제부 | 2011~2015 |
핵심기술
| 분야명 | 핵심기술 | 이미지 |
|---|---|---|
소프트웨어 재사용 기술 |
- 컴포넌트 개발 기술- 소프트웨어 컴포넌트, 웹 서비스, 소프트웨어 아키텍처 등의 소프트웨어 재사용 기술- 소프트웨어 아키텍처의 정형적 모델링, 분석, 검증 방법과 쉽게 컴포넌트들을 교체할 수 있는 유연한 소프트웨어 프레임워크 시스템 | 090415_181818 |
소프트웨어 시스템 모델링 및 분석 |
- 정형 언어(formal methods)를 이용한 소프트웨어 모델링 및 분석- Statecharts, Petri nets, LTS 등의 정형 언어(formal methods)를 이용한 소프트웨어 시스템의 모델링 기술- 모델 안전성, 보안성 등의 critical properties의 분석 기술 | 090415_181818 |
Embedded S/W 기술 |
- 고신뢰도 내장형 실시간 소프트웨어 기술- 임베디드 소프트웨어 모델링 및 설계 기법- 컴포넌트 기반 실시간 내장형 소프트웨어 개발방법론- Eclipse 기반 개발 프로세스 지원 통합 CASE 도구 | 090415_181818 |
소프트웨어 테스팅 기술 |
- 임베디드 소프트웨어 테스팅 기술- JUnit, xUnit 단위 테스트 기술- 테스트 시나리오 자동 생성 기술- 테스트 자동화 환경 |
보유장비 및 소프트웨어
| 장비/소프트웨어명 | 내용 |
|---|---|
| MoteWorks 2.0 - Crossbow | 센서네트워크 모니터링 도구 |
| WSN Professional Kit - Crossbow | 센서네트워크 개발 키트 |
| HBE-EMPOSII - 한백전자 | 임베디드 시스템 개발 장비 |
| HMOTE2420 - 하이버스 | 임베디스 시스템 개발 장비 |
보유특허
| 특허명 | 대표발명가 | 보유연도 | 이전희망 |
|---|---|---|---|
양방향 통합 리모컨의 구현 방법 및 그 시스템 |
신영술 | 2009.06.02 | |
블루투스 통신을 이용한 쿠폰 관리 시스템 |
류호동 | 2012.04.16 |