서울시 동작구 흑석동 221 중앙대학교

제2공학관 5층 컴퓨터공학과 521호

 

이찬근, 중앙대학교 공과대학 컴퓨터공학과 조교수 

제2공학관 4층 422호 

전화번호: 02-820-5829

이메일: cglee 골뱅이 cau 점 ac 점 kr

 

  

우리 연구실에서는 소프트웨어와 컴퓨터 기반 시스템의 개발을 보다 체계적이며 효과적으로 할 수 있도록, 제반 이론과 방법을 연구합니다. 순수 소프트웨어 시스템 뿐만 아니라 하드웨어와 밀접하게 결합된 시스템에도 관심이 있습니다. 현재 두가지의 주제를 중점적으로 연구하고 있습니다.

(1) 실시간 및 내장형 시스템 소프트웨어: 이들 시스템을 위한 요구분석, 설계, 구현, 검증 방법에 대해 연구하고 있습니다. 이러한 시스템의 소프트웨어는 기능적 정확성 (Functional Correctness) 뿐만 아니라 시간적 정확성(Temporal Correctness) 보장을 요구합니다. 시간적 정확성을 보장하기 위해 체계적인 설계 기법, 엄밀한 검증 기법, 수행시간 모니터링 기법등이 연구되고 있습니다. 최근 각종 모바일 장치, 센서 네트웍, 로봇, CPS 등과 같이 실시간적인 요소를 갖춘 시스템에 대한 수요가 급격히 늘고 있는데 반하여 실시간 및 임베디드 이론을 포함한 시스템 전반에 대한 이해를 갖춘 전문 인력이 매우 부족합니다. 우리 연구실은 실시간 소프트웨어 분야에 대한 연구 개발을 선도할 인재 육성을 목표로 하고 있습니다. 최근에는 리얼타임 자바 (Real-time Java)에 기반한 실시간 시스템을 효과적으로 개발하기 위한 컴포넌트 기반 프레임웍을 개발하고 있습니다. 리얼타임 자바는 기존 자바 언어를 확장하여 리얼타임 쓰레드, 예측 가능한 가비지 컬렉션, 스콥 메모리, 비동기 이벤트 핸들러 등을 지원합니다. 최근 보잉사를 비롯하여 다양한 산업체에서 차세대 실시간 시스템의 개발 방법으로 리얼타임 자바를 채택하고 있으며 학계에서도 활발한 연구가 이루어지고 있습니다.

(2) 소프트웨어 아키텍쳐 : 소프트웨어 아키텍쳐는 소프트웨어 개발시 근간이 되는 청사진이라 볼 수 있습니다. 따라서 많은 소프트웨어 공학 교과서와 방법론들은 소프트웨어 아키텍쳐의 명시적 정의와 적절한 관리를 요구하고 있습니다. 하지만 현실에서는 소프트웨어 아키텍쳐가 애초부터 기록되지 않거나 시스템의 진화 과정에서 갱신이 되지 않아 실제 시스템의 것과 불일치하여 시스템의 유지보수 시 도움이 되지 못하는 경우가 허다합니다. 우리는 소프트웨어 소스 코드를 비롯한 다양한 산출물로부터 소프트웨어 아키텍쳐를 자동으로 복원하는 연구를 진행하고 있습니다. 소프트웨어 모듈 간 의존 관계를 파악한 후 데이터 마이닝에서 사용되는 클러스터링 방법 등을 이용하여 모듈간 계층 구조를 복원하고 유사한 모듈들을 그룹화합니다. 이후 모듈의 의미(semantics) 분석 및 개발자로 부터의 피드백을 통해 아키텍쳐 복원 결과를 보강합니다. 또한 소프트웨어의 모듈화 정도를 측정하고,  어떠한 부분이 아키텍쳐 관점에서 개선될 필요가 있는지 진단하는 도구를 개발하고 있습니다.

 

우리 연구실은 열의있고 성실한 대학원생 및 학부 연구생을 환영합니다. 소프트웨어공학, 실시간시스템, 내장형 시스템 등의 다양한 전문분야들이 융합된 연구를 원하는 학생들에게 좋은 연구환경을 제공할 것입니다. 우리 연구실에 관심이 있는 학생은 언제나 지도교수나 실시간 소프트웨어공학 연구실 소속의 연구원들에게 찾아오시면 연구 분야 및 지원에 대해 자세한 설명을 들으실 수 있습니다. 특히 우수 대학원생에 대해서는 등록금 지원  및 생활비 보조와 함께 각종 국내외 학술대회 참가지원의 혜택이 있습니다.

• 2007.3 - 현재     : 중앙대학교 컴퓨터공학과 조교수
• 2005.2 - 2007.2 : 미국 오레건 소재 인텔, 소프트웨어 엔지니어
• 1999.8 - 2005.5 : Univ. of Texas at Austin, Computer Science 박사
• 1996.3 - 1998.2 : KAIST 전산학과 석사
• 1991.3 - 1996.2 : 중앙대학교 전자계산학과 학사

• 2011.5 - 2014.4 : 고신뢰 융합 IT 리얼타임 자바응용을 위한 컴포넌트 기반 개발 및 검증 방법 (교육과학기술부 - 연구재단 지원사업. 3년 과제)

• 2009.6 - 2011.5 : 조합 가능한 실시간 임베디드 소프트웨어 개발 프레임웍 (교육과학기술부 - 학술진흥재단 지원사업. 2년 과제)
• 2008.7 - 2009.6 : 사이버-물리 시스템(Cyber-Physical System)을 위한 이벤트 모니터링 서비스 (교육과학기술부 - 학술진흥재단 지원사업. 1년과제)
• 2008.12 - 2009.11 : 유비쿼터스 버스 관리 시스템 개발 (서울시 기술기반 구축사업. 1년 과제)
• 2007.8 - 2011.7 : 차세대 서울시 디지털콘텐츠를 위한 유무선 IP 멀티미디어 네트워크 시스템 개발 (서울시 기술기반 구축사업. 4년 과제) 

---

• 2008 가을학기
• 학부 : 프로그래밍 언어론  

• 2008 봄학기
• 학부 : 소프트웨어공학, 설계 패턴
• 대학원 : 소프트웨어공학 

• 2007 가을학기
• 학부 : 소프트웨어공학
• 정보대학원 : 실시간시스템  

• 2007 봄학기
• 학부 : 프로그래밍 언어론, 설계 패턴