Title :
VERDICT-a tool for model-based verification of real-time logic process controllers
Author :
Kowalewski, Stefan ; Treseler, Heinz
Author_Institution :
Dept. of Chem. Eng., Dortmund Univ., Germany
Abstract :
This paper provides an overview of a project in which a practically applicable tool for the algorithmic formal verification of logic controllers (including timers) for processes with at least piecewise continuous dynamics is developed. In contrast to existing verification techniques from computer science, the presented approach is based on a model of the uncontrolled plant. Condition/event systems are used as the underlying modeling framework. They provide the possibility to build discrete, real-time, and modular models. The paper presents the basic tool architecture and discusses the current project status
Keywords :
chemical industry; chemical technology; piecewise constant techniques; process control; program verification; programmable controllers; real-time systems; VERDICT; algorithmic formal verification; chemical industry; computer science; condition event systems; discrete models; model-based verification tool; piecewise continuous dynamics; programmable logic controllers; project; real-time logic process controllers; timers; uncontrolled plant model; Communication system control; Computer science; Control systems; Cooling; Formal verification; Process control; Programmable control; Programmable logic arrays; Programmable logic devices; Temperature dependence;
Conference_Titel :
Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on
Conference_Location :
Geneva
Print_ISBN :
0-8186-8096-2
DOI :
10.1109/WPDRTS.1997.637982
