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

fYear

1997

fDate

1-3 Apr 1997

Firstpage

217

Lastpage

221

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on

Conference_Location

Geneva

Print_ISBN

0-8186-8096-2

Type

conf

DOI

10.1109/WPDRTS.1997.637982

Filename

637982