Abstract A Tool for Hazard Detection in Hybrid Systems
BibTeX
@MISC{Herrmann_abstracta,
author = {Peter Herrmann and Fachbereich Informatik Ls and Peter Grannas},
title = {Abstract A Tool for Hazard Detection in Hybrid Systems},
year = {}
}
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.
Keyphrases
hybrid system hazard detection possible source formal specification method expert system suitable verification element suitable safety property plant specification modern chemical plant verification element example examination complexity degree specification module framework component plant safety
