TY - GEN
T1 - Design-to-test approach for black-box testing of programmable controllers
AU - Ma, Canlong
AU - Provost, Julien
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/10/7
Y1 - 2015/10/7
N2 - This paper focuses on a global consideration of design and testing phases of a safety-critical automation system with programmable controllers. A design-to-test approach is proposed to improve the testability of programmable controllers and reduce overhead during the testing phase, under the premise that the nominal behavior of a system is guaranteed to remain unchanged during normal execution. This approach is elaborated and illustrated on a medium scale case study throughout the paper, and then applied to a larger case study in order to illustrate its scalability.
AB - This paper focuses on a global consideration of design and testing phases of a safety-critical automation system with programmable controllers. A design-to-test approach is proposed to improve the testability of programmable controllers and reduce overhead during the testing phase, under the premise that the nominal behavior of a system is guaranteed to remain unchanged during normal execution. This approach is elaborated and illustrated on a medium scale case study throughout the paper, and then applied to a larger case study in order to illustrate its scalability.
UR - http://www.scopus.com/inward/record.url?scp=84952764735&partnerID=8YFLogxK
U2 - 10.1109/CoASE.2015.7294232
DO - 10.1109/CoASE.2015.7294232
M3 - Conference contribution
AN - SCOPUS:84952764735
T3 - IEEE International Conference on Automation Science and Engineering
SP - 1018
EP - 1024
BT - 2015 IEEE Conference on Automation Science and Engineering
PB - IEEE Computer Society
T2 - 11th IEEE International Conference on Automation Science and Engineering, CASE 2015
Y2 - 24 August 2015 through 28 August 2015
ER -