Computer-aided safety analysis of computer-controlled systems : a case example

Biegert, Uwe

Computer-aided safety analysis of computer-controlled systems : a case example

dc.contributor.author	Biegert, Uwe	de
dc.date.accessioned	2001-02-16	de
dc.date.accessioned	2016-03-31T07:58:14Z
dc.date.available	2001-02-16	de
dc.date.available	2016-03-31T07:58:14Z
dc.date.issued	2000	de
dc.date.updated	2015-11-13	de
dc.description.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.	en
dc.identifier.other	089863968	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-7657	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2477
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2460
dc.language.iso	en	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Sicherheit , Gefährdungsanalyse / Arbeitsschutz	de
dc.subject.ddc	620	de
dc.subject.other	Automatisierungssysteme	de
dc.subject.other	computer controlled systems , automation , safety , safety analysis , qualitative modelling	en
dc.title	Computer-aided safety analysis of computer-controlled systems : a case example	en
dc.type	conferenceObject	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Automatisierungs- und Softwaretechnik	de
ubs.opusid	765	de
ubs.publikation.source	International Conference on Methods and Models in Automation and Robotics (MMAR), Miedzyzdroje (Poland), 28-31 August 2000	de
ubs.publikation.typ	Konferenzbeitrag	de

Files

Original bundle

Now showing 1 - 1 of 1

Name:: mmar2000-paper-bi.pdf
Size:: 238.27 KB
Format:: Adobe Portable Document Format

Download

Collections

05 Fakultät Informatik, Elektrotechnik und Informationstechnik