KIT | KIT-Bibliothek | Impressum
Open Access Logo
URN: urn:nbn:de:swb:90-AAA2944

Specification and verification of distributed technical systems with central control

Schellhorn, Gerhard


This paper presents an algebraic approach to the specification
and verification of distributed technical systems, which are
controlled by a central control program. The approach is
demonstrated by its application to the case study "production
cell". The approach uses first-order specifications to describe
the possible behaviour of the system. Specifications are
structured according to the physical structure of the system. A
PASCAL-like program is used to enforce intended behaviour.
The whole case study, including specification as well as
verification of lifeness and safety conditions, is carried out
using the KIV system.

This research was sponsored by the BMFT project KORSO.

Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1994
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-AAA2944
KITopen ID: 294
Erscheinungsvermerk Karlsruhe 1994. (Technical report. Fakultät für Informatik, Universität Karlsruhe. 1994,3.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page