Dostepnosc systemu - metody formalne - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Dostepnosc systemu - metody formalne › Dostepnosc systemu - metody formalne

Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!go
blin2!goblin1!goblin.stu.neva.ru!postnews.google.com!y24g2000yqb.googlegroups.c
om!not-for-mail
From: Seweryn Habdank-Wojewódzki <h...@g...com>
Newsgroups: pl.comp.lang.c,pl.comp.programming
Subject: Dostepnosc systemu - metody formalne
Date: Sun, 17 Jul 2011 12:40:34 -0700 (PDT)
Organization: http://groups.google.com
Lines: 17
Message-ID: <9...@y...googlegroups.com>
NNTP-Posting-Host: 93.82.82.151
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1310931717 14778 127.0.0.1 (17 Jul 2011 19:41:57 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sun, 17 Jul 2011 19:41:57 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: y24g2000yqb.googlegroups.com; posting-host=93.82.82.151;
posting-account=vi_T3AoAAAAiIW96Kt9iUyMlWyAzBlCE
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: ASELCHRU
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/534.30 (KHTML, like
Gecko) Chrome/12.0.742.122 Safari/534.30,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.lang.c:295577 pl.comp.programming:191601
[ ukryj nagłówki ]

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.