Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-2460
Authors: Biegert, Uwe
Title: Computer-aided safety analysis of computer-controlled systems : a case example
Issue Date: 2000
metadata.ubs.publikation.typ: Konferenzbeitrag
metadata.ubs.publikation.source: International Conference on Methods and Models in Automation and Robotics (MMAR), Miedzyzdroje (Poland), 28-31 August 2000
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-7657
http://elib.uni-stuttgart.de/handle/11682/2477
http://dx.doi.org/10.18419/opus-2460
Abstract: 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.
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
mmar2000-paper-bi.pdf238,27 kBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.