한글내용
(Korean Abstract) |
시스템 오브 시스템즈(System of Systems, SoS)는 독립적인 운영과 관리가 가능한 시스템들로 구성된 크고 복잡한 시스템이다. SoS는 시스템 외부 환경, 혹은 시스템 내부적인 요소들에 의해 끊임없이 변화하며, 변화가 발생할 때마다 SoS 목표 모델 내에 있는 모든 목표들의 달성 여부를 반복하여 검증할 필요가 있다. 하지만 변화가 발생할 때마다 모든 SoS 목표에 대해 검증을 진행하는 것은 효율적이지 못하다. 본 논문에서는 SoS 목표 모델 내에서 변화와 관련된 목표들을 추출하는 기법인 SoS 목표 모델 슬라이싱 기법을 제안한다. 기법을 구현한 도구인 SoS 목표 모델 슬라이서는 SoS 목표 모델을 변화와 관련 있는 하위 시스템 수준의 목표로부터 최상위 SoS 목표까지 역방향 슬라이싱을 수행하여, 특정 변화와 관련된 목표들만을 찾아낸다. 기법의 정확성을 보이기 위해 대형 재난 사고 대응 SoS 시나리오를 이용하여 실험을 진행하였다. 그 결과, SoS 목표 모델 슬라이서에 의해 슬라이싱된 검증 목표들은 SoS 변화에 따라 그 검증 결과가 달라졌지만, 그 외의 SoS 목표들은 결과에 큰 영향이 없음을 확인함으로써 기법의 정확성을 보였다. |
