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 条
  • [31] Concept for Intelligent Distributed Power System Automation with IEC 61850 and IEC 61499
    Higgins, Neil
    Vyatkin, Valeriy
    Nair, Nirmal-Kumar C.
    Schwarz, Karlheinz
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 36 - +
  • [32] IEC 61499 Control Architectures Evaluation for Automation Software Development
    Parant, A.
    Zander, D.
    Gellot, F.
    Philippot, A.
    IFAC PAPERSONLINE, 2023, 56 (02): : 3660 - 3665
  • [33] Will IEC 61499 trigger another automation system migration crisis?
    Woll, Dave
    HYDROCARBON PROCESSING, 2007, 86 (03): : 15 - 15
  • [34] Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes
    Zhabelova, Gulnara
    Vyatkin, Valeriy
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2012, 59 (05) : 2351 - 2362
  • [35] Automatic Iron Cutting Device using IEC61499 FBs Editor
    Sadeghi, Maryam
    ISPRA '09: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, ROBOTICS AND AUTOMATION, 2010, : 74 - +
  • [36] New possibilities of IEC 61499 for component based distributed automation
    Kegler, A
    CONTROL APPLICATIONS OF OPTIMISATION 2003, 2003, : 151 - 156
  • [37] Developing IEC61499 in industrial processes, measurement and control systems (IPMCS)
    Sadeghi, Maryam
    WSEAS Transactions on Systems and Control, 2010, 5 (04): : 238 - 247
  • [38] Sequential axiomatic model for execution of basic function blocks in IEC61499
    Vyatkin, Valeriy
    Dubinin, Victor
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 1183 - +
  • [39] Complementing Testing of IEC61499 Function Blocks with Model-Checking
    Glatz, Bernd
    Cleary, Fionn
    Horauer, Martin
    Schuster, Harald
    Balog, Peter
    2016 12TH IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS (MESA), 2016,
  • [40] Towards formal verification of IEC61499: modelling of data and algorithms in NCES
    Pang, Cheng
    Vyatkin, Valeriy
    2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2007, : 879 - 884
12345