Einsatz der Max-Plus/Min-Plus Algebra zur automatisierten Sicherheitsanalyse (The Application of Max-Plus/Min-Plus Algebra for an Automated Safety Analysis)

Abstract In dem vorliegenden Artikel wird ein Verfahren 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.