Analysis and implementation of the IEC 61131-3 software model under POSIX Real-Time operating systems-Reference-Cited by-同舟云学术

Analysis and implementation of the IEC 61131-3 software model under POSIX Real-Time operating systems

Published:2006-12 Issue:8 Volume:30 Page:497-508
ISSN:0141-9331
Container-title:Microprocessors and Microsystems
language:en
Short-container-title:Microprocessors and Microsystems

Author:

Plaza Inmaculada,Medrano Carlos,Blesa Alfonso

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software

Reference20 articles.

1. R.W. Lewis, Programming industrial control systems using IEC 1131-3, in: The Institution of Electrical Engineering, London, UK, 1998.

2. MatPLC project home page, Available from: , last visit on march, 2006.

3. M. Sousa, Linux-based PLC for industrial Control, Embedded Linux Journal, May, (2001)—online at , last visit on December, 2004.

4. M. Sousa, A. Carvalho, An IEC 61131-3 compiler for the MatPLC, Emerging Technologies and Factory Automation, Proceedings, ETFA ’03, vol. 1, 2003, pp. 485–490.

5. G. Egger, A. Fett, P. Pepper, Formal specifications of a safe PLC language and its compiler, 13th International Conference on Computer Safety, Reliability and Security Anaheim, (1994), Proceedings of the SAFECOMP’94.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FPGA Implementation of IEC 61131-3-Based Hardware-Aided Timers for Programmable Logic Controllers;Electronics;2023-10-14

2. FPGA Implementation of IEC-61131-3-Based Hardware Aided Counters for PLC;Applied Sciences;2021-10-30

3. Industry 4.0 smart reconfigurable manufacturing machines;Journal of Manufacturing Systems;2021-04

4. Deriving guidelines for cross-vendor reuse of IEC 61131-3 modules based on Normalized Systems theorems;Computer Standards & Interfaces;2014-03

5. On Analyzing the Semantics of IEC61131-3 ST and IL Applications;Advances in Sustainable and Competitive Manufacturing Systems;2013