Witam,

Czy znacie jakis soft lub pomoce do obliczania tudziez formalnego
potwierdzania dostepnosci (availability) systemow rozproszonych?
W ubezpieczeniach i w technice oblicza sie prawdopodobienstwa choroby
lub uszkodzenia sie jakiegos podzespolu.
Zaczalem sobie powolutku rozpisywac rownanka, ale jesli system jest
zlozony z trzech elementow zaczyna juz byc skomplikowany
do liczenia na papierku.

Moze ktos sie bawil w udowadnianie, ze po czasie T system bedzie
dzialal z jakim tam prawdopodobienstwem.
Albo calkowicie inzyniersko, jak udowodnic, ze dostepnosc
rozproszonego systemu wynosi np. 99.7%.

Pozdrawiam,
Sewryn Habdank-Wojewodzki.