Computer-aided safety analysis of computer-controlled systems : a case example
Uloženo v:
| Název: | Computer-aided safety analysis of computer-controlled systems : a case example |
|---|---|
| Autoři: | Biegert, Uwe |
| Rok vydání: | 2000 |
| Sbírka: | OPUS - Publication Server of the University of Stuttgart |
| Témata: | Sicherheit, Gefährdungsanalyse / Arbeitsschutz, Automatisierungssysteme, computer controlled systems, automation, safety, safety analysis, qualitative modelling |
| Time: | 620 |
| Popis: | 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. |
| Druh dokumentu: | conference object |
| Popis souboru: | application/pdf |
| Jazyk: | English |
| Relation: | 089863968 |
| DOI: | 10.18419/opus-2460 |
| Dostupnost: | 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 |
| Přístupové číslo: | edsbas.48DC75CD |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science | FullText | Text: Availability: 0 CustomLinks: – Url: https://doi.org/10.18419/opus-2460# Name: EDS - BASE (s4221598) Category: fullText Text: View record from BASE – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Biegert%20U Name: ISI Category: fullText Text: Nájsť tento článok vo Web of Science Icon: https://imagesrvr.epnet.com/ls/20docs.gif MouseOverText: Nájsť tento článok vo Web of Science |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.48DC75CD RelevancyScore: 843 AccessLevel: 3 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 843.024353027344 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Computer-aided safety analysis of computer-controlled systems : a case example – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Biegert%2C+Uwe%22">Biegert, Uwe</searchLink> – Name: DatePubCY Label: Publication Year Group: Date Data: 2000 – Name: Subset Label: Collection Group: HoldingsInfo Data: OPUS - Publication Server of the University of Stuttgart – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Sicherheit%22">Sicherheit</searchLink><br /><searchLink fieldCode="DE" term="%22Gefährdungsanalyse+%2F+Arbeitsschutz%22">Gefährdungsanalyse / Arbeitsschutz</searchLink><br /><searchLink fieldCode="DE" term="%22Automatisierungssysteme%22">Automatisierungssysteme</searchLink><br /><searchLink fieldCode="DE" term="%22computer+controlled+systems%22">computer controlled systems</searchLink><br /><searchLink fieldCode="DE" term="%22automation%22">automation</searchLink><br /><searchLink fieldCode="DE" term="%22safety%22">safety</searchLink><br /><searchLink fieldCode="DE" term="%22safety+analysis%22">safety analysis</searchLink><br /><searchLink fieldCode="DE" term="%22qualitative+modelling%22">qualitative modelling</searchLink> – Name: Subject Label: Time Group: Su Data: 620 – Name: Abstract Label: Description Group: Ab Data: 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. – Name: TypeDocument Label: Document Type Group: TypDoc Data: conference object – Name: Format Label: File Description Group: SrcInfo Data: application/pdf – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 089863968 – Name: DOI Label: DOI Group: ID Data: 10.18419/opus-2460 – Name: URL Label: Availability Group: URL Data: https://doi.org/10.18419/opus-2460<br />http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-7657<br />http://elib.uni-stuttgart.de/handle/11682/2477 – Name: Copyright Label: Rights Group: Cpyrght Data: info:eu-repo/semantics/openAccess – Name: AN Label: Accession Number Group: ID Data: edsbas.48DC75CD |
| PLink | https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.48DC75CD |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.18419/opus-2460 Languages: – Text: English Subjects: – SubjectFull: Sicherheit Type: general – SubjectFull: Gefährdungsanalyse / Arbeitsschutz Type: general – SubjectFull: Automatisierungssysteme Type: general – SubjectFull: computer controlled systems Type: general – SubjectFull: automation Type: general – SubjectFull: safety Type: general – SubjectFull: safety analysis Type: general – SubjectFull: qualitative modelling Type: general Titles: – TitleFull: Computer-aided safety analysis of computer-controlled systems : a case example Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Biegert, Uwe IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2000 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |