Model checking: Towards generating a correct specification for logic controllers

被引：0
|
作者：
Weng, XY [1 ]
Litz, L [1 ]
机构：
[1] Univ Kaiserslautern, Inst Proc Automat, D-67663 Kaiserslautern, Germany
来源：
PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6 | 2002年 / 1-6卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
PLC is widely used in industrial automation systems. Because of the increasing complexity in such systems, new methods for software specification and verification are needed to improve the reliability of these systems. Formal methods provide promising approaches to achieve this. In this contribution, relevant criteria are proposed to get a correct specification of PLC controllers using Signal Interpreted Petri Net (SIPN) framework. The temporal logic forms of these criteria are presented, so that model checking can be applied to verify the correctness of an SIPN design.
引用
收藏
页码：4457 / 4462
页数：6
相关论文
共 50 条
  • [1] Model Checking in Parallel Logic Controllers Design and Verification
    Doligalski, Michal
    Tkacz, Jacek
    Gratkowski, Tomasz
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON SOFTWARE DEVELOPMENT AND OBJECT TECHNOLOGIES, 2017, 511 : 35 - 53
  • [2] Towards Expressive Specification and Efficient Model Checking
    Dong, Jin Song
    Sun, Jun
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 9 - 9
  • [3] Model Checking of UML Activity Diagrams in Logic Controllers Design
    Grobelna, Iwona
    Grobelny, Michal
    Adamski, Marian
    PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON DEPENDABILITY AND COMPLEX SYSTEMS DEPCOS-RELCOMEX, 2014, 286 : 233 - 242
  • [4] Model Checking by Generating Observers from an Interface Specification Between Components
    Hasegawa, Tetsuo
    Fukazawa, Yoshiaki
    INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION, 2009, 20 : 526 - 538
  • [5] GRAFCET - A POWERFUL TOOL FOR SPECIFICATION OF LOGIC CONTROLLERS
    DAVID, R
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1995, 3 (03) : 253 - 268
  • [6] Iterative Specification Refinement in Deriving Logic Controllers
    Lohmann, Sven
    Lan Anh Dinh Thi
    Thanh Ha Tran
    Stursberg, Olaf
    Engell, Sebastian
    17TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2007, 24 : 919 - 924
  • [7] Checking correctness of business processes specification in action logic
    Kedzierski, S
    BIS 2000, 2000, : 297 - 305
  • [8] UML Activity Diagrams in Requirements Specification of Logic Controllers
    Grobelna, Iwona
    Grobelny, Michal
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [9] Formal Specification and Code Generation of Programable Logic Controllers
    Wang, Rui
    Gu, Ming
    Song, Xiaoyu
    Wan, Hai
    2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 102 - +
  • [10] Specification and design of logic controllers for automated manufacturing systems
    Zaytoon, J
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1996, 12 (04) : 353 - 366
12345