Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2460
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
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.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.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.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 |
dc.date.updated | 2015-11-13 | 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 |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
mmar2000-paper-bi.pdf | 238,27 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.