초록 ▼

□ 연구개발 목표 및 내용
◼ 최종 목표
본 연구는 블록체인 네트워크의 핵심인 합의 알고리즘들을 체계적으로 평가할 수 있는 검증 프레임워크 기술 개발을 목표로한다. 합의 알고리즘에 대한 모델링을 기반으로, 시뮬레이션 및 정형 검증을 수행하여 해당 합의 알고리즘이 안전성, 활동성, 결함허용성과 같은 주요 품질속성을 만족시키는지 검증을 수행하고 평가한다. 세부 목표는 다음과 같다.
• 주요 블록체인 합의 알고리즘에 대한 모델링 및 시뮬레이션 수행
• 블록체인 합의 알고리즘 평가를 위한 검증 모델 템플릿 및 검증

□ 연구개발 목표 및 내용
◼ 최종 목표
본 연구는 블록체인 네트워크의 핵심인 합의 알고리즘들을 체계적으로 평가할 수 있는 검증 프레임워크 기술 개발을 목표로한다. 합의 알고리즘에 대한 모델링을 기반으로, 시뮬레이션 및 정형 검증을 수행하여 해당 합의 알고리즘이 안전성, 활동성, 결함허용성과 같은 주요 품질속성을 만족시키는지 검증을 수행하고 평가한다. 세부 목표는 다음과 같다.
• 주요 블록체인 합의 알고리즘에 대한 모델링 및 시뮬레이션 수행
• 블록체인 합의 알고리즘 평가를 위한 검증 모델 템플릿 및 검증 속성 템플릿 개발
• 합의 알고리즘에 대한 검증 확장성과 효율성을 높일 수 있는 기법 개발 및 사례연구를 통한 활용성 평가

◼ 전체 내용
• 1차년도: 블록체인 합의 알고리즘 모델링 및 시뮬레이션 지원 기술 개발
- 블록체인 합의 알고리즘 조사 분석
- 주요 합의 알고리즘 모델링
- 합의 알고리즘 모델 기반 시뮬레이션
• 2차년도: 블록체인 합의 알고리즘 정형 검증 지원 기술 개발
- 합의 알고리즘 추가 선정 및 모델링
- 추가 선정된 합의 알고리즘 모델 기반 시뮬레이션
- 합의 알고리즘 검증용 모델링 템플릿 개발
- 합의 알고리즘 검증 속성 템플릿 개발
- 검증 확장성을 고려한 추상화 기법 개발
• 3차년도: 블록체인 합의 알고리즘 모델링, 시뮬레이션, 정형 검증 지원 기술 적용 평가 및 품질 개선
- 템플릿 생성 자동화
- 사례 연구를 통한 기술 활용성 평가
- 대규모 모델 처리를 위한 효율화 기법 개발

□ 연구개발성과
• 국외 SCI 논문 2건
• 국내 비SCI 논문 2건
• 국제 학술대회논문발표 2건
• 국내 학술대회논문발표 6건

□ 연구개발성과 활용계획 및 기대 효과
• 본 연구과제의 산출물인 블록체인 합의 알고리즘 평가를 위한 모델 기반 검증 프레임워크를 통해 어떤 합의 알고리즘이 안전성, 활동성, 결함허용성 등의 측면에서 어떠한지 체계적 검증을 통해 확인할 수 있다.
• 블록체인은 암호화폐 뿐만 아니라 투명한 검증과 변하지 않는 기록이 필요한 다양한 분야에 활용이 가능하다. 본 연구에서 개발하는 프레임워크를 통해 여러 합의 알고리즘에 대한 평가가 가능하며, 활용 목적별로 적합한 합의 알고리즘을 선택할 수 있다.
• 기 개발된 합의 알고리즘에 대한 평가를 통해 미비한 사항이 도출되면 이러한 정보는 보다 나은 개선된 합의 알고리즘을 설계하고 개발하는데 활용될 수 있다.

(출처 : 요약문 2p)

목차 Contents

• 표지 ... 1
• 요약문 ... 2
• 목차 ... 4
• 1. 연구개발과제의 개요 ... 5
• 2. 연구개발과제의 수행 과정 및 수행 내용 ... 5
• (1) 1차년도(2019.06 – 2020.02) 연구 수행 과정 및 수행 내용 ... 5
• (2) 2차년도(2020.03 – 2021.02) 연구 수행 과정 및 수행 내용 ... 6
• (3) 3, 4차년도(2021.03 – 2022.05) 연구 수행 과정 및 수행 내용 ... 7
• 3. 연구개발과제의 수행 결과 및 목표 달성 정도 ... 9
• 1) 연구수행 결과 ... 9
• 2) 목표 달성 수준 ... 9
• 4. 연구개발성과의 관련 분야에 대한 기여 정도 ... 9
• 5. 연구개발성과 및 활용 계획 ... 10
• 1) 연구성과 ... 10
• 2) 연구성과 활용계획 ... 12
• 6. 참고문헌 ... 12
• 끝페이지 ... 12