이광근 프로그램분석 시스템 연구단 ropas.kaist.ac.kr KAIST 전산학과 소프트웨어 분석기술의 산업체 적용 이광근 프로그램분석 시스템 연구단 ropas.kaist.ac.kr KAIST 전산학과 3/29/2002 만도기계 중앙연구소
프로그램 분석 시스템 연구단 1998년 9월 과학기술부 창의적연구진흥사업 지정 연구센터 목표: 안전한 프로그램의 생성 기술 핵심: 프로그램 분석(static analysis) 1단계(1998-2001): 연구위주 2단계(2002-2005): 산업체와의 협력 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
프로그램 분석기술 프로그램이 실행중에 어떤 일을 하는 지를 미리 확인하는 자동화된 기술 “미리”? “확인”? “자동화”? 소프트웨어를 제품에 심어서 출시하기전에 제품의 품질과 직결 “확인”? 엄밀한 방법: 안심 (모든경우 O) 테스트/시뮬레이션: 불안 (모든경우 X) “자동화”? 프로그램을 분석해 주는 소프트웨어 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
프로그램 분석기술 적용예 실행중에 처리되지 않는 예외상황이 있는가? 실행중에 메시지 큐가 overflow없이 작동하는가? Java, ML 프로그램 분석 (~300lines/sec) 실질적으로 ML컴파일러에 장착됨 실행중에 메시지 큐가 overflow없이 작동하는가? KAIST 과학위성에 내장될 소프트웨어 모듈 concurrent system (6 CPUs) 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
연구단의 기술 프로그램 분석의 디자인 기술 디자인된 분석기의 엄밀한 검증 기술 디자인된 분석기의 자동 생성 기술 abstract interpretation, type inference, constraint-based analysis 디자인된 분석기의 엄밀한 검증 기술 mathematical proof 디자인된 분석기의 자동 생성 기술 System Z1, System Zoo 생성된 분석기를 이용한 대상 S/W 분석 분석결과의 해석 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
산업체에 관심을 가지는 이유 (a) 전세계적으로 static analysis 기술이 학계에서 산업계로 이전되는 단계: GM, Daimler Chrysler, AirBus, Dassault, (Bosch) 등등 소프트웨어 품질 = 제품의 품질 우리 산업계에는? 자동차 부품 산업? 만도/현대/… 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
산업체에 관심을 가지는 이유 (b) 연구된 기술: 학교,학계 (internationally recognized) 실제세계, 주변의 문제를 푸는데 어느정도 공헌할 수 있는지 국제적인 수준에서 외국동료들의 움직임 우리도 우리산업체와 함께 연구된(할) 기술을 갈고닦자 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단
방문협의 만도㈜의 자동차 핵심부품에 장착되는 S/W의 품질을 검증하는 데 우리의 기술이 적용될 여지는? 우리가 연구하는 기술이 실용적이기 위해서 놓치고 있는것은? “세계적인 산업체를 일구는 데 도움될 수 있기를” 3/29/2002 만도중앙연구소 KAIST 프로그램분석시스템 연구단