Search

Testing Programmable Logic Controllers (PLCs) is challenging, partially due to the lack of tools for testing. Isolating a part of the PLC program, feeding it with test inputs and checking the test outputs often require manual work and physical hardware. The Siemens PLCSIM Advanced tool can simulate PLCs and provide a rich application programming interface (API). This paper presents a new CERN made tool based on PLCSIM Advanced and the TIA Portal Openness API. The tool takes a test case described in an intuitive, tabular format, which is then executed with the full PLC program or a selected part of it, effectively allowing unit testing. The inputs can be fed and the outputs can be captured via the PLCSIM API. This way the tests can be executed and evaluated automatically, without manual work or physical hardware. Therefore, it is possible to provide an automated and scalable continuous testing solution for PLC programs to reveal errors as early as possible., Proceedings of the 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS2019, New York, NY, USA

The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. The ITER Interlock Control System has been designed to protect the tokamak and its auxiliary systems from failures of the components or incorrect machine operation. ITER has developed a method to assure that some critical operator commands have been correctly received and executed in the PLC (Programmable Logic Controller). The implementation of the method in a PLC program is a critical part of the interlock system. A methodology designed at CERN has been applied to verify this PLC program. The methodology is the result of 5 years of research in the applicability of model checking to PLC programs. A proof-of-concept tool called PLCverif implements this methodology. This paper presents the challenges and results of the ongoing collaboration between CERN and ITER on formal verification of critical PLC programs., Proceedings of the 16th Int. Conf. on Accelerator and Large Experimental Control Systems, ICALEPCS2017, Barcelona, Spain

This book describes the theoretical foundations of cognitive infocommunications (CogInfoCom), and provides a survey on state-of-the-art solutions and applications within the field. The book covers aspects of cognitive infocommunications in the research fields of affective computing, BCI, future internet, HCI, HRI, sensory substitution, and virtual/augmented interactions. The book focuses on describing the merging between humans and information and communications technology (ICT) at the level of cognitive capabilities with an approach towards developing future cognitive ICT. Provides a comprehensive overview of cognitive infocommunications Covers theoretical and practical aspects of cognitive infocommunications Discusses applications employing various aspects of infocommunication.