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
来源：
2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | 2005年
关键词：
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 条
  • [1] How does the IEC61499 architecture fit the requirements of intelligent automation systems?
    Vyatkin, V
    Peniche, C
    2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS, 2004, : 575 - 580
  • [2] Distributed Home Automation System Based on IEC61499 Function Blocks and Wireless Sensor Networks
    Abrishambaf, Reza
    Bal, Mert
    Vyatkin, Valeriy
    2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1354 - 1359
  • [3] Specification of Manufacturing Systems Controllers Using the Standard IEC61499
    Trejo-Hernandez, Mayra
    Lopez-Mellado, Ernesto
    2013 23RD INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTING (CONIELECOMP), 2013, : 179 - 184
  • [4] Design of the architecture of a flexible machining system using IEC61499 Function Blocks
    Querol, E.
    Romero, F.
    Estruch, A. M.
    Serrano, J.
    MESIC MANUFACTURING ENGINEERING SOCIETY INTERNATIONAL CONFERENCE 2015, 2015, 132 : 934 - 941
  • [5] Smart Grid Automation: Distributed Protection Application with IEC61850/IEC61499
    Yang, Chen-Wei
    Zhabelova, Gulnara
    Vyatkin, Valeriy
    Nair, Nirmal-Kumar C.
    Apostolov, Alex
    2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2012, : 1067 - 1072
  • [6] Holonic Manufacturing System design using IEC61499
    Xia, F
    Yuan, MZ
    Wang, Z
    Sun, YX
    THIRD INTERNATIONAL CONFERENCE ON ELECTRONIC COMMERCE ENGINEERING: DIGITAL ENTERPRISES AND NONTRADITIONAL INDUSTRIALIZATION, 2003, : 720 - 724
  • [7] System model of reconfigurable embedded motion control system based on IEC61499
    Liu, Shoushan
    Cao, Maoyong
    Chen, Yan
    Computer Modelling and New Technologies, 2014, 18 (10): : 197 - 202
  • [8] The function block model in embedded control and automation from IEC61131 to IEC61499
    Electrical and Computer Engineering, University of Patras, 26500 Patras, Greece
    WSEAS Trans. Comput., 2009, 9 (1597-1609):
  • [9] On Automatic Generation of IEC61850/IEC61499 Substation Automation Systems Enabled by Ontology
    Yang, Chen-Wei
    Vyatkin, Valeriy
    Mousavi, Arash
    Dubinin, Victor
    IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2014, : 3577 - 3583
  • [10] Alternatives for execution semantics of IEC61499
    Vyatkin, Valeriy
    Dubinin, Victor
    Veber, Carlo
    Ferrarini, Luca
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1151 - +
12345