Ein Verfahren wird zur binären Beschreibung von verteilten ereignisdiskreten Systemen vorgestellt. Dieses wird als Grundlage für eine Sicherheitsanalyse in einer frühen Phase der Systementwicklung und zur automatisierten Ermittlung von Fehlerabhängigkeiten eingesetzt. Hierzu wird eine Systemgleichung verwendet, die ähnlich zu der Zustandsraumdarstellung der konventionellen Systemtheorie ist. Dabei erfolgt die Auswertung der Systemgleichung durch Anwendung der Max-Plus/Min-Plus Algebra. Die Vorgehensweise wird anhand des Beispiels eines vereinfachten Bremssystems erläutert.
The methodology introduced is capable of describing a binary behavior of distributed discrete event systems. This is the basis for a safety analysis in early phases of system development and for an automated determination of failure dependencies. For this purpose a system equation similar to the state-space representation in system theory is used. The equation is evaluated applying the Max-Plus/Min-Plus algebra. The procedure is exemplified by a simplified braking system.
Einsatz der Max-Plus/Min-Plus Algebra zur automatisierten Sicherheitsanalyse
The application of max-plus/min-plus algebra for an automated safety analysis
Automatisierungstechnik - at ; 51 , 5 ; 221-229
2003
9 Seiten, 3 Bilder, 10 Quellen
Article (Journal)
German
Sicherheitsanalyse von Straßennetzen: Erfahrungen mit einem automatisierten Verfahren
FID move | 2011
|Hauptstudie - Sicherheitsanalyse
TIBKAT | 1993
Sicherheitsanalyse nach CENELEC
Tema Archive | 1998
|Sicherheitsanalyse nach CENELEC
IuD Bahn | 1998
|Sicherheitsanalyse von Bahnbetriebsprozessen
Tema Archive | 2004
|