-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!.POSTED.159-205-37-165.dynamic.inetia.p
l!not-for-mail
From: io <i...@o...pl.invalid>
Newsgroups: pl.misc.elektronika
Subject: Re: Hakowanie infrastruktury za pomocą wyrafinowanych narzędzi
Date: Tue, 12 Dec 2023 15:54:58 +0100
Organization: ICM, Uniwersytet Warszawski
Message-ID: <ul9s8b$tpj5$6@news.icm.edu.pl>
References: <ucgepp$1b6fh$1@dont-email.me>
<7...@g...com>
<ukpphd$ord8$1@dont-email.me>
<c...@g...com>
<ukqgic$31qh9$1@news.icm.edu.pl>
<7xpevz12iibp.1syvkbmecsgnf$.dlg@40tude.net>
<2...@a...localdomain>
<uksbi4$a7d2$1@portraits.wsisiz.edu.pl>
<2...@a...localdomain>
<ul051i$1t69b$3@dont-email.me> <ul08ji$mc7$3$Mirek@news.chmurka.net>
<ul1fcl$2601d$1@dont-email.me> <ul1m1o$nqj$1$Mirek@news.chmurka.net>
<ul1rat$27lbk$1@dont-email.me> <ul21f0$nqj$2$Mirek@news.chmurka.net>
<ul23aq$28sfa$1@dont-email.me> <ul27ik$nqj$4$Mirek@news.chmurka.net>
<ul290g$29otc$1@dont-email.me> <ul2rjj$go6$1$titanus@news.chmurka.net>
<ul4l0a$2ne8r$2@dont-email.me> <ul6v5b$ndpv$2@news.icm.edu.pl>
<ul7tps$3ahj3$2@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Dec 2023 14:55:07 -0000 (UTC)
Injection-Info: news.icm.edu.pl;
posting-host="159-205-37-165.dynamic.inetia.pl:159.205.37.165";
logging-data="976485"; mail-complaints-to="u...@n...icm.edu.pl"
User-Agent: Mozilla Thunderbird
Content-Language: pl
In-Reply-To: <ul7tps$3ahj3$2@dont-email.me>
Xref: news-archive.icm.edu.pl pl.misc.elektronika:786065
[ ukryj nagłówki ]W dniu 11.12.2023 o 22:08, heby pisze:
> On 11/12/2023 13:26, io wrote:
>>> Podobnie, przepytachnie wszystkch ukłądów przez centralny komputer
>>> jest naiwne. Znacznie bardziej neizawodne były by osobne elementy,
>>> pracujące autonomiczne i co najwyżej oczujnikowane.
>> Dlatego HA jest zabawką.
>
> Jak cały smarthome.
No nie, idea smarthome jest ok pod warunkiem, że nie uzależnia się
sterowania wszystkim w domu od jednego sterownika.
>
>>> Aby była 100% jasność: w urządzeniach sterujących, szczególnie typu
>>> RT i infrastrukturze krytycznej, nie ma miejsca na rozwiązania
>>> szybkie i tanie, a takim jest Linux.
>> Czego konkretnie spodziewasz się po innym systemie operacyjnym?
>
> Formalnej, lub prawie formalnej weryfikacji działania. Jeśli nie
> osiągalnej metodami formalnymi, to przynajmniej całościowo pokryty testami.
>
> Można zacząc od tego:
>
> https://en.wikipedia.org/wiki/L4_microkernel_family
A wiesz ile czasu kosztuje wprowadzenie jednej funkcji sterowania ruchem
kolejowym z analizą formalną? Jakie poszczególne elementy systemu mają
udziały w niezawodności systemu? To jest gadka oderwana od
rzeczywistości. Ludzie to w tych firmach liczą.
>
>>> Może być tak, że wyświetlacz w pociągu nie jest krytyczny i można
>>> używać pociąg bez niego. Wtedy nie ma problemu. Acz zaczyna wtedy
>>> pojawiać się pytanie: to po co on tam jest?
>> No hamować raczej można bez niego.
>
> A można uruchomić bez niego aby natychmiast zjechać z toru na który
> napiernicza 300 wagonów pełnych węgla urwanych na sąsiedniej górce? Czy
> trzeba poczekać aż linux zainicjuje TCP/IP, urandom i sterownik
> megnetofonu i poszuka karty NE2000 na jakiejś ISA jak-by-co?
>
Weź przestań, kolej tak nie działa. Nawet sama lokomotywa nie rusza z
kopyta ponieważ jej waga jest adekwatna do całego składu. Tam chodzi o
bezpieczeństwo zasadniczo innego rodzaju niż real time.
Następne wpisy z tego wątku
- 12.12.23 16:00 heby
- 12.12.23 16:09 J.F
- 12.12.23 16:10 heby
- 12.12.23 16:21 heby
- 12.12.23 21:20 Janusz
- 12.12.23 21:31 heby
- 12.12.23 22:33 io
- 12.12.23 22:39 io
- 12.12.23 23:49 LordBluzg(R)??
- 13.12.23 09:02 J.F
- 13.12.23 09:11 Janusz
- 13.12.23 09:13 Janusz
- 13.12.23 10:27 LordBluzg(R)??
- 13.12.23 13:00 Janusz
- 13.12.23 13:01 Janusz
Najnowsze wątki z tej grupy
- Prośba o identyfikację komponentu
- Smart gniazdko straciło na zasięgu wifi?
- Smart gniazdko straciło zasięg wifi?
- nurtuje mnie
- dziwna sprawa...
- Laptop MSI się nie uruchamia.
- Dobra listwa LED (CRI 90-95, bez migotania)
- masowe programowanie AVR
- Fajny pomysł na monitor z klawiaturą
- Sprzedawanie zaszyfrowanych filmów na płytach Blu-Ray bez kluczy deszyfrujących
- Aparat, zewnętrzny mikrofon, brum
- Wieszanie się przy aktywnym SMP
- Prognozowanie zużycia energii przez PGE?
- Odkurzacz mnie bije :(
- Rapsberry Pi i synchronizacja plików
Najnowsze wątki
- 2024-10-19 Warszawa => Software Engineer .Net <=
- 2024-10-19 Warszawa => Senior SAP HANA Developer <=
- 2024-10-19 Warszawa => Specjalista Helpdesk <=
- 2024-10-19 PUE ZUS -- administracyjna nuda...
- 2024-10-18 Marsz niepodleglosci
- 2024-10-18 Pożar parkingu w Luton
- 2024-10-18 Łódź => Spedytor Międzynarodowy <=
- 2024-10-18 Gdańsk => Technical Lead ( (Java Background)) <=
- 2024-10-18 Warszawa => Head of International Freight Forwarding Department <=
- 2024-10-18 uwazajmy na haczyki w umowach
- 2024-10-18 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2024-10-18 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-10-18 Gdańsk => Software .Net Developer <=
- 2024-10-18 Warszawa => Junior Rekruter <=
- 2024-10-18 Warszawa => Key Account Manager <=