국방소프트웨어 설계 특화연구센터

소프트웨어공학연구실 / 국방소프트웨어 설계 특화연구센터 평가 발표

국방소프트웨어 설계 특화연구센터국방소프트웨어 설계 특화연구센터

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

제 1 연구실 : 소프트웨어 공학 연구실

22

소프트웨어공학 연구실 / 국방소프트웨어 설계 특화연구센터 평가 발표

목차목차 연구 목표 및 내용

연구 목표 및 내용 연차별 연구 목표

추진 계획 연구실의 조직 국제 연구 협력 산업화 추진 전략

연구 수행 능력 실장 및 연구책임자의 우수성 참여 연구인력 우수성

결언

33


소프트웨어 연구실 연구목표소프트웨어 연구실 연구목표

고신뢰도 국방 소프트웨어의

저비용 개발 시스템 기술 연구

연구 목표 및 내용

44


소프트웨어 공학 연구실 연구 목표연구 목표

테스트 성숙도 모델기반 시스템 평가 기술SW-11

테스트 성숙도

SW-12

컴포넌트 그리드컴포넌트 그리드 기반 고신뢰도 SW 의 저비용 개발 및 재사용 기술 확보

SW-13

프로세스테일러링

프로젝트 특성별 기반구조 및 SW 프로세스 예측기술 확보



제제 11 세부과제세부과제

66


제제 11 세부과제 연구 목표세부과제 연구 목표

테스트 성숙도 모델 기반 시스템 평가 기술

테스트 성숙도 모델 연구 개발

테스트 성숙도 평가 모델 개발

테스트 성숙도 모델 활용 가이드라인 개발


77


제제 11 세부과제 연차별 연구 목표세부과제 연차별 연구 목표

1 차년도

기존의 복합 시스템 신뢰성 향상 기법

연구 및 관련 성숙도 모델 연구

2 차년도 3 차년도


국방 복합 시스템 테스트 성숙도 평가

모델 설계

국방 복합 시스템 성숙도 모델 개발 및 활용

방안 연구1

단계

테스트 성숙도 모델 기반 시스템 평가 기술 개발



99


제제 22 세부과제 연구 목표세부과제 연구 목표

고신뢰도 컴포넌트 그리드 기반 개발환경 시험 개발

고신뢰도 컴포넌트 그리드의 지식 추론및 검색 엔진 개선

고신뢰도 컴포넌트 그리드 기반 무기체계 소프트웨어 개발


고신뢰도 컴포넌트 그리드기반 SW 개발 기술

1010


제제 22 세부과제 연차별 연구 목표세부과제 연차별 연구 목표

1 차년도 2 차년도 3 차년도

컴포넌트 그리드 개념및 구조 설계

컴포넌트 검증 , 지식화 및 시험 구축

컴포넌트 그리드 환경 개발 및 검증기술 개선

컴포넌트 추가 지식화및 검증기술 확장

컴포넌트 검증및 분류검색 엔진 개선

개발 환경과 상호운용성 지원

컴포넌트 그리드 기반 재사용 프로그램 개발 소프트웨어 개발에 활용 소프트웨어 개발생산성

확인

1

단계

2

단계

3

단계

컴포넌트 그리드 개발환경 시험 개발

컴포넌트 그리드의 지식과 엔진 개선

컴포넌트 그리드 기반 무기체계 소프트웨어 개발




1212


제제 33 세부과제 연구 목표세부과제 연구 목표국방 SW 프로세스 테일러링 기술 연구

컴포넌트기반 소프트웨어 프로세스 기초기술 확보

지식기반 추론기술 개발로 소프트웨어 프로세스 및 비용예측 기술 확보

실제 개발사례에 적용하여 엔진 효과 검증 및 개선


1313


제제 33 세부과제 연차별 연구 목표세부과제 연차별 연구 목표1 차년도

국방 SW개발프로세스분류체계 개발 및 사례 기반 지식베이스 개발

2 차년도 3 차년도


사례 기반 지식검색 엔진 개발 / 유사프로세스 추론엔진 개발

유사프로세스 추론에 의한 프로세스 수정방법론 개발

1

단계

프로세스 지식베이스 기반의 일정계획엔진 구현

프로세스 지식베이스 기반의 예산예측엔진 구현

신경망기반의 사례기반 학습엔진 구현2

단계지식기반 추론기술 개발로 SW 프로세스 및 비용예측 기술 확보

국방 SW 개발프로세스의 컴포넌트기반 소프트웨어 프로세스 기초기술 확보

프로세스 유사성 인덱스 개선 / 사례 기반 프로세스지식검색엔진 개선 / 유사프로세스추론엔진 개선 / 일정계획엔진 개선 / 예산예측엔진 개선3

단계실제 개발사례에 적용하여 엔진 개선


추진 계획추진 계획

1515


연구실의 조직연구실의 조직추진 계획

연구실장

이광근 [ 서울대 ]

제 1 과제 책임자

우치수 ( 서울대 )

제 2 과제 책임자 이광근 ( 서울대 )

제 3 과제 책임자 이남용 ( 숭실대 )

연구원전태웅강병도

연구원

이형원

이병정

연구원류성열정기원

연구보조원 (10명 )

연구보조원 (12명 )

연구보조원 (8 명 )

1616


Prof.

Radhia

Cousot

국제 연구 협력국제 연구 협력

Imperial College London

(U.K)

Ecole Normale

Superieure (FRANCE)

Ecole Poly technique (FRANCE)

소프트웨어공학연구실

소프트웨어공학연구실

UCLA (USA)

Prof.

Jens Palsberg

Prof.

Chris Hankin

Prof.

Patrick

Cousot

1717


국내 산업계와의 연계국내 산업계와의 연계추진 계획

소프트웨어공학

연구실

적극적인 산업화 / 기술이전 / 논문발표

1818


국방과학연구소 국방과학연구소 SWSW 연구역량 강화 협력연구역량 강화 협력 고신뢰도 국방 SW 개발 기술 독자 확보

우리 국방 현장의 요구사항 = 연구 문제 제대로된 해결 = 독자적 / 세계적 기술

고신뢰도 국방 SW 개발 전략 / 전술 기획 학계의 연구결과와 동향 = 미래의 가능성

고신뢰도 국방 SW 연구 가시성 증대 국제학술지 논문 / 국내외 특허 공저 장기적 국방 기술 로드맵에서 SW 기술의 위상강화 지렛대


연구수행 능력연구수행 능력

2020


연구실장의 우수성 연구실장의 우수성 연구 연관성

엄밀한 프로그래밍 언어 이론에 기초한 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- 현재 )

연구수행 능력

2121


과제과제 [1][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) 분산객체 프레임웍을 지원하기 위한 재공학기술에 관한 연구 ( 과학재단 )

연구수행 능력

2222


과제과제 [3][3] 책임자의 우수성 책임자의 우수성

연구 연관성 최근 게임제작 프로세스에 관한 연구와 B2B 전자상거래 표준간 거래지원을 위한

Business Process Modeling Tool 개발을 통하여 연구 기술력 확보

주요 활동 경력 1999~ 현재 , 숭실대 컴퓨터학부 , 부교수 1997~1999, 국방과학연구소 , 정보체계 연구부장 1979~1983, 국군정보사령부 , 정보체계 연구부장

연구 논문 학술지 연구 실적 : 11 편 ( 최근 5 년간 )

주요 연구 과제 경영관리시스템 감리 ( 한국산업은행 ) 게임제작 프로세스 및 지원도구 2 차 개발 (( 재 ) 한국게임산업개발원 ) SW 사업발주관리지침시범적용 용역 ( 한국소프트웨어진흥원 ) B2B 전자상거래 표준간 거래지원을 위한 Business Process Modeling Tool

개발 ( 한국전자거래진흥원 )

연구수행 능력

2323


참여교수 실적 참여교수 실적 (( 세부과제세부과제 1)1) 연구 연관성

소프트웨어 개발 프로세스 관련 많은 연구 논문과 산학연 공동 연구를 통하여 연구 기술력 확보

전태웅 국내외 학술지 논문 실적 : 15 편 [ 최근 5 년간 ] 주요 과제 실적

영역 기반 아키텍처 기술 언어 연구 (ETRI) 분산 객체 프레임웍을 지원하기 위한 재공학 기술에 관한 연구 ( 과학재단 ) 아키텍쳐 기술 언어 정의에 관한 연구 (ETRI) 객체지향 프레임워크의 테스트 방법 연구 (KIPA) 소프트웨어 테스트 프로세스 정형화 연구 (LG산전 )

강병도 국내외 학술지 논문 실적 : 9 편 [ 최근 5 년간 ] 주요 과제 실적

S/W 품질평가를 위한 인증 모델 및 방안 연구 (TTA) 분야별 S/W 제품의 품질평가를 위한 시험방법 개발연구 (TTA) 분야별 소프트웨어 제품의 품질평가항목 도출을 위한 선행연구 (ETRI) S/W 시험데이터 생성 및 결과 분석 기술 개발 (ETRI) 대규모 소프트웨어 개발 프로젝트를 위한 소프트웨어 구조 ( 정보통신관리단 )

2424



컴포넌트 라이브러리와 소프트웨어 개발 프로세스 관련 많은 연구 논문과 산학연 공동 연구를 통하여 연구 기술력 확보

이형원 학술지 논문 실적 : 9 편 [ 최근 5 년간 ] 주요 과제 실적

소프트웨어 프로세스 기술에 관한 연구 ( 과학재단 ) 분산 에이전트들의 조정과 관리를 위한 프로세스 모델링 언어의 개발 ( 과학재단 ) 효율적 소프트웨어 개발 체계의 도입 (( 주 )Mbridge) 프로세스 중심 웹 컨텐츠 관리 도구의 개발 ( 정보통신부 } RFID 기술 응용 제품 개발 (중소기업청 )

이병정 학술지 논문 실적 : 12 편 [ 최근 5 년간 ] 주요 과제 실적

객체 클래스 라이브러리 기술 개발에 관한 연구 (ETRI) 컴포넌트 기반 웹공학을 지원하기 위한 개발프레임워크에 관한 연구 ( 한국과학재단 ) 웹 응용의 적응하는 문맥 기반 항해 모델링에 관한 연구 ( 학술진흥재단 ) 분산공유형 건설연구 인프라 구축사업 (건설교통부 )

2525



역공학 기반의 객체지향 다이어그램 추출 기법에 관한 연구와 게임 콘텐츠 품질인증 및 인증기관 설립에 관한 연구를 통한 기술력 확보

류성열 학술지 논문 실적 : 19 편 [ 최근 5 년간 ] 주요 과제 실적

정보보증프레임워크에 관한 연구 [ 국가보안기술연구소 ] 제조산업을 위한 실시간 임베디드 S/W 테스팅 기술 및 시스템 개발 [ 산업자원부 ] B2B 전자상거래 표준간 거래지원을 위한 Business Process Modeling Tool 개발 [

산업자원부 ] 역공학 기반의 객체지향 다이어그램 추출 기법에 관한 연구 [ 한국하이네트 ] 종근당 전사적 자원관리시스템 품질보증 [ 한국하이네트 ]

정기원 학술지 논문 실적 : 40 편 [ 최근 5 년간 ] 주요 과제 실적

유무선 통합 네트워크 환경을 위한 지능형 모바일 에이전트 개발 [중소기업청 /서울시 /( 주 )아이티링스 ]

게임 콘텐츠 품질인증 및 인증기관 설립에 관한 연구 [ 한국게임산업개발원 ] 무선 전자 태그 (RFID) 와 위치정보에 기반한 위험물 보안관리 시스템 ( 수행중 )[( 주 ) 씨솔 ]

2626


참여 대학원생의 우수성참여 대학원생의 우수성연구수행 능력

소프트웨어공학 전공

프로그램 분석 전공

관련되는 다양한 프로젝트 경험

원활한 소프트웨어 공학 연구실의 원동력

2727


결언결언

테스트기술 국방 SW 테스트 성숙도 모델 기반 시스템 평가 기술

컴포넌트기술 고 신뢰도 컴포넌트 그리드 기반 국방 SW 개발환경 기술

프로세스기술 국방 SW 프로세스 일정및 비용예측 기술

국방 SW / 고신뢰도 / 저비용 개발 / 독자기술확보

2828


감사합니다 .

Documents

국방소프트웨어 설계 특화연구센터