Modeling Multicore Programmable Logic Controllers in Networked Automation Systems

被引：0
|
作者：
Farzaneh, M. Hashemi [1 ]
Feldmann, S. [1 ]
Legat, C. [1 ]
Folmer, J. [1 ]
Vogel-Heuser, B. [1 ]
机构：
[1] Tech Univ Munich TUM, Inst Automat & Informat Syst AIS, D-85748 Garching, Germany
来源：
39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013) | 2013年
关键词：
automation; networked automation systems; modeling; multicore; plc;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Integrating Multicore Programmable Logic Controllers (PLC) in Networked Automation Systems (NAS) promises a higher computing performance and PLC manufactures are launching their first Multicore PLCs (MPLC). However, analyzing the MPLCs time behavior considering distributing automation tasks on different cores is more complex than analyzing the time behavior of single-core PLCs. For increasing analyzability of NAS a modeling notation is needed. However, MPLCs are not considered sufficiently in modeling NAS nowadays. In this paper, properties and requirements of MPLCs regarding the distribution of automation tasks on multiple cores are explored. These properties and requirements affect real-time constraints of automation tasks of a Multicore-Capable NAS (MCNAS). Based on the explored properties and requirements a modeling notation for modeling MPLCs is proposed. This modeling notation offers the automation engineer higher analyzability of the time behavior of MCNAS.
引用
收藏
页码：4398 / 4403
页数：6
相关论文
共 50 条
  • [41] FAILURE RATES FOR PROGRAMMABLE LOGIC CONTROLLERS
    PAULA, HM
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1993, 39 (03) : 325 - 328
  • [42] VIRTUAL LAB FOR PROGRAMMABLE LOGIC CONTROLLERS
    Munoz, J. A.
    Guzman, J. L.
    Rodriguez, F.
    Berenguel, M.
    Pawlowski, A.
    2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
  • [43] Predicate Abstraction for Programmable Logic Controllers
    Biallas, Sebastian
    Giacobbe, Mirco
    Kowalewski, Stefan
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 123 - 138
  • [44] A Verification Approach for Programmable Logic Controllers
    Luo, Xiang-yu
    Li, Yong
    Du, Wan-xiao
    Yang, Fan
    Yang, Zhi-gang
    INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA 2016), 2016, : 314 - 319
  • [45] EXPERIENCES WITH PROGRAMMABLE LOGIC CONTROLLERS.
    Hays, Ean L.
    Pulp and Paper Canada, 1980, 81 (02): : 73 - 75
  • [46] Generative Programming for Programmable Logic Controllers
    Cote, Daniel
    St-Denis, Richard
    Kerjean, Sylvain
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
  • [47] PIPELINE CONTROL WITH PROGRAMMABLE LOGIC CONTROLLERS
    MUMA, WF
    HENRY, DE
    ISA TRANSACTIONS, 1977, 16 (01) : 73 - 78
  • [48] ROLE OF PROGRAMMABLE LOGIC CONTROLLERS IN INDIA
    CHETTY, BA
    ELECTRONICS INFORMATION & PLANNING, 1981, 8 (09): : 651 - 664
  • [49] SELECTING PROGRAMMABLE-LOGIC CONTROLLERS
    JOHNSON, DG
    TOOLING & PRODUCTION, 1984, 50 (04): : 30 - 33
  • [50] Towards Obfuscation of Programmable Logic Controllers
    Cozza, Vittoria
    Dalla Preda, Mila
    Lucchese, Marco
    Merro, Massimo
    Zannone, Nicola
    18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, 2023,
12345