국방소프트웨어 설계 특화연구센터 제 1 연구실: 소프트웨어 공학 연구실 연구실장 서울대학교 이 광 근 연구실장 서울대학교 이 광 근 국방소프트웨어 설계 특화연구센터 Defense Software Technology Research Center (DSTRC)

목차 연구 목표 및 내용 추진 계획 연구 수행 능력 결언 연차별 연구 목표 연구실의 조직 국제 연구 협력 산업화 추진 전략 실장 및 연구책임자의 우수성 참여 연구인력 우수성 결언

연구 목표 및 내용 소프트웨어 연구실 연구목표 고신뢰도 국방 소프트웨어의 저비용 개발 시스템 기술 연구

소프트웨어 공학 연구실 연구 목표 컴포넌트 그리드 기반 고신뢰도 SW의 저비용 개발 및 재사용 기술 확보 연구 목표 및 내용 테스트 성숙도 테스트 성숙도 모델기반 시스템 평가 기술 SW-12 컴포넌트 그리드 컴포넌트 그리드 기반 고신뢰도 SW의 저비용 개발 및 재사용 기술 확보 SW-13 프로세스테일러링 프로젝트 특성별 기반구조 및 SW 프로세스 예측기술 확보

제1세부과제

제1세부과제 연구 목표 연구 목표 및 내용 테스트 성숙도 모델 기반 시스템 평가 기술 테스트 성숙도 모델 연구 개발 테스트 성숙도 평가 모델 개발 테스트 성숙도 모델 활용 가이드라인 개발

제1세부과제 연차별 연구 목표 테스트 성숙도 모델 기반 시스템 평가 기술 개발 연구 목표 및 내용 1차년도 2차년도 3차년도 단계 기존의 복합 시스템 신뢰성 향상 기법 연구 및 관련 성숙도 모델 연구 국방 복합 시스템 테스트 성숙도 평가 모델 설계 국방 복합 시스템 성숙도 모델 개발 및 활용 방안 연구 테스트 성숙도 모델 기반 시스템 평가 기술 개발

제2세부과제

제2세부과제 연구 목표 고신뢰도 컴포넌트 그리드기반 SW개발 기술 연구 목표 및 내용 고신뢰도 컴포넌트 그리드 기반 개발환경 시험 개발 고신뢰도 컴포넌트 그리드의 지식 추론및 검색 엔진 개선 고신뢰도 컴포넌트 그리드 기반 무기체계 소프트웨어 개발

컴포넌트 그리드 기반 무기체계 소프트웨어 개발 연구 목표 및 내용 제2세부과제 연차별 연구 목표 1차년도 2차년도 3차년도 1 단계 컴포넌트 그리드 개념 및 구조 설계 컴포넌트 검증, 지식화 및 시험 구축 컴포넌트 그리드 환경 개발 및 검증기술 개선 컴포넌트 그리드 개발환경 시험 개발 2 단계 컴포넌트 추가 지식화 및 검증기술 확장 컴포넌트 검증및 분류검색 엔진 개선 개발 환경과 상호운용성 지원 컴포넌트 그리드의 지식과 엔진 개선 3 단계 컴포넌트 그리드 기반 재사용 프로그램 개발 소프트웨어 개발에 활용 소프트웨어 개발생산성 확인 컴포넌트 그리드 기반 무기체계 소프트웨어 개발

제3세부과제

제3세부과제 연구 목표 연구 목표 및 내용 국방 SW 프로세스 테일러링 기술 연구 컴포넌트기반 소프트웨어 프로세스 기초기술 확보 지식기반 추론기술 개발로 소프트웨어 프로세스 및 비용예측 기술 확보 실제 개발사례에 적용하여 엔진 효과 검증 및 개선

제3세부과제 연차별 연구 목표 연구 목표 및 내용 1 단계 1차년도 2차년도 3차년도 2 단계 3 단계 국방 SW개발프로세스분류체계 개발 및 사례 기반 지식베이스 개발 사례 기반 지식검색 엔진 개발 / 유사프로세스 추론엔진 개발 유사프로세스 추론에 의한 프로세스 수정방법론 개발 국방 SW개발프로세스의 컴포넌트기반 소프트웨어 프로세스 기초기술 확보 2 단계 프로세스 지식베이스 기반의 일정계획엔진 구현 프로세스 지식베이스 기반의 예산예측엔진 구현 신경망기반의 사례기반 학습엔진 구현 지식기반 추론기술 개발로 SW프로세스 및 비용예측 기술 확보 3 단계 프로세스 유사성 인덱스 개선 / 사례 기반 프로세스지식검색엔진 개선/ 유사프로세스추론엔진 개선/ 일정계획엔진 개선/ 예산예측엔진 개선 실제 개발사례에 적용하여 엔진 개선

추진 계획

연구실의 조직 추진 계획 연구실장 이광근[서울대] 제1과제 책임자 우치수(서울대) 제2과제 책임자 이광근(서울대) 제3과제 책임자 이남용(숭실대) 연구원 전태웅 강병도 연구원 이형원 이병정 연구원 류성열 정기원 연구보조원(10명) 연구보조원(12명) 연구보조원(8명)

국제 연구 협력 소프트웨어공학 연구실 Prof. Radhia Cousot Ecole Poly technique (FRANCE) Patrick Cousot 소프트웨어공학 연구실 Prof. Chris Hankin Ecole Normale Superieure (FRANCE) Imperial College London (U.K) UCLA (USA) Prof. Jens Palsberg

추진 계획 국내 산업계와의 연계 소프트웨어공학 연구실 적극적인 산업화/기술이전/논문발표

국방과학연구소 SW연구역량 강화 협력 고신뢰도 국방 SW 개발 기술 독자 확보 고신뢰도 국방 SW 개발 전략/전술 기획 우리 국방 현장의 요구사항 = 연구 문제 제대로된 해결 = 독자적/세계적 기술 고신뢰도 국방 SW 개발 전략/전술 기획 학계의 연구결과와 동향 = 미래의 가능성 고신뢰도 국방 SW 연구 가시성 증대 국제학술지 논문/국내외 특허 공저 장기적 국방 기술 로드맵에서 SW기술의 위상강화 지렛대

연구수행 능력

연구실장의 우수성 연구수행 능력 연구 연관성 주요 경력 주요 활동 경력 연구 논문 주요 연구 과제 엄밀한 프로그래밍 언어 이론에 기초한 SW 분석 관련 10년이상의 연구/개발 경험 주요 경력 2003~현재. 서울대학교 컴퓨터공학부 , 부교수 1998~2003. 과기부 창의적 연구진흥 사업(프로그램 분석 시스템 연구단), 단장 1995~2003. 한국과학기술원, 조교수/부교수 1993~1995, Bell Labs. 정규연구원. Software Principles Research Dept. 주요 활동 경력 과기부 창의적 연구진흥 사업 (프로그램 분석 시스템) 단장 프로그램 분석/프로그래밍 언어 관련 주요 국제 학회 프로그램 위원장 / 프로그램 위원 SAS'06(program chair), The 13th International Static Analysis Symposium CC'06, The 15th International Conference on Compiler Construction ESOP'04, The European Symposium on Programming 2004 APLAS'05(program chair), The 3rd Asian Symposium on Programming Languages and Systems 2005 연구 논문 국제학술지/국제학회 논문 실적: 29편(최근5년간) 주요 연구 과제 창의적 연구 진흥 사업 (프로그램 분석 시스템연구단) (과학기술부, 1998-2003) C 프로그램의 메모리 오류 자동 검증기 Airac개발 [삼성전자. 2004-현재] MPSoc용 내장형 SW 설계및 검증기술 개발 [정보통신부. 2005-현재] 웹 프로그램 해킹 취약점 자동 분석 기술 연구 (국가보안기술연구소. 2003-현재)

과제[1]책임자의 우수성 연구수행 능력 연구 연관성 주요 경력 연구책임자의 특허 연구 논문 주요 연구 과제 최근 ISO 9001 및 CMMI 등 소프트웨어 프로세스 관련 연구 논문과 산학연 공동 연구를 통하여 연구 기술력 확보 주요 경력 1996.4~1998.3, 소프트웨어공학 연구회, 회장 1992.10~1993.10, 한국정보과학회, 부회장 1990.10~1992.10, 한국정보과학회, 학회지편집 위원장 1988.10~1990.10, 한국정보과학회, 총무이사 1985.1~1986.1, Unversity of Michigan, Post-doc 1982.3~ 현재, 서울대 전기 컴퓨터공학부, 교수 1975.12~1982.3, 울산대 전자계산학과, 부교수 1978.3~1978.8, 영국라퍼러대학, 연구원 1972.3~1974.1, 한국과학기술원, 연구원 연구책임자의 특허 특허번호 : 10-2000-0043003 출원국 : 대한민국 특허명 : 전자상거래를 위한 디지털 상품 카탈로그 라이브러리 데이타베이스 구축방법 및 그 시스템 연구 논문 학술지 연구 실적 : 17편 (최근5년간) 주요 연구 과제 ISO S/W 프로세스 인증에서 CMMI로의 전환을 위한 지침 개발 (KIPA) 컴포넌트 기반 웹 공학을 지원하기 위한 개발 프레임워크에 관한 연구 (과학재단) S/W 품질인증을 위한 메타모델 개발에 관한 연구 (TTA) 컴포넌트 모델링 도구 설계 및 프로토타입 개발에 관한 연구 (ETRI) 분산객체 프레임웍을 지원하기 위한 재공학기술에 관한 연구 (과학재단)

과제[3]책임자의 우수성 연구수행 능력 연구 연관성 주요 활동 경력 연구 논문 주요 연구 과제 최근 게임제작 프로세스에 관한 연구와 B2B전자상거래 표준간 거래지원을 위한 Business Process Modeling Tool 개발을 통하여 연구 기술력 확보 주요 활동 경력 1999~ 현재, 숭실대 컴퓨터학부, 부교수 1997~1999, 국방과학연구소, 정보체계 연구부장 1979~1983, 국군정보사령부, 정보체계 연구부장 연구 논문 학술지 연구 실적 : 11편 (최근5년간) 주요 연구 과제 경영관리시스템 감리(한국산업은행) 게임제작 프로세스 및 지원도구 2차 개발((재)한국게임산업개발원) SW사업발주관리지침시범적용 용역(한국소프트웨어진흥원) B2B전자상거래 표준간 거래지원을 위한 Business Process Modeling Tool 개발(한국전자거래진흥원)

참여교수 실적 (세부과제1) 연구 연관성 전태웅 강병도 소프트웨어 개발 프로세스 관련 많은 연구 논문과 산학연 공동 연구를 통하여 연구 기술력 확보 전태웅 국내외 학술지 논문 실적: 15편 [최근 5년간] 주요 과제 실적 영역 기반 아키텍처 기술 언어 연구 (ETRI) 분산 객체 프레임웍을 지원하기 위한 재공학 기술에 관한 연구 (과학재단) 아키텍쳐 기술 언어 정의에 관한 연구 (ETRI) 객체지향 프레임워크의 테스트 방법 연구 (KIPA) 소프트웨어 테스트 프로세스 정형화 연구 (LG산전) 강병도 국내외 학술지 논문 실적: 9편 [최근 5년간] S/W 품질평가를 위한 인증 모델 및 방안 연구 (TTA) 분야별 S/W제품의 품질평가를 위한 시험방법 개발연구 (TTA) 분야별 소프트웨어 제품의 품질평가항목 도출을 위한 선행연구 (ETRI) S/W 시험데이터 생성 및 결과 분석 기술 개발 (ETRI) 대규모 소프트웨어 개발 프로젝트를 위한 소프트웨어 구조 (정보통신관리단)

참여교수 실적 (세부과제2) 연구 연관성 이형원 이병정 컴포넌트 라이브러리와 소프트웨어 개발 프로세스 관련 많은 연구 논문과 산학연 공동 연구를 통하여 연구 기술력 확보 이형원 학술지 논문 실적: 9편 [최근 5년간] 주요 과제 실적 소프트웨어 프로세스 기술에 관한 연구 (과학재단) 분산 에이전트들의 조정과 관리를 위한 프로세스 모델링 언어의 개발 (과학재단) 효율적 소프트웨어 개발 체계의 도입 ((주)Mbridge) 프로세스 중심 웹 컨텐츠 관리 도구의 개발 (정보통신부} RFID 기술 응용 제품 개발 (중소기업청) 이병정 학술지 논문 실적: 12편 [최근 5년간] 객체 클래스 라이브러리 기술 개발에 관한 연구(ETRI) 컴포넌트 기반 웹공학을 지원하기 위한 개발프레임워크에 관한 연구(한국과학재단) 웹 응용의 적응하는 문맥 기반 항해 모델링에 관한 연구(학술진흥재단) 분산공유형 건설연구 인프라 구축사업(건설교통부)

참여교수 실적 (세부과제3) 연구 연관성 류성열 정기원 역공학 기반의 객체지향 다이어그램 추출 기법에 관한 연구와 게임 콘텐츠 품질인증 및 인증기관 설립에 관한 연구를 통한 기술력 확보 류성열 학술지 논문 실적: 19편 [최근 5년간] 주요 과제 실적 정보보증프레임워크에 관한 연구[국가보안기술연구소] 제조산업을 위한 실시간 임베디드S/W 테스팅 기술 및 시스템 개발[산업자원부] B2B 전자상거래 표준간 거래지원을 위한 Business Process Modeling Tool 개발[산업자원부] 역공학 기반의 객체지향 다이어그램 추출 기법에 관한 연구[한국하이네트] 종근당 전사적 자원관리시스템 품질보증 [한국하이네트] 정기원 학술지 논문 실적: 40편 [최근 5년간] 유무선 통합 네트워크 환경을 위한 지능형 모바일 에이전트 개발[중소기업청/서울시/(주)아이티링스] 게임 콘텐츠 품질인증 및 인증기관 설립에 관한 연구[한국게임산업개발원] 무선 전자 태그(RFID)와 위치정보에 기반한 위험물 보안관리 시스템(수행중)[(주) 씨솔]

참여 대학원생의 우수성 소프트웨어 공학 전공 프로그램 분석 전공 관련되는 다양한 프로젝트 경험 연구수행 능력 참여 대학원생의 우수성 소프트웨어 공학 전공 프로그램 분석 전공 관련되는 다양한 프로젝트 경험 원활한 소프트웨어 공학 연구실의 원동력

국방 SW / 고신뢰도 / 저비용 개발 / 독자기술확보 결언 국방 SW / 고신뢰도 / 저비용 개발 / 독자기술확보 테스트기술 국방 SW 테스트 성숙도 모델 기반 시스템 평가 기술 컴포넌트기술 고 신뢰도 컴포넌트 그리드 기반 국방 SW 개발환경 기술 프로세스기술 국방 SW 프로세스 일정및 비용예측 기술

감사합니다.