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.
Print ISSN: 0178-2312
Volume: 51, 05/2003
Pages: 221