A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications
[chapter]
2015
IFIP Advances in Information and Communication Technology
In this paper we address practical aspects of applying the modelchecking method for industrial automation systems verification. Several measures are proposed to cope with the high computational complexity of modelchecking. To improve scalability of the method, cloud-based verification tools infrastructure is used. Besides, closed-loop plant controller modelling and synchronization of transitions in the SMV (input language for symbolic model checking) model aim at complexity reduction. The state
doi:10.1007/978-3-319-16766-4_8
fatcat:kxq3um6o4bdabb3bh6buuncc5y