• 제목/요약/키워드: 통계적 모델 체킹

검색결과 1건 처리시간 0.016초

시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 (An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification)

  • 김준호;신동환;배두환
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제23권4호
    • /
    • pp.256-261
    • /
    • 2017
  • 사회 기반 시설을 비롯하여 다양한 도메인에서 하나의 시스템이 아닌 다수의 독립 시스템으로 구성된 시스템 오브 시스템즈(System of Systems, 이하 SoS)의 개념이 대두되고 있다. 단일 시스템으로는 만족하기 어려운 복잡한 요구사항을 SoS 수준에서 보다 효과적으로 만족할 수 있을 것으로 기대되기 때문이다. SoS를 구성하는 독립 시스템을 구성 시스템(Constituent System, 이하 CS)이라 부르며, 다수의 CS와 그들의 상호작용을 고려하여 제한된 자원 안에서 SoS 수준의 목표 달성 여부를 검증하는 것이 SoS 공학의 핵심 문제 중 하나이다. 최근 SoS 개발을 위한 기초 연구는 활발하게 이루어졌으나, SoS 모델링 및 검증에 대한 구체적인 사례 기반 연구는 거의 존재하지 않는다. 본 연구는 SoS와 CS가 자신의 목표를 달성하기 위해 독립적으로 의사결정을 수립한다는 특성에 기반을 두어, 개별 행동의 비용과 이익대비 효용을 기준으로 의사결정을 하는 행동-이익-비용(Action-Benefit-Cost) SoS 모델을 제안하고, SoS 예제의 모델링과 정량적 검증 사례 연구를 수행한다.