과제 상세정보
목록다각화된 프로그래밍 언어로 작성된 SW를 위한 다양한 분석 도구를 자동으로 생성하는 프레임워크 개발
작성자
관리자
조회수
45
등록일
2024-05-22
사업 정보
| 내역사업 | (유형1-2)중견연구 |
|---|
과제 기본정보
| 과제명 | 다각화된 프로그래밍 언어로 작성된 SW를 위한 다양한 분석 도구를 자동으로 생성하는 프레임워크 개발 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711156478 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2022 | 총연구기간 | 2022-03-01 ~ 2027-02-28 | 당해연도 연구기간 | 2022-03-01 ~ 2023-02-28 |
요약 정보
| 연구목표 | o 본 연구가 지향하는 최종 목표는 끊임없이 새롭게 등장하는 프로그래밍 언어 혹은 다양한 언어로 개발된 소프트웨어에 발생할 수 있는 여러 형태의 결함 및 보안 취약점에 신속하게 대응하여 소프트웨어의 품질을 향상시키기 위해서, 범용적인 기계화 명세로부터 다양한 소프트웨어 분석 도구를 자동으로 생성하는 프레임워크를 개발하고 실제 소프트웨어에 적용해보는 것임.o... | ||
|---|---|---|---|
| 연구내용 | o 소프트웨어 기술의 급성장으로 인해 새롭게 등장한 여러 응용 분야의 특수한 문제를 원천적인 소프트웨어 기술로 해결하기 위해, 각 분야별 특성화된 새로운 프로그래밍 언어의 개발이 두드러짐.o 새로운 소프트웨어 기술과 사용자의 요구사항이 복잡해짐에 따라, 안전하고 올바르게 동작하는 소프트웨어 개발을 위해 소프트웨어 개발자를 돕고자하는 프레임워크 개발이 진행 ... | ||
| 기대효과 | o 모든 소프트웨어 개발의 기본이 되는 프로그래밍 언어의 명세를 기계화함으로써, 기계화 명세를 활용하여 프로그램 합성, 프로그램 검증, 하드웨어 기술 언어 분석 및 검증 등 다양한 연구 분야와 공동 연구를 통해 기존에 없었던 새로운 연구 분야를 창출하리라 기대함.o 본 연구 성과를 활용하여서, 기계학습, 블록체인, 메타버스 등 하루가 다르게 새롭게 개발되는... | ||
| 키워드 | 프로그래밍 언어,프로그램 분석,분석 프레임워크,분석 도구,소프트웨어 분석,결함 검출,기계화 명세,ECMASc | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 인공물 > 정보/통신 > 소프트웨어 > 달리 분류되지 않는 소프트웨어 |
| 주력산업분류 | 적용분야 | 지식의 진보(비목적연구) | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 193,669,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||