Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems

This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their specifications can be modeled as finite state machines. Given an automation system, the testing objective is to check whether its implemented controller...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on industrial informatics Vol. 16; no. 10; pp. 6499 - 6508
Main Authors:	Ma, Canlong, Provost, Julien
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.10.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Automation Black-box testing Conformance testing Design modifications design-to-test (DTT) finite state machine Finite state machines IEC Standards Informatics programmable controller Programmable controllers Safety critical single-input-change (SIC) Software Specifications Testability Unified modeling language
ISSN:	1551-3203, 1941-0050
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!