Architecture for automation system development based on IEC61499 standard

被引:0
|
作者
Vyatkin, V [1 ]
Karras, S [1 ]
Pfeiffer, T [1 ]
机构
[1] Univ Auckland, Dept Elect & Comp Engn, Auckland, New Zealand
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper introduces an idea of a validatable architecture for software intensive industrial automation systems. The validation means will be provided through the formal modeling of automation systems, including both modeling of uncontrolled behavior of the equipment and modeling of the control system. This will be achieved through the facilitated reuse and integration of basic models to the models of complex systems. The validation will be empowered by advanced formal verification techniques combined with more usual testing by simulation. The discussed architecture bases on the latest developments in automation such as IEC61499 standard, on the latest trends in model-based software engineering, e.g. UML, and on modular modeling concepts of Condition/Event Systems.
引用
收藏
页码:13 / 18
页数:6
相关论文
共 50 条
  • [21] Component-Based Engineering of Distributed Control and Automation Software The IEC 61499 standard
    Hassapis, George
    2015 IEEE JORDAN CONFERENCE ON APPLIED ELECTRICAL ENGINEERING AND COMPUTING TECHNOLOGIES (AEECT), 2015,
  • [22] CEC Designer: Domain Specific Modelling for the Industrial Automation Based on the IEC 61499 Standard
    Colla, Marco
    Leidi, Tiziano
    Kunt, Murat
    Thiran, Jean-Philippe
    2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, 2008, : 192 - +
  • [23] FBLab, an IEC61499 based software tool for modeling of distributed control systems
    Jamshidifar, AA
    Afshar, A
    Salari, A
    CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1345 - 1349
  • [24] RT-component based integration for IEC61508 ready system using SysML and IEC61499 function blocks
    Hanai, Ryo
    Saito, Hajime
    Nakabo, Yoshihiro
    Fujiwara, Kiyoshi
    Ogure, Takuya
    Mizuguchi, Daichi
    Homma, Keiko
    Ohba, Kohtaro
    2012 IEEE/SICE INTERNATIONAL SYMPOSIUM ON SYSTEM INTEGRATION (SII), 2012, : 105 - 110
  • [25] Structured approach to the design of automation systems through IEC 61499 standard
    Mazzolini, Mauro
    Cavadini, Franco A.
    Montalbano, Giuseppe
    Forni, Andrea
    27TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING, FAIM2017, 2017, 11 : 905 - 913
  • [26] Streamline 3D simulation model development for virtual commissioning with IEC61499
    Rovere, Diego
    Silvestri, Marco
    Dal Maso, Giovanni
    Dzafic, Hilmo
    Pedrazzoli, Paolo
    IFAC PAPERSONLINE, 2022, 55 (10): : 773 - 778
  • [27] Simulation of Cyber-Physical Systems using IEC61499
    Pearce, Hammond A.
    Kuo, Matthew M. Y.
    Allen, Nathan
    Roop, Partha S.
    Malik, Avinash
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 137 - 146
  • [28] A PID Control Architecture Based on IEC 61499
    Gonzalez-Mateos, Guzman
    Prada, Miguel A.
    Moran, Antonio
    Gonzalez-Herbon, Raul
    Dominguez, Manuel
    IFAC PAPERSONLINE, 2024, 58 (07): : 91 - 96
  • [29] IEC 61499 Architecture for Distributed Automation: The "Glass Half Full'' View
    Zoitl, Alois
    Vyatkin, Valeriy
    IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2009, 3 (04) : 7 - 22
  • [30] Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control
    Higgins, Neil
    Vyatkin, Valeriy
    Nair, Nirmal-Kumar C.
    Schwarz, Karlheinz
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2011, 41 (01): : 81 - 92