Causal dependence of safety system execution functions

• Autorzy: Tomasov P. , Zahradnik J.
• Języki publikacji: EN

Abstrakty

EN

A safety system event structure model is designed as a mathematical foundation of the proposed algorithm for the determination of causal dependencies of function execution. Using the property of transitivity and probability for sending the synhronisation messages implementing the discovered causal dependencies, or redundancies in a distributed system specification a more efficient protocol can be derived. The described algorithm is completed with a system service specification and protocol calculation.

Słowa kluczowe

PL

algorytmy; systemy bezpieczeństwa; symulacje

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Transport
• Rocznik: 2000
• Tom: z. 44
• Strony: 105--118
• Opis fizyczny: Bibliogr. 4 poz., wykr.

Twórcy

autor

Tomasov P.

autor

Zahradnik J.

• Faculty of Electrical Engineering, University of Żilina