Abstract
In embedded systems, there is a clear movement from autonomous systems towards collaborative systems, forming so-called collaborative system groups (CSGs), which collaborate to achieve common goals. Verification of CSGs, however, imposes new challenges, which are difficult to address with traditional verification techniques. In the following, we investigate the use of strategic logics for the analysis of CSGs, by means of a use-case in the domain of smart production systems. Our results show that strategic model checking is useful to investigate certain aspects of CSGs, such as the impact of environmental changes. However, our results also show some limitations of the approach, when it comes to the analysis of implementation-level aspects, such as performance. Thus, we conclude that strategic model checking might complement existing approaches for the analysis of CSGs.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
