eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingDostepnosc systemu - metody formalne › Re: Dostepnosc systemu - metody formalne
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.uni-
    stuttgart.de!news.belwue.de!news.osn.de!diablo2.news.osn.de!195.114.241.69.MISM
    ATCH!feeder.news-service.com!postnews.google.com!c41g2000yqm.googlegroups.com!n
    ot-for-mail
    From: Seweryn Habdank-Wojewódzki <h...@g...com>
    Newsgroups: pl.comp.lang.c,pl.comp.programming
    Subject: Re: Dostepnosc systemu - metody formalne
    Date: Wed, 20 Jul 2011 01:24:25 -0700 (PDT)
    Organization: http://groups.google.com
    Lines: 61
    Message-ID: <4...@c...googlegroups.com>
    References: <9...@y...googlegroups.com>
    <2...@n...googlegroups.com>
    <5...@b...softax.pl>
    NNTP-Posting-Host: 148.198.43.2
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    X-Trace: posting.google.com 1311150371 19189 127.0.0.1 (20 Jul 2011 08:26:11 GMT)
    X-Complaints-To: g...@g...com
    NNTP-Posting-Date: Wed, 20 Jul 2011 08:26:11 +0000 (UTC)
    Complaints-To: g...@g...com
    Injection-Info: c41g2000yqm.googlegroups.com; posting-host=148.198.43.2;
    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:295589 pl.comp.programming:191630
    [ ukryj nagłówki ]

    Witam,

    > Bez analizy ryzyka i bez konkretnego poznania co i jak może się popsuć
    > niezależnie, udowodnienie czegoś jest ciężkie.

    Oczywiscie.

    > No i najpierw w ogóle trzeba mieć jakieś dane nt. niezawodności poszczególnych
    > komponentów. Z czym bywa różnie. Dla hardware czasem jeszcze coś można dostać,
    > dla software -- z rzadka.

    No wlasnie. Mam konkretny HW. Domyslnie oni gwarantuja, ze jalowy HW
    bedzie dzialal dobrze.
    Ale dostawca instaluje OS np. Linux lub Windows. Nie bardzo mam dane,
    ale moge przyjac,
    ze to bedzie X (OS availability w zaleznosci od HW).

    > Poważna trudność to common failure modes -- dla
    > software to np. bug w stosie komunikacyjnym powodujący, że jak przyjdzie jakiś
    > tam komunikat to stos się wywala. I jeden dobrze rozpropagowany komunikat
    > wykłada nam cały sytetm z fafset "niezależnych" komponentów.

    Wiem. Wlasnie takie analizy mam - czyli wiadomo co nalezy do SPOF.
    Rowniez mam definicje kiedy nasz klient uwaza, ze system lezy nawet
    jesli
    komunikacja dziala i niektore moduly dzialaja, ale jakas informacja
    nie jest dostarczana
    i system calosc nie jest sprawna.

    > Tak czy siak potrzeba wiele szacować.

    Jasne.

    > Możemy wtedy napisać że mamy dostępność 9.997. Albo, co tu jest istotne(!) możemy
    > napisać że jest np. 9.999 albo po prostu 100% -- a czas niedostępności bierzemy
    > na klatę i na kary umowne za niedostępność powyżej dopuszczalnego limitu.

    Tak to jest rozwiazanie, ale unikamy takich trikow.

    > Pojawiło się całkiem sporo serwisów gwarantujących po prostu dostępność 100% --
    > a realny czas niedostępności refundują w ramach gwarancji.

    Tak, ale to jest chwyt prawniczy a nie techniczna analiza
    zagadnienia :-).

    Pozdrawiam,

    --
    |\/\/| Seweryn Habdank-Wojewódzki
    \/\/
    Professionalism in programming - www.accu.org

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: