ABC+: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation

The system of systems (SoS) is a large-scale and complex system composed of autonomous and independent constituent systems (CSs). It deals with complex requirements as SoS-level goals that are not able to be satisfied by a single CS. To analyze SoS-level behaviors considering CSs' autonomy and independence, SoS-level engineers need to model and simulate an SoS properly. Action-Benefit-Cost (ABC) modeling provides an effective and efficient way to model and simulate the autonomous and independent behaviors of CSs by focusing on their external actions, benefits, and costs. However, ABC modeling does not support internal-knowledge of a CS. In addition, ABC modeling does not support communications between CSs. SoS engineers also have difficulty in reflecting all possible interaction into models in advance of simulation. In this paper, we propose ABC+ modeling, which supports the three-phased knowledge-based decision-making and the message-based interaction models. The case study shows that ABC+ modeling improves the expressiveness of SoS models and lets SoS-level behavior simulation by different interaction patterns be possible, which cannot be even represented in ABC modeling. The simulation execution time is examined about both ABC and ABC+ modeling.

[1]  Doo-Hwan Bae,et al.  Modeling and Verification for Different Types of System of Systems using PRISM , 2016, 2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS).

[2]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[3]  G. Nigel Gilbert,et al.  Agent-Based Models , 2007 .

[4]  Doo-Hwan Bae,et al.  An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification , 2017 .

[5]  E. Quah,et al.  Cost-Benefit Analysis , 1972 .

[6]  Jan Peleska,et al.  Systems of Systems Engineering , 2015 .

[7]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[8]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[9]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[10]  Mark W. Maier Architecting Principles for Systems‐of‐Systems , 1996 .

[11]  J.S. Dahmann,et al.  Understanding the Current State of US Defense Systems of Systems and the Implications for Systems Engineering , 2008, 2008 2nd Annual IEEE Systems Conference.

[12]  Hermann Kopetz,et al.  A Conceptual Model for the Information Transfer in Systems-of-Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[13]  Thomas Müller-Bohn,et al.  Cost-Benefit Analysis , 2015 .

[14]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .

[15]  Junho Kim Model-based system of systems verification considering selfishness = 이기성을 고려한 모델 기반 시스템 오브 시스템즈 검증 연구 , 2017 .