10.18419/opus-2460
Biegert, Uwe
Computer-aided safety analysis of computer-controlled systems : a case example
Universität Stuttgart
2000
Sicherheit , Gefährdungsanalyse / Arbeitsschutz
620
Automatisierungssysteme
computer controlled systems , automation , safety , safety analysis , qualitative modelling
Universität Stuttgart
Universität Stuttgart
2001-02-16
2016-03-31
2001-02-16
2016-03-31
2000
2015-11-13
en
conferenceObject
089863968
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-7657
http://elib.uni-stuttgart.de/handle/11682/2477
Computer controlled systems consist of a complex interaction between technical process, human task and software. For the development of safety critical systems new method are required, which not only consider one of these parts of a computer-controlled system. In this paper a qualitative modeling method is presented. The method is called SQMA, Situationbased Qualitative Modeling and Analysis and it origin goes back to Qualitative Reasoning. First, all parts of a system are modeled separated and then combined to a unique model of a computer-controlled system. With this qualitative model a computer supported hazard analysis can be realised.