SESoS

모델 기반의 초대형 복잡 시스템 분석 및 검증 SW 개발

과제 수행

• 기관: KAIST
• 수행 기간: 2017~2022
• 역할: SoS modeling and simulation, statistical verification, environment modeling

과제 개요

본 연구는 대표적인 초대형 복잡 시스템인 시스템 오브 시스템즈(System-of-Systems, SoS)를 대상으로 한 모델링 및 검증을 중심으로 한 소프트웨어 공학 연구이다. 복합적인 목표를 달성하기 위해 통합된 요소 시스템들의 복잡하고 창발적인 행동을 분석하고 검증하기 위해, SoS 내에 존재하는 독립적인 구성 시스템(Constituent System, CS)과 이들 간의 다양한 상호작용, 불확정성을 가진 환경을 포함한 다양한 요소에 대해 수행 가능한 공학적 접근을 연구한다.

연구를 진행하기 위해, 아래 그림과 같이 크게 세가지 세부 연구 주제를 기준으로 기술 및 도구 개발을 수행한다. 첫째, 개발 및 분석 대상 SoS를 효과적이고 체계적으로 분석하고 모델링하기 위한 SoS 모델링 및 명세 기법에 대한 연구를 수행한다. 둘째, 모델링된 SoS를 운영 이전 및 운영 단계에서 시뮬레이션을 통해 평가하기 위한 SoS 통계적/동적 검증에 대한 연구가 있다. 셋째, 불확정성을 갖고 변화하는 환경에 적응하기 위한 적응형 검증 프레임워크 개발과 효율적인 런타임 검증을 수행할 수 있도록 돕는 SoS 변화 대응 검증 기술 연구가 함께 진행된다. 또한 앞서 개발된 기술을 활용하여 SoS 전반에 걸친 공학적 기법과 방법론을 적용할 수 있는 통합 검증 도구를 개발한다.

연구 내용

산출물

• Open source repositories