-
Data: 2021-04-30 11:17:02
Temat: Re: Procesor za -10 złotych. :)
Od: heby <h...@p...onet.pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 30/04/2021 11:01, Piotrek wrote:
>> Mamy całkiem sensowne procesory współczesne do cieżkich zadań, których
>> programowanie jest "normalne" i nie ma problemu ze znalezieniem
>> programistów.
> Ale rozumiesz, że może też chodzić o formalne dowodzenie poprawności
> algorytmów.
I dlaczego LEON czy RISC-V miały być do tego gorszy niż Heńkowy 8051?
> I przeniesienie kilku milionów linii kodu z 2 czy tam 9 słabszych ale
> zestandaryzowanych komputerów na jeden super-duper ale bliżej nikomu nie
> znany może oznaczać grube miesiące jeśli nie lata i dziesiątki albo
> setki milionów w brzęczącej monecie, które trzeba poświęcić na retesty,
> certyfikacje, etc.
Nie przesadzajmy. Tych milionów lini kodu *NIKT* nie zweryfikował
formalnie. Tam jest weryfikacja przez zasiedzenie. Jesteśmy w czarnej
d... jeśli chodzi o weryfikację dużych systemów, niby rozwijamy się,
tworzymy nowe metodyki, ale powiedz to Heńkowi, co gita na oczy nie widział.
> I z całym szacunkiem, ale programiści Ci tego nie zrobią bo się po
> prostu na tym nie znają.
Zależy jacy programiści. Po tych w lotnictwie, spodziewam się że
potrafią formalnie dowodzić przynajmniej kilkuset linijkowców dbających
o bezpieczeństwo. Których pewnie nie ma, za to są wciśnięte właśnie
kilkumilionowe potworki do sterowania autopilotem i sterowaniem klimą w
jednym.
Następne wpisy z tego wątku
- 30.04.21 11:24 heby
- 30.04.21 11:50 J.F
- 30.04.21 12:21 Piotr Wyderski
- 30.04.21 12:45 heby
- 30.04.21 12:50 J.F
- 30.04.21 13:22 J.F
- 30.04.21 13:48 heby
- 30.04.21 14:00 Piotrek
- 30.04.21 14:09 J.F
- 30.04.21 14:27 Marek
- 30.04.21 14:30 Marek
- 30.04.21 15:42 J.F
- 30.04.21 16:20 heby
- 30.04.21 16:21 heby
- 30.04.21 17:26 J.F
Najnowsze wątki z tej grupy
- supercap
- Procesor NMOS i karta CF
- Jak sprawdzic uC
- radyjko znalazłem
- Telewizor przestał widzieć sygnał z anteny
- LED
- System operacyjny dla 6800?
- Przyłączenie działki do sieci elektrycznej
- Działalność nierejestrowana/definicja sprzętu elektronicznego/misie i kolejki
- Smukły, długi ściągacz izolacji do kynaru
- rezystor 3 omy 400W
- [newbie] Jaki multimetr za 2-4 stówy?
- szafka sieciowa
- Raspberry Pi 5 + dyski SATA
- lutownica na węgiel
Najnowsze wątki
- 2024-05-26 O co chodzi?
- 2024-05-26 PJ autobus-tramwaj
- 2024-05-26 Renault Trafic i lampka z czerwonym STOP
- 2024-05-26 cena pięciocyfrowa
- 2024-05-26 Re: Jak dobra KE "okrada" złą Rosję "dla Ukrainy"
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław