초록 ▼

추진목적
- 시스템 오브 시스템즈(이하 SoS) 기초연구를 위한 토대 마련
ㆍ SoS의 근원 특성(자율성, 불확정성, 연대성)과 결과 특성(다형성, 창발성)에 대한 정확한 분석 및 향후 연구 주체 도출
ㆍ SoS에 대한 모델링 및 검증 연구를 수행할 수 있도록 협력 기관과의 긴밀한 협의를 통하여 구체적인 SoS 사례 시나리오 도출
- SoS 관련 대형 연구 사업 추진
ㆍ 본 연구실에서 추진하는 SoS 특성 분석과 협력 기관에서 연구하는 타켓 시스템(고신롸 분산 시스템, 원자력 발전 및 에너지 관리 시스템

추진목적
- 시스템 오브 시스템즈(이하 SoS) 기초연구를 위한 토대 마련
ㆍ SoS의 근원 특성(자율성, 불확정성, 연대성)과 결과 특성(다형성, 창발성)에 대한 정확한 분석 및 향후 연구 주체 도출
ㆍ SoS에 대한 모델링 및 검증 연구를 수행할 수 있도록 협력 기관과의 긴밀한 협의를 통하여 구체적인 SoS 사례 시나리오 도출
- SoS 관련 대형 연구 사업 추진
ㆍ 본 연구실에서 추진하는 SoS 특성 분석과 협력 기관에서 연구하는 타켓 시스템(고신롸 분산 시스템, 원자력 발전 및 에너지 관리 시스템 등)을 더하여 구체적인 연구 주제를 발굴하고, 향후 대형 연구 사업을 추진
추진내용
- 연구내용
ㆍ SoS 시나리오 및 사례 개발
ㆍ SoS 목표 명세를 위한 기술 분석
ㆍ SoS 모델링을 위한 기술 분석
ㆍ SoS 안전성 검증을 위한 기술 분석
- KAIST와 협력기관 역할분담
ㆍ KAIST : 참여자 - 배두환 외 연구원 14명, 역할 - SoS 모델링 및 검증 기술 개발
ㆍ ETRI : 참여자 - 김태호, 마유승, 역할 - SoS 분산 검증 기술 자문, SoS 아키텍쳐 설계 기술 자문
ㆍ KAERI : 참여자 - 이장수, 이영준, 역할 - 원자력 SoS 기술 활용성 검토, 원자력 SoS 모델링 기술 자문
ㆍ KARI : 참여자 - 신현규, 역할 - 항공우주 SoS 모델링 기술 자문
- 협력 내용
ㆍ KAIST, ETRI, KAERI, KARI
- SoS 역량달성 및 안전확보를 위한 소프트웨어 모델링 및 검증기술개발 워크샵
- SoS 모델링 및 검증 관련 연구 주제 도출 및 검토
ㆍ KAIST, KAERI
- 원전 안전 소프트웨어 대상 안전진술(Safety Case) 기술활용 사례 및 활용 지침 개발 과제 기획
ㆍ KAIST, KAERI, ETRI
- 대학 ICT 연구센터 (SW공학-안전SW 주제) 과제 기획
- SW 안전과제 기획 참여 및 SW 안전 마스터플랜 자문
주요실적
- [과제수주] 2015년도 미래창조과학부 SW스타랩 사업 (과제명: 모델기반의 초대형 복잡시스템 분석 및 검증 SW 개발) 과제 수주 (’15.8~’22.2/총24억(년3억))
- [과제수주] 2015년도 원자력연구원 위탁과제 (과제명: 원전 안전 SW 대상 안전진술 기술 활용 사례 및 활용 지침 개발) 과제 수주(’15.10~’17.7/총5천만원)
- [워크샵] SoS 역량달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증기술 개발 워크샵 1회 개최 (2015.8.12.-13, KAIST, KAERI, ETRI ,KARI, 건국대에서 21명 참석)
- [과제기획] 대학 ICT 연구센터 (SW공학-안전SW 주제) 과제 기획, SW 안전과제 기획 및 SW 안전 마스터플랜 자문
당초 연구계획서상 계획 성취도
(1차년도 성과)
- [연구] SoS 확률 모델 검증 프레임워크 제안 및 세부 연구 주제 도출, SoS 개발 생명주기 전반(SoS 생명주기 지원, SoS 요구사항 분석, SoS 모델링, SoS 확인 및 검증, SoS 동적 관리)에 관련한 연구 주제 도출
- [세미나] “IMA 지원 실시간 운영체제 Qplus-AIR의 DO-178B Level A 인증경험”(연사: ETRI 김태호, 일시: 2014.07.17) 등 전문가 초청 세미나 8회 개최
- [워크샵] “K-Valley RED&B 사업 시스템 오브 시스템즈 확률 모델 검증 기술개발 워크샵”(2014.8.13-14),“K-Valley RED&B 사업 시스템 오브 시스템즈 확률 모델 검증 기술 개발 2차 워크샵”(2014.12.29-30) 개최
[연구계획서 목표 및 계획]
- SoS 기초연구를 위한 토대 마련
ㆍ SoS의 근원 특성(자율성, 불확정성, 연대성)과 결과 특성(다형성, 창발성)에 대한 정확한 분석 및 향후 연구 주제 도출
ㆍ SoS에 대한 모델링 및 검증 연구를 수행할 수 있도록 협력 기관과의 긴밀한 협의를 통하여 구체적인 SoS 사례 시나리오 도출
- SoS 관련 대형 연구 사업 추진
ㆍ 본 연구실에서 추진하는 SoS 특성분석과 협력 기관에서 연구하는 타켓 시스템(고신롸 분산 시스템, 원자력 발전 및 에너지 관리 시스템 등)을 더하여 구체적인 연구 주제를 발굴하고, 향후 대형 연구 사업을 추진
[성취내용]
- SoS의 특성에 대한 분석을 기반으로 모델링 및 검증 관련 연구 주제를 도출함
- 응급 환자 이송 시스템 시나리오, 다중손상 사고 대응 시스템 시나리오 등 구체적인 SoS 사례를 개발함
- SoS 관련 도출한 연구 주제를 기반으로 SW스타랩 사업을 신청하여 “모델기반의 초대형 복잡시스템 분석 및 검증 SW 개발” 과제를 수주함
- 원자력연구원과의 협력을 기반으로 위탁연구과제 “원전 안전 SW 대상 안전진술 기술 활용 사례 및 활용 지침 개발” 과제를 수주함
성과활용 방안(향후계획)
- SoS 연구 및 기술 개발 선도
ㆍ 본 주제로 수주한 SW스타랩 과제를 성실히 수행하여 세계적으로 아직 태동기에 있는 SoS 분야, 특히 모델링 및 검증 분야에서 세계적으로 선도형 연구를 수행하고자 함
- SW 안전 관련 국가 주도 대규모 신규 사업 기획에 지속적 협력
ㆍ 본 사업을 통해 구축된 협력 관계를 기반으로 협력 기관들의 공통 관심사인 SW 안전 관련 대규모 신규 사업을 기획하고 추진하는데 지속적으로 협력하고자 함

목차 Contents

• 표지 ... 1
• 제출문 ... 2
• 요약문 ... 3
• 목차 ... 6
• 제1장 기획연구의 개요 ... 7
• 1절. 필요성 및 추진배경 ... 7
• 2절. 추진타당성 ... 8
• 3절. 협력 필요성 ... 9
• 4절. 국내외 기술현황 ... 9
• 제2장 기획연구 수행내용 ... 12
• 1절. SoS 시나리오 및 사례 개발 ... 12
• 2절. SoS 역량 달성 목표 명세를 위한 기술 분석 ... 17
• 3절. SoS 모델링 기술 분석 ... 22
• 4절. SoS 안전성 검증 기술 분석 ... 27
• 5절. 추진 경과 및 역할 설정 ... 32
• 제3장 활용계획 및 기대효과 ... 34
• 제4장 참고문헌 ... 36
• 끝페이지 ... 39