Using Visual Specifications in Verification of Industrial Automation Controllers

被引：3

作者：

Vyatkin, Valeriy ^{[1
]}

Bouzon, Gustavo ^{[2
]}

机构：

[1] Univ Auckland, Dept Elect & Comp Engn, Auckland 1142, New Zealand

[2] Controle Solucoes Mecatron Ltda, BR-88024420 Lages, SC, Brazil

来源：

EURASIP JOURNAL ON EMBEDDED SYSTEMS | 2008年 / 01期

关键词：

D O I：

10.1155/2008/251957

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

This paper deals with further development of a graphical specification language resembling timing-diagrams and allowing specification of partially ordered events in input and output signals. The language specifically aims at application in modular modelling of industrial automation systems and their formal verification via model-checking. The graphical specifications are translated into a model which is connected with the original model under study. Copyright (C) 2008 V. Vyatkin and G. Bouzon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

引用

页数：9

共 50 条

[1] Application of visual specifications for verification of distributed controllers
Vyatkin, V
Hanisch, HM
[J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 646 - 651
[2] Visual specifications of policies and their verification
Koch, M
Parisi-Presicce, F
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 278 - 293
[3] Verification and Validation based on the generation of Testing Sequences from Timing Diagram Specifications in Industrial Automation
Racchetti, Lorenzo
Fantuzzi, Cesare
Tacconi, Lorenzo
[J]. IECON 2015 - 41ST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2015, : 2816 - 2821
[4] Safe controllers design for industrial automation systems
Machado, Jose
Seabra, Eurico
Campos, Jose C.
Soares, Filomena
Leao, Celina P.
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 2011, 60 (04) : 635 - 653
[5] Using a visual formalism for design verification in industrial environments
Schlör, R
Josko, B
Werth, D
[J]. SERVICES AND VISUALIZATION: TOWARDS USER-FRIENDLY DESIGN, 1998, 1385 : 208 - 221
[6] Verification of real time controllers against timing diagram specifications using constraint logic programming
Cerny, E
Jin, F
[J]. 24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 229 - 236
[7] An open software architecture for the verification of industrial controllers
Treseler, H
Stursberg, O
Chung, PWH
Yang, S
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01) : 37 - 53
[8] Systematic design and implementation of distributed controllers in industrial automation
Vyatkin, Valeriy
Hirsch, Martin
Hanisch, Hans-Michael
[J]. 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 756 - +
[9] A workbench for motion control experiments using programmable automation controllers in industrial automation laboratory at Kongu Engineering College
Chinnasamy, Jegadheesan
Babu, Kiruba Shankar Ramesh
Chenniappan, Maheswari
Rathinasamy, Parameshwaran
[J]. COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2018, 26 (03) : 566 - 576
[10] Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers
Suender, Christoph
Vyatkin, Valeriy
Zoitl, Alois
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)

← 1 2 3 4 5 →