Czy WB Electronics stworzyło własny system operacyjny do zarządzania polem walki?

Tue Jun 27, 2023 4:45 pm   

On Tue, 27 Jun 2023 15:59:43 +0200, io wrote:

Hm, jak mam sprawdzic starannie cudzy program ...
czy to nie bedzie trwało latami, tyle co pisanie?
Może oni mają doswiadczenie w ładnym pisaniu.

I pewnie bede musiał pytać, co programista miał na myśli,
ciekawe ilu drobnych błędów nie zauważe, typu np literówka,
ilu grubych, np gdzies na wspołpracy z innymi modułami.
A ile sie ukryje w błędach/niezrozumieniu bibliotek ...

W kazdym bądz razie norma Boeinga nie dotyczyła :-)


Ja bym tam zaczął od izolowania obu systemów, nawet całkowitego.
Ale widać mają inne normy :-)

J.

Tue Jun 27, 2023 4:47 pm   

wtorek, 27 czerwca 2023 o 16:19:22 UTC+2 SW3 napisał(a):

Ale właśnie do tego piję - że to rozróżnienie handlowe, nie techniczne.

Chyba że było też technicznie - np. win.com w w95 był odpowiednikiem loadlina
(nawet lepszym, bo pozwalał wrócić do DOSa), a win.com w w3.1 był tylko programem
umożliwiającym uruchomienie kilku programów na "prawdziwym" 286 lub 386,
a nie na emulowanym, "szybszym 8088".
I może np. programy win3.1 używały mscdex.exe+DOSowy driver CD, a programy win95 nie
(hmm, tylko co z uruchamianymi pod win 95 programami DOSowymi lub z win3.1 - kurtałka,
ciekawe, czy robiłem tak eksperyment? - ech, młodość...)?

Tue Jun 27, 2023 5:29 pm   

On 27/06/2023 15:40, J.F wrote:

https://en.wikipedia.org/wiki/Source-to-source_compiler#Digital_Research_XLT86

https://en.wikipedia.org/wiki/Source-to-source_compiler#SCP_TRANS86

Dzieki takim zabawkom przetłumaczenie wiekszej częsci kodu z x80 na x86
było wykonane automatycznie.

Wywołania DOS i CP/M były bliźniaczo podobne.

Innymi słowy - darmowy obiad, no może trzeba trochę zapłacić za drobne
detale, ale to są fistaszki w porównaniu z robotą wykonaną automatcznie.

MS wiedział co robi, jak zrobił Patersona sztuczką na wnuczka.


Bez większego znaczenia, obsługa plików nie stanowi jakoś dramatycznie
istotnej częsci większości oprogramowania. Nawet napisanie jej na nowo
nie stanowi problemu.


Wiem, kiedyś była dyskusja dlaczego Ada jest bezpieczna. Dowiedziałem
się, że dlatego, bo tak. Mistrzowie od Ariane i tak używali Adę jak
assembler, mając gdzieś jej bezpieczeństwo i dodatkowe ficzery.


No ale:

Jest ostrzał. Wskakujesz do czołgu/BTR i spodziewasz się, że po
pstryknięciu przełacznika masz po 1-2s system gotowy do pracy bojowej.
Działa celowanie, strzelanie, noktowizja itd itp.

Mamy czekać aż Windows wykryje wszystkie potencjalne karty dzwiękowe na
ISA i rozkmini ile ma gniazdek USB? Duży system operacyjny jest
śmiertelnie niebezpiczeny dla załogi.


Dlatego, o ile zarządzanie lotniskowcem mogło by być na poziomie
Windowsa (choć nie pojmuje po co), to w Fxx już niekoniecznie, a w
czołgu kompletnie to odpada z uwagi na krytyczne sekundy.

Jestem strasznie ciekaw co jest w tego typu urządzeniach.

Ponoć pociski w nowoczesnych czołgach są programowane w momencie
wystrzału - elektronika pojazu precyzyjnie określa prędkość pocisku i
jak jeszcze porusza się w lufie, jest programowany z tą informacją. Co
pozwala na takie sztuczki, jak pociski detonujące w określonej
odległości od strzelajacego (do niszczenia piechoty). Taki pocisk ma
pewnie z mniej niz sekundę na zainicjowanie się i przejście w tryb
komunikacji z lufą zanim go odpalą. Innymi słowy to co siedzi w pocisku,
to raczej nie jest Windows. A co to jest?


Ogólnie Windows stał się zabawkowym systemem do przeglądania porno i
grania w gry. Cośtam jeszcze "profesjonalnego" można znaleźć, ale
naprawdę duże problemy rozwiązuje się na systemach, które potrafią się
skalować, a nie oferować Candy Crush Saga po instalacji. Zaś
wyznacznikiem profesjonalności stał sie "autocad" a nie liczenie
czarnych dziur w/g zwolenników. Chichot historii.


Kretynów po korporacjach nie brakuje.

Tue Jun 27, 2023 10:52 pm   

W dniu 27.06.2023 o 16:45, J.F pisze:

Trzeba się na tym znać :-)

W procesie weryfikacji ocenia się oprogramowanie pod kątem spełniania
wymagań norm. W normie masz np napisane czy ma być projekt. Jak masz
projekt to będziesz oceniał czy implementacja jest zgodna z tym
projektem, czy ma takie same interfejsy, czy nie ma innych, czy kod
implementuje to co w projekcie. Wykonuje się testy ręczne i
automatyczne. Ocenia wyniki tych testów. Pokrycie kodu dla każdej
ścieżki. Testy modułów i testy integracji.


Zwykle weryfikacja istotnie jest wykonywana w zespole podczas
przygotowywania oprogramowania, ale poszczególne role niekoniecznie
wymienne są, czyli np. jak ktoś pisał moduł to nie może go testować.
Potem przychodzi walidator i tego nie powinien przepuścić. Jak Ci nie
wyjdzie jeden test to musi się jakoś dać usprawiedliwić. Ewentualnie
wprowadza się warunek użycia systemu, że tylko dla określonej
konfiguracji. Bywa, że do dowodzenia poprawności stosuje się metody
formalne a nie tylko testy. Określa się niezawodność systemu. Dla
pewnych wymaganych niezawodności jest wymóg niezależnych zespołów,
różnych platform sprzętowych, różnych narzędzi, powielenia komponentów
czy rozwiązań klastrowych. I tak czy siak dopuszczenie trwa przynajmniej
rok.


Ładne pisanie też jest weryfikowane zgodnie z normą :-)


To wszystko bada się jw. Biblioteki są walidowane tak samo jak reszta kodu.


Czemu? Ja w Boeingu nie pracowałem, to się nie wypowiadam, ale robiłem
systemy kolejowe a lotnicze poziom wyżej są.


No to masz izolację u podstaw, już w normach dotyczących safety, ale jak
mówiłem, security od niedawna jest eskalowane i masz na to kolejne normy
do spełnienia nie tylko dla picu, ale ktoś się pod tym podpisuje i za to
odpowiada.

Wed Jun 28, 2023 11:25 am