A Tool for Hazard Detection in Hybrid Systems (2000)
BibTeX
@MISC{Herrmann00atool,
author = {Peter Herrmann and Fachbereich Informatik Ls and Peter Grannas},
title = {A Tool for Hazard Detection in Hybrid Systems},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The complexity degree of modern chemical plants demands for the use of formal specification methods. A framework for hybrid systems contains specification modules and verification elements proving the plant safety. The design of a plant is reduced to the composition of framework components, the identification of possible sources of danger and the identification of suitable verification elements. Our contribution introduces a tool supporting the selection of suitable safety properties eliminating possible sources of danger. The tool harmonic supporting this process is based on approaches of expert systems. An example examination of a plant specification clarifies the use of this program. Keywords: Hazard Detection, Formal Methods, Specification Framework, Expert System, Harmonic. 1
Keyphrases
hazard detection hybrid system expert system possible source formal specification method suitable verification element suitable safety property plant specification modern chemical plant formal method verification element example examination complexity degree specification framework specification module framework component plant safety
