this post was submitted on 03 Jul 2023
21 points (100.0% liked)

Linux

1259 readers
63 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

cross-posted from: https://programming.dev/post/368257

Thoughts?

top 20 comments
sorted by: hot top controversial new old
[–] SSUPII@sopuli.xyz 22 points 1 year ago (2 children)

Honestly just anti-foss rambling. Nothing is stopping them to make a custom hardened kernel with what they need. What they want is someone else to cater for them.

[–] solidsnail@programming.dev 10 points 1 year ago

https://www.linux.com/news/boeing-joins-the-elisa-project-as-a-premier-member-to-strengthen-its-commitment-to-safety-critical-applications/

ELISA (Enabling Linux in Safety Applications) Project announced that Boeing has joined as a Premier member, marking its commitment to Linux and its effective use in safety critical applications. Hosted by the Linux Foundation, ELISA is an open source initiative that aims to create a shared set of tools and processes to help companies build and certify Linux-based safety-critical applications and systems

I imagine this means they're contributing both actively and financially to Linux.

[–] cypherpunks@lemmy.ml 8 points 1 year ago

are there any points in their slide deck which you can really say are inaccurate? as a long-time Linux proponent myself, I actually can't.

[–] Gebruikersnaam@lemmy.ml 15 points 1 year ago (1 children)

That is rich coming from the people that programmed the Boeing 737 MAX...

[–] tombuben@lemmy.fmhy.ml 4 points 1 year ago

Yeah, if the first argument is "Linux does not have the safety culture", the first thing should be for the question of "do the current offerings have it" to show up.

[–] voluntaryexilecat@lemmy.dbzer0.com 8 points 1 year ago (2 children)

Well, NASA trusts Linux enough to send it to Mars. They build rockets, so it should be good enough for flying busses. Unless you don't trust your software engineers, but then having them build a custom microkernel OS instead sounds not much better.

[–] shirro@aussie.zone 3 points 1 year ago* (last edited 1 year ago)

Every NASA crewed launch to ISS from US soil is on a stack that uses Linux for avionics: Falcon 9 and Dragon 2. The Starlink constellation is also a massive deployment of Linux nodes in space.

The backup NASA commercial crew system from the 737 Max people hasn't flown people yet and probably won't this year, perhaps never. They somehow managed to have two critical software failures on their first orbital flight test, either of which would have caused loss of vehicle without intervention. Both should have been caught with comprehensive testing.

[–] zahel 3 points 1 year ago

They trusted Linux enough to put it on a non mission critical device that is controlled remotely.

[–] Tentoe@feddit.de 7 points 1 year ago* (last edited 1 year ago) (2 children)

LinuS does not have a software engineering culture

What?

[–] solidsnail@programming.dev 2 points 1 year ago

Yeah, didn't get that one either.

Something something personal attack on Linus, whom still manages to this day every merge in master.

You know, he has no software engineering culture developing his software engineering masterpiece over 20 years, as opposed to the impeccable software engineering culture at Boeing.

Absolute clowns.

[–] fermuch@lemmy.ml 6 points 1 year ago (3 children)

The only real "problem" would be the lack of certifications, which are quite hard to get.

Real Time Operating Systems (RTOS) are normally used for these tasks, but, AFAIK there are already projects using linux with patches to make it run a RTOS kernel.

In my opinion, I think it all depends on what part of the plane it is running. If it is a core sensor, providing real time data, it makes a lot of sense to use a RTOS. It needs to prove it can run its tasks on time, and the scheduler needs to be understandable. There's also a lot of overhead with running a full OS with processes, which don't make sense for a sensor which only function is to provide data over a CAN/LIN bus.

But, for other things, like dashboard visualizations, music for the aircraft, entertainment, and those non-critical-realtime needs, then it makes a lot of sense to run linux. After all, you'd get access to a lot of already built software and a working dev environment.

And don't get me wrong, this is clearly BS from boeing to keep selling their closed source software. There are already open source RTOS systems, like FreeRTOS. I do not mean to keep those real time systems closed, but to use a full OS where it makes sense and a RTOS where that makes more sense. Both open source!

[–] Atarian@vlemmy.net 3 points 1 year ago (1 children)

Isn't hard real time in the kernel now?

[–] fermuch@lemmy.ml 1 points 1 year ago

I remember there were talks about merging the patches and making it an option when building. I don't know the current status of that.

On real time operating systems, like freertos, not only the kernel is real time but everything else is too. Like: you can guarantee your call on the I2C and SPI won't take more than 5ms, for example, even with hardware issues. The whole environment is built around the hardware realtime concept.

[–] nrabulinski 2 points 1 year ago

You don’t even necessarily need patches, just compile the kernel with real time option

[–] solidsnail@programming.dev 0 points 1 year ago (1 children)

That makes sense, and yeah I imagine the problem isn't the entertainment system.

I just don't get the the last paragraph. I don't know if using Linux affects their code being OS or not. If they're just running it on top of Linux and not modifying it, it probably won't be a GPL violation to keep it closed.

[–] fermuch@lemmy.ml 3 points 1 year ago

Boeing has their own RTOS, which they might be using on more than "real time critical" software. What I mean is: embrace open source, be it Linux or some other OS more specific for that task, but open source all the things!

[–] Serinus@lemmy.ml 4 points 1 year ago (1 children)

A bunch of bullshit so that Boeing can sell the shit they want to sell.

I'd be interested in hearing what they are using for safety-critical OS. Notice they said "software engineering" and not "OS", which makes me think they're running on Windows.

Most Windows drivers also run in kernel mode.^[https://learn.microsoft.com/en-us/windows-hardware/drivers/gettingstarted/user-mode-and-kernel-mode]

[–] solidsnail@programming.dev 3 points 1 year ago

I doubt they run on windows tbh. If they take issue with with monolithic design of Linux, then windows would be an even bigger problem.

Also, most of the devices in question are probably small controllers, incapable of running windows. (Microsoft are struggling to run it on arm so...)

[–] gbin@lemmy.ca 2 points 1 year ago

Something to understand here, it is exactly the same with the automotive industry. It is almost never about the actual safety, let me explain.

If you work as a safety engineer in a company like Boeing the name of the game is to not be responsible for the safety of a component at all. You always hide behind some kind of certifications then always ask a contractor to do it. The contractor might be scared too so will ask for a subcontractor and so on until someone is in an obscure juridiction or brave enough to just develop the software like almost anyone else but just with someone rubber-stamping the paperwork.

The safety engineer will have the paperwork so for them, it is safe! If there is an issue this is not them.

So for them Linux is absolutely out of the question, who wants to sign a paper for it?

load more comments
view more: next ›