Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV

被引：1
|
作者：
Shatrov, Viktor [1 ]
Vyatkin, Valeriy [2 ]
机构：
[1] ITMO Univ, Comp Technol Dept, St Petersburg, Russia
[2] Aalto Univ, Dept Elect Engn & Automat, Helsinki, Finland
来源：
2021 IEEE 19TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | 2021年
基金：
欧盟地平线“2020”;
关键词：
IEC; 61499; formal verification; model-checking; function blocks; SPIN; SMV; Promela;
D O I：
10.1109/INDIN45523.2021.9557513
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper presents a method of formal modelling of IEC 61499 systems of Function Blocks with Promela(1). The existing method of formal verification of IEC 61499 using SMV (Symbolic Model Verifier) is compared with a new approach of verification using SPIN2 which is an explicit-state model-checker. The performance of both approaches is studied using a set of deterministic systems of multiple computational units as an example and a more complex non-deterministic elevator model.
引用
收藏
页数：6
相关论文
共 50 条
  • [41] Formal modelling and verification of GALS systems using GRL and CADP
    Jebali, Fatma
    Lang, Frederic
    Mateescu, Radu
    FORMAL ASPECTS OF COMPUTING, 2016, 28 (05) : 767 - 804
  • [42] Controlling concurrent events in IEC 61499 based systems on FPGAs
    Resetarits, Martin
    Merkumians, Martin Melik
    Schitter, Georg
    2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
  • [43] Implementing Constrained Cyber-Physical Systems with IEC 61499
    Yoong, Li Hsien
    Roop, Partha S.
    Salcic, Zoran
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11 (04)
  • [44] IEC 61499 and IEEE 1451 for Distributed Control and Measurement Systems
    Abrishambaf, Reza
    da Rocha, Helbert
    Espirito-Santo, Antonio
    IECON 2021 - 47TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2021,
  • [45] Modeling Holonic Control Systems with IEC 61499 Subapplications and Applications
    Vlad, V.
    Graur, A.
    Turcu, C. E.
    Filote, C.
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2010, (10) : 95 - 98
  • [46] IEC 61499 implementation of a modular control model for manufacturing systems
    Ferrarini, Luca
    Veber, Carlo
    Fogliazza, Giuseppe
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 315 - 321
  • [47] Integration of existing IEC 61131-3 systems in an IEC 61499 distributed solution
    Campanelli, Stefano
    Foglia, Pierfrancesco
    Prete, Cosimo Antonio
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [48] Development of distributed control systems using UML and IEC 61499
    Hussain, Tanvir
    Frey, Georg
    VDI Berichte, 2008, (2032): : 199 - 202
  • [49] Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499
    Yoong, Li Hsien
    Shaw, Gareth Darcy
    Roop, Partha S.
    Salcic, Zoran
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (06): : 1465 - 1477
  • [50] Modelling Distributed Motion Control Applications using IEC 61499 Function Blocks
    Dai, Wenbin
    Sun, Weiqi
    Wu, Xian
    Wang, Peng
    Zhang, Hualiang
    45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), 2019, : 2976 - 2981
12345