you are viewing a single comment's thread
view the rest of the comments
[–] 96 points 7 months ago (13 children)

Just install linux bro, it's not that difficult. You'll have to compile the F-35 drivers from source, but that's just the cost of having a reliable system.

  • source
  • hideshow 13 child comments
  • [–] 14 points 7 months ago (1 child)

    It would be nice to have a distro with some basic flight control drivers preconfigured so we didn't have to build from scratch for every airframe. Maybe wouldn't get the same performance profile as proprietary drivers but something that could get off the ground. It could even be called AvioNix.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 1 point 6 months ago

    This doesn't happen "on a distro" because all of the different software functions are at different safety criticalities. The autopilot is (usually) level B, the air data system that delivers altitude and airspeed is level A, the navigation computer is level C (because pilots can still navigate without the aid of the computer). And so on.

    At level C, the standard is statement coverage with unit tests. At level B, it's decision coverage, covering every branch. And at level A, it's modified condition / decision coverage, which is a lot more complex and expensive to write.

    If you mix code for stuff at different levels, you have to develop the whole package to the highest level. Unless you can prove that the lower level code can't interfere with the higher level code.

    The easiest way to prove that is to put the different levels into different computers, so they're only talking to each other on some digital bus interface. That's called "hardware partitioning". There's also "software partitioning", but it requires an operating system or supervisor layer to provide the guarantees, and that operating system has to be developed to the highest safety level that it handles.

    Final result: you still see a lot of discrete computer boxes on airplanes. Various vendors have developed safety-critical OSes for main avionics computers, but they're closed-source, and usually not based on Linux at all.

  • source
  • parent
  • [–] 8 points 7 months ago (3 children)

    It seems like they'd already be running Linux. I thought the joke of the post is that no aircraft engineers would ever trust those systems with a Microsoft trash OS

  • source
  • parent
  • hideshow 3 child comments
  • [–] 11 points 7 months ago

    They are probably running a custom embedded operating system for small size and real time scheduling. While linux is capable of that now its support and implementation is still iffy.

  • source
  • parent
  • [–] 2 points 7 months ago (1 child)

    would ever trust those systems with a Microsoft trash OS

    Well NASA apparently does... for some weird reason.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 2 points 7 months ago*

    Yeah. 😭

    Although I'm doubtful that their flight /navigation computers rely on windows. The issue they had was getting email so it may just be laptops for email and browsing that run that shit

  • source
  • parent
  • [–] 3 points 7 months ago (2 children)

    The f35, and most weapons systems, are *nix based, and typically Linux these days.

  • source
  • parent
  • hideshow 2 child comments