Association for Computing Machinery (ACM) - Modeling and Verification for Different Types of System of Systems using PRISM

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)

Author(s): Dongwon Seo ; Donghwan Shin ; Young-Min Baek ; Jiyoung Song ; Wonkyung Yun ; Junho Kim ; Eunkyoung Jee ; Doo-Hwan Bae
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 May 2016
Conference Location: Austin, TX, USA
Conference Date: 16 May 2016
Page(s): 12 - 18
ISBN (Electronic): 978-1-4503-4172-1
DOI: 10.1109/SESoS.2016.011

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... View More