시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류 = Manifestation Location-based Classification of Uncertainty Factors Considering Characteristics of System-of-Systems

다국어 초록 (Multilingual Abstract)

System-of-Systems (SoS) is a large-scale complex system comprising various configuration systems. To check if an SoS satisfies its common goal, it is necessary to model and verify the entire system. Conversely, constituent systems are exposed to uncertainty because of the various environmental factors, so uncertainty must be considered to accurately verify if the SoS goal is achieved.
However, there is a lack of research that systematically classifies uncertainty factors considering the characteristics of the SoS. Thus, in this paper, we propose an uncertainty factor classification system considering the characteristics of the SoS. The classification system proposed in this paper classifies uncertainty into five categories based on the manifestation location: the context, the structure, the input variables, the manager, and the runtime. The proposed classification system is applied to two types of the SoS. When the SoS is verified through the proposed classification system, it is possible to fully consider all the uncertainties that may arise and it is expected that this will increase the confidence of the SoS target performance evaluation and the verification technology research.

국문 초록 (Abstract)

시스템 오브 시스템즈(System-of-Systems, SoS)는 다양한 구성시스템들로 구성된 대규모의 복잡한 시스템을 말한다. SoS의 목표 달성 여부를 확인하기 위해 전체 시스템에 대한 모델링과 검증이 필요하다. 한편, 구성시스템들은 다양한 환경적 요소에 의한 불확실성에 노출되어, SoS의 목표 달성 여부를 정확히 검증하기 위해서는 불확실성을 고려해야 한다. 그러나 SoS의 특성을 고려한 불확실성 요소를 체계적으로 분류한 연구가 부족하다. 따라서 본 논문에서는 SoS의 특성을 고려한 불확실성 요소 분류 체계를 제안한다. 제안하는 분류 체계는 불확실성을 발현 위치를 기반으로 문맥, 구조, 입력 변수, 매니저, 런타임의 다섯 가지로 분류한다. 제안하는 분류 체계는 두 종류의 SoS에 사례 적용된다. 제안하는 분류 체계를 통해 SoS를 검증할 때 발현할 수 있는 모든 불확실성을 충분히 고려할 수 있으며, SoS 대상 성능평가 및 검증 기술 연구의 신뢰를 높일 수 있을 것이다.

참고문헌 (Reference)

1 D. Perez-Palacin, "Uncertainties in the modeling of self-adaptive systems" 3-14, 2014

2 N. Esfahani, "Taming uncertainty in self-adaptive software" 234-244, 2011

3 J. Boardman, "System of Systems-The meaning of of" 2006 : 118-123, 2006

4 Agusdinata, "System of System Failures" 95-113, 2018

5 B. H. C. Cheng, "Software engineering for self-adaptive systems : A research roadmap" 5525 (5525): 1-26, 2009

6 T. D. P. Mendes, "Smart home communication technologies and applications : Wireless protocol assessment for home area network resources" 8 (8): 7279-7311, 2015

7 J. Song, "Slicing Executable System-of-Systems Models for Efficient Statistical Verification" 18-25, 2019

8 S. Baldi, "Platooning merging maneuvers in the presence of parametric uncertainty" 51 (51): 148-153, 2018

9 M. Amoozadeh, "Platoon management with cooperative adaptive cruise control enabled by VANET" 2 (2): 110-123, 2015

10 D. Seo, "Modeling and verification for different types of system of systems using PRISM" 12-18, 2016

11 A. J. Ramirez, "A taxonomy of uncertainty for dynamically adaptive systems" 99-108, 2012

12 J. Marvin, "8. 3. 2 Uncertainty Quantification(UQ)in Complex System of Systems(SoS)Modeling and Simulation(M&S)Environments" 24 (24): 843-858, 2014