메뉴 건너뛰기

본문으로 바로가기 주메뉴로 바로가기

교수기술력정보

산업현장 기술지원 HOT LINE CENTER

인쇄하기

기본정보

교수 사진
최윤자 교수
전화: 053-950-7549
팩스:053-950-6369
홈페이지:http://m80.knu.ac.kr/~sselab/
이메일:yuchoi76@knu.ac.kr
분야
스마트기기부품산업 
단과대학
IT대학 
학과(부)
컴퓨터학부 
전공분야
소프트웨어 정형분석 
사업화가능아이템
컴포넌트 기반 정형 분석 도구, 내장형시스템 안전성 분석도구 
기술협력
및 자문분야
1. 내장형 소프트웨어 안전성 분석 및 검증 2. 고안전성 내장형 소프트웨어 개발 프로세스 3. 컴포넌트 기반 소프트웨어 개발 및 분석 4. 소프트웨어 안전성 테스트 
키워드
소프트웨어 안전성, 정형개발과 분석, 모델 검증, 컴포넌트 
연구실위치
IT 3호관 307A호 
연구실소개
소프트웨어 안전공학 연구실에서는 고안전성을 요구하는 제어 소프트웨어의 안전도를 분석하고 검증하는 기법을 연구하고 있다. 소프트웨어의 안전성은 소프트웨어의 오작동으로 인해 소프트웨어에 의해 제어되는 시스템이 인명사고나 재산상의 피해를 초래하는 것을 미연에 방지하기 위해 체계적으로 정의되고 자동화 도구를 사용해 분석된다. - 분석대상: 소프트웨어 요구사항, 모델기반 개발 방식에서의 컴포넌트 명세, 프로그램 소스코드 등 - 분석도구로: 정적 코드분석기와 모델검증기를 활용한 자체개발 모델 변환기, 테스트생성기 - 분석 및 검증 대상 언어: UML, C,C++, Java 등 - 분석도메인: 차량용 운영체제를 포함한 안전중요 내장형 소프트웨어 

학력정보

졸업년도 학교 전공 학위
1991.02 연세대학교 수학 학사
1993.02 연세대학교 수학 석사
1999.1 미네소타 주립대학 컴퓨터과학 석사
2003.08 미네소타 주립대학 컴퓨터과학 박사

주요경력

근무처 부서 근무기간 업무내용
삼성 데이타시스템 1993.02~1996.04 소프트웨어 엔지니어
미국 미네소타 대학 컴퓨터과학과 1997.1~2003.08 연구조교
독일 프라운호퍼 소프트웨어공학 연구소 컴포넌트공학부 2003.09~2006.02 연구원
경북대학교 전자전기컴퓨터학부 2006.03~2008.03 전임강사
경북대학교 전자전기컴퓨터학부 2008.04~ 현재 조교수
경북대학교 컴퓨터학부 2012.10~ 부교수

주요연구실적

연구실적 지원기관 수행연도
소프트웨어 안전성 제고를 위한 모델 중심 개발 방법
 경북대학교 2006.05~2007.04
고 안전성 내장형 소프트웨어 개발을 위한 컴포넌트 기반 디자인과 정형분석
 학술진흥재단 2008.07~ 현재
차량 전장용 실시간 운영체제의 안전성 인증연구
 전자통신연구원 2009.05~2009.11
역공학을 이용한 무선센서네트워크의 정형분석
 한국과학재단 2009.5~현재
무결점 소프트웨어를 위한 소프트웨어공학 신기술연구
 한국과학재단 2008.9~현재
자율군집 소프트웨어 플랫폼 연구센터 참여연구:
 지식경제부 2011.12~2012.11
차량전장용 운영체제를 위한 안전성 검증기법
 한국연구재단 2012.05~현재

핵심기술

분야명 핵심기술 이미지
요구분석
 정형명세법, 프로토타이핑과 시뮬레이션, Fault Tree Analysis, 안전기반 개발 프로세스, Model checking
컴포넌트이론
 모델기반 컴포넌트개발 방법론 MARMOT
모델변환
 UML-FSM 모델변환기법과 도구
모델검증
 NuSMV, SPIN
코드검증
 SPIN, CBMS
역공학
 컴포넌트 자동추출, 행위양식 조합 및 검증

보유장비 및 소프트웨어

장비/소프트웨어명 내용
Hmote2420 ZigBee USN System,Telelogic Rhapsoday

보유특허

특허명 대표발명가 보유연도 이전희망