Modeling and verification for different types of system of systems using PRISM

Cited 18 time in webofscience Cited 0 time in scopus
  • Hit : 180
  • Download : 0
A System of Systems (SoS) consists of complex Constituent Systems (CSs), which have managerial and operational independence. As the CSs have independence, the degree of authority to control the CSs varies depending on the different types of SoS, such as directed, acknowledged, and collaborative SoS. While many researchers have attempted to model SoSs and verify SoS-level goals, little attention has been paid to how different types of SoSs are characterized and realized during modeling and verification. Using a mass casualty incident response system as a common working example for different types of a SoS, we model the types of SoS with probabilistic models of PRISM, which can capture uncertain behaviors of an SoS in a quantitative manner and perform statistical model checking in order to verify to which extent each type of SoS achieves the SoS-level goal. Differences between the different types of SoS are demonstrated in the probabilistic models and analyzed by statistical model checking. This modeling and verification can help SoS-level managers to identify the appropriate SoS types to achieve the SoS-level goal.
Publisher
Association for Computing Machinery, Inc
Issue Date
2016-05-16
Language
English
Citation

4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18

DOI
10.1145/2897829.2897833
URI
http://hdl.handle.net/10203/237651
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 18 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0