OS na borbenim avionima

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Доста давно сам поставио ово питање на војном делу форума, па нико није могао да каже (шта ћете, кад оружје боље познајемо): знам да је компјутерска подршка авионике у борбеном авиону врхунска тајна (многи програми у свету касне или су каснили због тога), али ме начелно интересује:
1. Који ОС користе борбени авиони? Има ли то икакве везе с овим што ми на персоналном рачунару користимо?
2. Који програмски језик користе (то је мање важно, али кад већ питам)?
3. Може ли пилот, једноставно речено, да помоћу компјутера у авиону пошаље мејл и да ли уопште комуницира с комјутером, или онај ''сам'' ради на својим пословима (контролише флај-бај-вајр, летне карактеристике, итд).

Био бих захвалан за сваки детаљ.

• 2Ovo se svidja korisnicima: Sirius, aleksmajstor
  
  Registruj se da bi pohvalio/la poruku!

Brza pretraga kaže:
https://www.quora.com/What-kind-of-operating-syste.....d-missiles
https://superuser.com/questions/432588/which-opera.....-computers
https://softwareengineering.stackexchange.com/ques.....guages-are

Prevod teksta sa prvog linka:
"Ако говорите о компјутерима за контролу лета и компјутерима за управљање оружјем или компјутерима уграђеним у тгецрадаре и системе за навођење пројектила….. Не знам ни за један прави ОС који се користи у БИЛО КОМ од њих.

Барем у мом донекле застарелом (Ф/А-18 Ц/Д) искуству, сви главни системи „у реалном времену“ су програмирани на машинском језику ниског нивоа, а не на Јави или Пaјтон-у, и свакако не под било којим оперативним системом опште намене .

Барем су тада постојала два веома важна разлога за избегавање језика вишег реда и ОС опште намене. Прво и најважније је било апсолутно детерминистичко извршавање, друго је био ""прекомерни трошак" који је својствен ХОЛ-овима и ОС-има. Требали смо бити потпуно сигурни у то које се рутине извршавају и да ли се завршавају по прецизном распореду. То не можете учинити са ХИЛ или ОС који управља системом. Такође смо имали огромну количину кода за извршење у веома брзој „контролној петљи“. Компјутери тог времена нису могли себи да приуште ништа осим најстрожег могућег кода машинског језика.

Један пример система контроле лета и ОФП-а написаног у ХОЛ-у, за који бар ја знам, резултирао је поквареним АВ-8Б који је седео на писти при првом покушају лета."

Verujem da današnji avioni sigurno imaju neki os u kompjuteru ali je to verovatno toliko izmodifikovano i prilagođeno svrsi da ne može biti reči o onome što prosečan korisnik računara podrazumeva pod OS.

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Тако сам и мислио. Лутао сам мало по тим сајтовима, али нисам био сигуран јер то нису како видим званичне информације (наравно да су тајна), а ни технички изрази ми нису били најјаснији. Морао бих да имам посебан информатички речник. Хвала ти свакако.

• 2Ovo se svidja korisnicima: Sirius, aleksmajstor
  
  Registruj se da bi pohvalio/la poruku!

Ako me secanje dobro sluzi sa mojih studija, takvi operativni sistemi su grupisani u "Embeded" odnosno ugradjeni u tacno odredjen sistem i posveceni samo svom zadatku, bez mogucnosti da ih korisnik menja ili uredjuje.

• 1Ovo se svidja korisniku: Sirius
  
  Registruj se da bi pohvalio/la poruku!

Koliko ja znam, američko Ministarstvo odbrane koristi ADA programski jezik.
Takođe se koristi i SPARK koji je baziran na ADA-i.
Navodno je SPARK korišćen kod "Herijera", EF-2000 i C-130J "Super herkules".

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

aleksmajstor ::Koliko ja znam, američko Ministarstvo odbrane koristi ADA programski jezik.
Takođe se koristi i SPARK koji je baziran na ADA-i.
Navodno je SPARK korišćen kod "Herijera", EF-2000 i C-130J "Super herkules".

Видео сам да користе и често спомињу тај АДА систем, али сам за то лаик. Својевремено сам штампао корице за приручник програмских језика ''Кобол'' и ''Бејзик'' , али то се заборавило. Оквирно знам шта је програмски језик, али не бих да лупам, зато ми је ваша помоћ била драгоцена.
Да ли је то стварно толико компликовано, кад знамо да су неки програми (рецимо ЈАС-Грипен, па и Ф-35) каснили неколико година само због тога?

• 2Ovo se svidja korisnicima: aleksmajstor, Sirius
  
  Registruj se da bi pohvalio/la poruku!

Ada je programski jezik koji je zasnovan na Pascal programskom jeziku, definisan je iso standardom i ne toleriše greške u pisanju koda. Kompajler i razvojna okruženja za ovaj jezik ne dozvoljavaju da greške u kodiranju lako "prođu", te zahteva malo više pažnje prilikom kodiranja. Upravo zbog takve prirode koristi se u vojne svrhe, jer je cilj da se greške u kodiranju uoče pri kompajliranju, a ne prilikom pokretanja programa.

• 1Ovo se svidja korisniku: Sirius
  
  Registruj se da bi pohvalio/la poruku!

Uloguj se preko Facebooka da bi skinuo fajl:

Ruski avioni takođe koriste RTOS u svojim avionima:

https://www.mycity.rs/must-login.png

Use of real-time operating systems in the integrated modular
avionics

• 1Ovo se svidja korisniku: Sirius
  
  Registruj se da bi pohvalio/la poruku!

Pretražujući ovu temu do sad sam nailazio samo na podatke o korišćenju RTOS na avionima starijeg tipa. U ovom članku međutim, spominje se ono što sam ciljano tražio, a to su noviji tipovi aviona i njihov softver, i na njima takođe očekivano, izvesno učešće aplikativnog softvera (windows i linuks). Ne spominje se da li se aplikacije pokreću sa grafičkim interfejsom ali se spominje da je u pitanju virtualizacija. Možda je čak moguće i slanje e-maila sa aviona što spomenu Sirius

Link:
https://www.ece.ucf.edu/~zsguo/pubs/rts/2019s11.pdf

Citat:

"As the military has started to move away from traditional real time operating systems and more towards traditional desktop operating systems with graphical user interface, maintaining system security between those operating systems and critical tasks is a challenge. Time and space partitioning greatly assists with this issue, as seen in the real time operating system technology developed by Green Hills Software. They combined time and space partitioning with virtualization to allow low security Windows and Linux operating systems to run with high security military avionic applications without the risk of a security breach (RTOS Trends)".

Kako se vidi u grafikonu, LynxOS je uzet kao osnova.

https://www.lynx.com/products/lynxos-posix-real-time-operating-system-rtos
https://en.wikipedia.org/wiki/LynxOS

LynxOS je unix-like.

"LynxOS features full POSIX conformance and, more recently, Linux compatibility. LynxOS is mostly used in real-time embedded systems, in applications for avionics, aerospace, the military,[2] industrial process control and telecommunications. As such, it is compatible with military-grade security protocol such as wolfSSL, a popular TLS/SSL library."

Znači, ako tražimo najpribližniji odgovor na pitanje koji OS se koristi u savremenim vojnim avionima, to je LynxOS.

Mislim da je to taj odgovor koji je interesovao Siriusa.

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Хвала најлепше, то је то!