Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications

Abstract : In this paper we address practical aspects of applying the model-checking method for industrial automation systems verification. Several measures are proposed to cope with the high computational complexity of model-checking. 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 explosion problem is additionally dealt with by using an abstraction of the model of the plant with net-condition event systems, which is then translated to SMV. In addition, bounded model-checking is applied, which helps to achieve results in cases when the state space is too high. The paper concludes with comparison of performance for different complexity reduction methods.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.73-81, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_8〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01343467
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 juillet 2016 - 14:56:00
Dernière modification le : vendredi 8 juillet 2016 - 15:33:09

Fichier

336594_1_En_8_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin. Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.73-81, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_8〉. 〈hal-01343467〉

Partager

Métriques

Consultations de la notice

62