-
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
- 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
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
Najnowsze wątki
- 2026-01-11 Rząd wzywa prezydenta to dyskryminacji/bojkotu "formalnie niekaranych"? :-)
- 2026-01-11 Po zniszczeniu w okolicy Lwowa [Ukraina] fabryki dronów przenoszą ją do Polski
- 2026-01-11 Auta spalinowe tylko dla zarządu. Tak UE ratuje spalinową motoryzację
- 2026-01-11 Dziki trener ZIELONY ŁAD W KRAKOWIE: WIELKI PRZEKRĘT CZY RATUNEK?
- 2026-01-11 [prezydent - przyp. JMJ] Nawrocki zawetował wprowadzenie w Polsce unijnej cenzury
- 2026-01-11 ciekawostka prawno-obyczajowa
- 2026-01-10 Przeprosiny
- 2026-01-10 Kominiarze
- 2026-01-10 Zagadka radiowa
- 2026-01-10 Prostownik
- 2026-01-09 EKOFASZYŚCI DO NAUKI Chiny odpaliły reaktor na tor. Zachód przespał ten moment? - AstroSzort
- 2026-01-09 Sebastian M
- 2026-01-09 weto nowelizacji ustawy o ś.u.d.e. (wz. DSA)
- 2026-01-09 Warszawa => Dynamics 365 Commerce/POS Developer <=
- 2026-01-09 Ładowanie w 13 minut




5 Najlepszych Programów do Księgowości w Chmurze - Ranking i Porównanie [2025]