On the Safe IOCOS relation for Testing Safety PLC Code
Paper in proceeding, 2019

In this paper, limitations of the IOCOS testing relation in regard to testing safety PLC code is examined and a modification of the current IOCOS relation, called safe-IOCOS is proposed. In the IOCOS testing relation, an implementation is IOCOS with respect to a specification, if it emits a subset of the specified outputs and a super-set of the specified inputs after the execution of each trace in the specification. However, for testing safety PLC code, the IOCOS relation is not detailed enough as the subset requirement on the respective inputs and outputs could allow some safety behaviors to go untested. These limitations of the IOCOS relation may thus pose threats to humans. So the notion of safe-IOCOS is defined, which strengthens IOCOS to require equality between the implementation and the specification in relation to the inputs and outputs, respectively. An example shows these shortcomings of IOCOS and how the proposed safe-IOCOS relation is better suited for testing safety PLC code.

Safety

PLC

Input-output conformance

Author

Adnan Khan

Chalmers, Electrical Engineering, Systems and control

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

19460740 (ISSN) 19460759 (eISSN)

Vol. 2019-September 1449-1452 8869487
978-1-7281-0303-7 (ISBN)

24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019
Zaragoza, Spain,

Systematic testing of cyber-physical systems (SyTeC)

Swedish Research Council (VR) (2016-06204), 2017-01-01 -- 2022-12-31.

Subject Categories

Embedded Systems

Robotics

Computer Systems

DOI

10.1109/ETFA.2019.8869487

More information

Latest update

9/21/2020