On Tue, 27 Jun 2023 14:12:46 +0200, heby wrote:
> On 27/06/2023 14:04, J.F wrote:
>> Ale sie liczy za OS.
>> W sumie - MS DOS wiele więcej nie umiał :-)
>
> MS to clean-room kopia CP/M. Zerżnięta co do wywołania, w wersji 1.0 (a
> podobno i wyższych też) dało radę nawet automatycznie tłumaczyć asembler
> z CP/M w celu magicznego rozmnożenia oprogramowania z niczego.

Nie calkiem - kiedys tlumaczylem tak M80/L80.
Microsoft zastosował pare sztuczek, i automatycznie sie nie dało.

Poza tym model plikowy nieco inny.

> W sumie sam nie wiem co jest obecnie uzywane w takim wojsku a dokładniej
> rakiecie. Używają:

Kiedys mieli nacisk na Adę. No ale to jezyk i srodowisko, a nie
system.

> a) własnego wynalazku
> b) jakiegoś L4 formalnie zweryfikowanego
> c) pierwszego lepszego FreeeRTOSa
> d) jakiegoś komercyjnego
> e) nic nie używają, sterowanie rakietami to prymitywny task który
> przecież kiedyś robili analogowo i było ok

Nawet to wcale nie takie prymitywne.
Poza tym zobacz - F16 jeden, a rakiet wiele. Niektore wymagają
wspołpracy z samolotem. A F35 znacznie bardziej skomplikowany.

No i jeszcze taki niuans - pstrykasz przełącznik, a np za 10s
komputer powinien potwierdzic, ze podwozie sie wysunęło, lub alarm
uruchomic. A w międzyczasie cała masa innych rzeczy tez musi działać.

Alarmy to osobna konsola - ważniejsze, mniej ważne ...

> Liczę na to, że Windowsa i Linuxa nie używają. Liczę...

Kiedys tu ktos pisal, ze jego krewny zaciągnął sie na lotniskowiec
i wrócił niezłym specem od Windowsa NT.
A linuxa to teraz sam IBM uzywa.

Przy okazji problemow 787 wyszlo, ze mają jakis dosc antyczny
procesor, za to z atestami, chyba 16 bit, i podstawowe komputery
Boeinga maja dość ograniczone możliwosci sprzętowe - pamieci cos
ponizej 1MB itp.
Jak zaczeli zmieniac soft, to chyba studentow zatrudnili itp.
I sami siebie certyfikowali ... co akurat w miare jasne, bo jak tu
zweryfikowac cudzy soft?

Do tego rozbudowany i połączony system rozrywkowy ... ponoc pasazer
moze sie włamać.

J.