Proposed corrections to the IEC 61131-3 standard

Sousa, Mário de

doi:10.1016/j.csi.2010.03.006

Cited by 16 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They also identified that there are two possible ways of parsing the 1 and 0 literals either as a boolean literal or as an integer literal. De Sousa [4] pointed out that it is an error when the standard describes VAR EXTERN…”

Section: Related Workmentioning

confidence: 99%

“…To resolve this issue, we have made these prefixes BYTE#, WORD#, DWORD# or LWORD# compulsory in the rule of bit string literal. Also, as pointed out in [4], a symbol unsigned integer has been used in the above specification of bit string literal, which is not defined anywhere else. In ST grammar, integer represents the unsigned integer definition.…”

Section: → Integer → Bit String Literal → Integer → Signed Integer → mentioning

confidence: 99%

“…According to this changed formal specification, a task can have duration as its interval. It was suggested in [4] to change the formal specification of task initialization as follows. But, using time literal as interval of task can cause a problem, where TIME OF DAY or DATE can also be accepted as a valid interval of a task in ST configuration.…”

Section: Interval Of Periodic Taskmentioning

confidence: 99%

See 2 more Smart Citations

A structured text to MISRA-C translator and issues with IEC 61131-3 standard

Kabra

Karmakar

Patil

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

Programmable Controllers (PLC) are being increasingly used in control systems for Nuclear Power Plants.A PLC, qualified for safety applications, is attractive because it saves a lot of time in verification and validation effort as compared to development of embedded control systems. We developed a tool, ST to MISRA-C translator, required for developing application program using Structured Text (ST) in a qualified PLC. The syntax and semantics of ST programming language is defined in the IEC 61131-3 standard. During the development of the translator, we found some issues with ST language syntax and semantics not pointed out by other researchers. These issues are discussed in this paper along with proposed changes in the ST language grammar for its unambiguous parsing.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: → Integer → Bit String Literal → Integer → Signed Integer → mentioning

confidence: 99%

Section: Interval Of Periodic Taskmentioning

confidence: 99%

See 1 more Smart Citation

A structured text to MISRA-C translator and issues with IEC 61131-3 standard

Kabra

Karmakar

Patil

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

show abstract

“…IEC 61131-3 standard [1] is an attempt to standardize and systematize programming languages for PLCs. Many deficiencies of this specification have been discussed in the literature; e.g., in [2,3]. Even though some PLC manufacturers offer controllers that can be programmed using languages that conform fully, or almost fully, to the IEC 61131-3 standard [4][5][6][7][8], the internal languages or construction of the CPUs of the PLCs have instruction sets that are not compatible or are only partially compatible with it.…”

Section: Introductionmentioning

confidence: 99%

Hardware-Based Single-Clock-Cycle Edge Detector for a PLC Central Processing Unit

Czerwiński

Chmiel

2019

Electronics

View full text Add to dashboard Cite

This article discusses edge detectors implemented in programmable logic controllers. The behaviors of different vendors' solutions are presented with pros and cons. The trigger functions defined in the IEC 61131-3 standard were analyzed for implementations. The main contribution of this paper is an idea for hardware acceleration of standard trigger functions that enables us to build single-clock-cycle edge detectors. Additionally, the structure for automatic edge detection on every input is shown. The structure with a synthesizable Verilog HDL description is presented. The comparison of the solution with vendor programmable logic controllers (PLCs) proves the effectiveness of the designed hardware-aided unit.

show abstract

“…However, before the final conclusion, the implementation of the languages should also be checked for two reasons: (1) the different manufacturers may have differences in their implementation compared to the standard, and (2) the IEC 61131 standard is ambiguous [1,10,16] and the vendors might resolve the ambiguities differently. The following section compares a concrete implementation of the five PLC programming languages.…”

Section: Standard Languagesmentioning

confidence: 99%