A runtime verification monitoring approach for embedded industrial controllers

Conal Watterson, Donal Heffernan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Complexity in industrial control systems has grown exponentially during the past decade. The reliability of such systems is dependant on trustable embedded controllers. The design of such embedded controllers is moving towards reliabilitycentric hardware/software co-design frameworks. This paper proposes a novel approach to the development of such embedded controllers, by proposing a special embedded monitoring scheme. An experimental evaluation framework is described that supports runtime verification of a software application executing in an embedded system, where the processor is a Java Optimised Processor (JOP) soft processor, instantiated in the fabric of an FPGA (field programmable gate array). The experimental system employs the Java-MaC (Java Monitoring and Checking) runtime verification method, arranged to indirectly monitor the execution behaviour of the application software in its native environment. A case study example is described, which demonstrates the verification of a condition for a software model of a railroad crossing system. The example shows that such a runtime verification scheme can be used effectively as a software testing approach for such a specialised embedded controller. The issues of how to minimise the overhead impact of the monitoring scheme and how to provide an interface for the monitor are considered.

Original languageEnglish
Title of host publication2008 IEEE International Symposium on Industrial Electronics, ISIE 2008
Pages2016-2021
Number of pages6
DOIs
Publication statusPublished - 2008
Event2008 IEEE International Symposium on Industrial Electronics, ISIE 2008 - Cambridge, United Kingdom
Duration: 30 Jun 20082 Jul 2008

Publication series

NameIEEE International Symposium on Industrial Electronics

Conference

Conference2008 IEEE International Symposium on Industrial Electronics, ISIE 2008
Country/TerritoryUnited Kingdom
CityCambridge
Period30/06/082/07/08

Fingerprint

Dive into the research topics of 'A runtime verification monitoring approach for embedded industrial controllers'. Together they form a unique fingerprint.

Cite this