Logo des Repositoriums
 

Integrating state machine analysis with system-theoretic process analysis

dc.contributor.authorAbdulkhaleq, Asim
dc.contributor.authorWagner, Stefan
dc.contributor.editorWagner, Stefan
dc.contributor.editorLichter, Horst
dc.date.accessioned2018-10-24T10:00:17Z
dc.date.available2018-10-24T10:00:17Z
dc.date.issued2013
dc.description.abstractSafety becomes a critical aspect for software-intensive systems in different applications areas. Many hazard analysis techniques are proposed and used to investigate system design models to elicit hazards and design flaws. STPA (System- Theoretic Process Analysis) is a modern hazard analysis technique, which is based on a new systems-theoretic model of accidents for large and complex systems. With STPA, the system is viewed as interacting control loops and the accidents are considered as results from inadequate enforcement of safety constraints in design, development and operation. STPA still needs appropriate diagrammatic notations to represent the relation between the process model variables, control actions and hazards. For this purpose, we propose to integrate state machine analysis with STPA to provide a suitable notation of arguments between the states of controllers, control actions and hazards.en
dc.identifier.isbn978-3-88579-609-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/17402
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering 2013 - Workshopband
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-215
dc.titleIntegrating state machine analysis with system-theoretic process analysisen
dc.typeText/Conference Paper
gi.citation.endPage514
gi.citation.publisherPlaceBonn
gi.citation.startPage501
gi.conference.date26. Februar-1. März 2013
gi.conference.locationAachen
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
501.pdf
Größe:
260.79 KB
Format:
Adobe Portable Document Format