-
Data: 2011-07-20 08:24:25
Temat: Re: Dostepnosc systemu - metody formalne
Od: Seweryn Habdank-Wojewódzki <h...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
Następne wpisy z tego wątku
- 20.07.11 08:34 Seweryn Habdank-Wojewódzki
- 20.07.11 08:35 Seweryn Habdank-Wojewódzki
- 20.07.11 13:07 Paweł Kierski
- 20.07.11 13:21 Mariusz Marszałkowski
- 21.07.11 17:03 Seweryn Habdank-Wojewódzki
- 21.07.11 21:29 Mariusz Marszałkowski
- 22.07.11 17:58 Seweryn Habdank-Wojewódzki
- 22.07.11 21:11 Mariusz Marszałkowski
- 23.07.11 04:16 A.L.
- 23.07.11 08:50 Mariusz Marszałkowski
- 23.07.11 16:21 A.L.
- 23.07.11 16:36 Lukasz
- 23.07.11 22:48 Michał Knapik
- 24.07.11 02:16 A.L.
- 01.08.11 09:48 Seweryn Habdank-Wojewódzki
Najnowsze wątki z tej grupy
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow




Ceny mieszkań stabilne a zdolność kredytowa rośnie. O ile nie masz dzieci