News for hackers. Stuff that matters.
Re:The Current Challenges with Using Linux on Airplanes by mikece on Saturday July 01, 2023 @08:04AM (#36549208)
What operating systems are used for aircraft (or automobile) control/management systems?
Re:The Current Challenges with Using Linux on Airplanes by cmvincen on Saturday July 01, 2023 @08:39AM (#36549478)
Linux, usually very old and very well tested Linux.

Things that are almost Linux, like LynxOS

Lighter RTOSs like VxWorks.

If it's simple box it may be bare metal.

Oh, and sometimes Windows (but generally not for anything with a safety effect).

Re:The Current Challenges with Using Linux on Airplanes by jpm_sd on Saturday July 01, 2023 @08:34AM (#36549435)
Aviation: INTEGRITY, LynxOS, or other certified closed source RTOS.

Automotive:

https://en.m.wikipedia.org/wiki/AUTOSAR

Re:The Current Challenges with Using Linux on Airplanes by amelius on Saturday July 01, 2023 @08:53AM (#36549583)
Why don't they simply run the timing-critical stuff on a bunch of MCUs?
Re:The Current Challenges with Using Linux on Airplanes by thecosmicfrog on Saturday July 01, 2023 @08:25AM (#36549353)
The Boeing 787 is apparently using INTEGRITY-178, a realtime OS from Green Hills Software:

https://www.ghs.com/customers/boeing_787.html

Re:The Current Challenges with Using Linux on Airplanes by highduc on Saturday July 01, 2023 @08:26AM (#36549360)
What is Tesla using on their cars?
Re:The Current Challenges with Using Linux on Airplanes by foobarbaz33 on Saturday July 01, 2023 @08:36AM (#36549454)
I heard Teslas run on a bunch of Javascript in a web browser.
Re:The Current Challenges with Using Linux on Airplanes by firesteelrain on Saturday July 01, 2023 @08:45AM (#36549522)
VxWorks 653, VxWorks 7

In addition to Synergy BSP

Re:The Current Challenges with Using Linux on Airplanes by amelius on Saturday July 01, 2023 @08:51AM (#36549569)
I'd feel safer if they used MacOS.
Re:The Current Challenges with Using Linux on Airplanes by ThePowerOfFuet on Sunday July 02, 2023 @04:36AM (#36559530)
Re:The Current Challenges with Using Linux on Airplanes by mindentropy on Saturday July 01, 2023 @02:28PM (#36553395)
I have seen SysGo's PikeOS being used in Railway signalling systems. Also Threadx in Military Aerospace and Medical devices. Micrium in medical devices.