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.
Abstract
The methodology introduced in this article 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.
© 2003 Oldenbourg Wissenschaftsverlag GmbH