DocumentCode :
1814572
Title :
A structured text to MISRA-C translator and issues with IEC 61131-3 standard
Author :
Kabra, A. ; Karmakar, Gour ; Patil, R.K.
Author_Institution :
Reactor Control Div., Bhabha Atomic Res. Centre, Mumbai, India
fYear :
2012
fDate :
17-21 Sept. 2012
Firstpage :
1
Lastpage :
4
Abstract :
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.
Keywords :
application program interfaces; fission reactor safety; grammars; nuclear power stations; program compilers; program interpreters; programmable controllers; programming language semantics; structured programming; IEC 61131-3 standard; PLC; ST language grammar; ST programming language semantics; ST programming language syntax; ST-to-MISRA-C translator tool; application program development; nuclear power plant control systems; parsing; programmable controllers; safety applications; structured text-to-MISRA-C translator;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on
Conference_Location :
Krakow
ISSN :
1946-0740
Print_ISBN :
978-1-4673-4735-8
Electronic_ISBN :
1946-0740
Type :
conf
DOI :
10.1109/ETFA.2012.6489693
Filename :
6489693
Link To Document :
بازگشت