this post was submitted on 01 Jul 2023
0 points (NaN% liked)

Linux

4 readers
2 users here now

founded 2 years ago
 

Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons

top 7 comments
sorted by: hot top controversial new old
[–] jimbolauski@kbin.social 1 points 1 year ago

Linux can and is used on airplanes, flight control systems is not where it lives. There is a layer of abstraction, the auto pilot, which allows for Linux to be used and the safety of flight risks to be mitigated.

[–] BaldProphet@kbin.social 1 points 1 year ago

Given the open-source nature of the Linux kernel, it seems that a company could customize it to their needs in order to mitigate the majority of these concerns. Most of this sounds like a corporate shill making excuses rather than giving specific examples of deficiencies in the Linux kernel.

[–] Melpomene@kbin.social 1 points 1 year ago (1 children)

I'm one of those rare end-users of Linux (by choice) so I'm not the best when it comes to understanding how to pop a kernel or summon daemons or whatever. But my impression of Linux is that it is adaptable. Rather than relying on proprietary systems locked into vendors, it seems to make sense to shift into a non-proprietary model going forward. But again, I'm not popping any kernels for daemons.

[–] BaldProphet@kbin.social 1 points 1 year ago

pop a kernel of summon daemons

I'm going to refer to starting daemons as "summoning" from now on!

[–] Jajcus@kbin.social 0 points 1 year ago (2 children)

Linux is a general-purpose OS, and that is generally a bad choice for safety-critical real-time applications. And it is not something that Linux can just be adapted for – the biggest problems are: the kernel is big and the code is complex. Anything added do Linux to 'solve that' would just make it even bigger and even more complex. And removing stuff for kernel would just make it worse general-purpose OS.

The solution for proprietary RTOSes used there would be to create a new, open-source one. This should be doable as those are small and simple by definition (to some extent – only as simple as they can be for given task). I guess this will happen one day, though it is harder for it to happen naturally, as that is not something hobbyists would do for their own needs in their own time and that is usually what starts an open source projects.

On the other hand – Linux can co-exist and I am sure it does co-exist with those specialized RTOSes. I would assume that even on a Boeing airplane there are many Linux instances running… or even Windows ones.

[–] Xeelee@kbin.social 1 points 1 year ago

Wouldn't it be possible to make a Linux kernel for real time applications? That would obviously be very stripped down, but you're not going to run Crysis on your avionics computer anyway.

[–] Mr_Figtree@kbin.social 1 points 1 year ago

A FreeRTOS derivative has gone through the effort of getting certified for safety critical applications, but that derivative is sadly proprietary. Even if FreeRTOS itself can't meet that bar, though, the work wouldn't have to start from scratch.