본문 바로가기
HOME> 보고서 > 보고서 검색상세

보고서 상세정보

시스템 오브 시스템즈 역량 달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증 기술 개발
Development of Software Modeling and Verification Techniques for Achieving Capabilities and Assuring Safety of System of Systems

  • 사업명

    한국과학기술원운영경비

  • 과제명

    시스템 오브 시스템즈 역량 달성 및 안전 확보를 위한 소프트웨어 모델링 및 검증 기술 개발

  • 주관연구기관

    한국과학기술원
    Korea Advanced Institute of Science and Technology

  • 보고서유형

    최종보고서

  • 발행국가

    대한민국

  • 언어

    한국어

  • 발행년월

    2015-12

  • 과제시작년도

    2015

  • 주관부처

    미래창조과학부
    Ministry of Science, ICT and Future Planning

  • 등록번호

    TRKO201600002374

  • 과제고유번호

    1711032251

  • 키워드

    소프트웨어 공학.시스템 오브 시스템즈.소프트웨어 모델링.소프트웨어 검증.소프트웨어 안전성.소프트웨어 신뢰성.대규모 복잡 시스템.Software Engineering.System of Systems.Software Modeling.Software Verification.Software Safety.Software Reliability.Large-scale Complex System.

  • DB 구축일자

    2016-06-04

  • DOI

    https://doi.org/10.23000/TRKO201600002374

  • 초록 


    ...


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

    1. 전체(0)
    2. 논문(0)
    3. 특허(0)
    4. 보고서(0)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역