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

Canlong Ma, Julien Provost

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

2 Zitate (Scopus)

Abstract

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 controllers conform to the expected behavior with regard to the specification models. The DTT approach analyzes the specification models and, if necessary, automatically modifies them at the cost of limited design overhead, so that the testability of the final implemented controllers can be ensured/improved. By design, this approach also guarantees that the behavior of implemented controllers remains unchanged during normal execution (i.e., when not connected to a test bench).

OriginalspracheEnglisch
Aufsatznummer8964436
Seiten (von - bis)6499-6508
Seitenumfang10
FachzeitschriftIEEE Transactions on Industrial Informatics
Jahrgang16
Ausgabenummer10
DOIs
PublikationsstatusVeröffentlicht - Okt. 2020

Fingerprint

Untersuchen Sie die Forschungsthemen von „Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren