View in EDS

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

Saved in:
Bibliographic Details
Title: Computer-aided safety analysis of computer-controlled systems : a case example
Authors: Biegert, Uwe
Publication Year: 2000
Collection: OPUS - Publication Server of the University of Stuttgart
Subject Terms: Sicherheit, Gefährdungsanalyse / Arbeitsschutz, Automatisierungssysteme, computer controlled systems, automation, safety, safety analysis, qualitative modelling
Time: 620
Description: 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.
Document Type: conference object
File Description: application/pdf
Language: English
Relation: 089863968
DOI: 10.18419/opus-2460
Availability: https://doi.org/10.18419/opus-2460
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-7657
http://elib.uni-stuttgart.de/handle/11682/2477
Rights: info:eu-repo/semantics/openAccess
Accession Number: edsbas.48DC75CD
Database: BASE
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.
DOI:10.18419/opus-2460