News for hackers. Stuff that matters.

A comment on Safety-critical realtime with Linux.

Re:Safety-critical realtime with Linux by kev009 on Saturday September 30, 2017 @02:12AM (#15371506)
I find that subject line completely terrifying. Please use a small trusted compute base, hopefully with rigorous auditing and attempts at formal modeling, for safety critical systems. The Linux kernel development process is not suitable for this domain.
[ Parent | on HN ]
Re:Safety-critical realtime with Linux by mechatronix00 on Saturday September 30, 2017 @09:44AM (#15372829)
I’ve read SpaceX uses Linux to fly Falcon and Dragon. If true, I wonder how they got happy with it for safety critical tasks. Or maybe those safety critical tasks get offloaded to microcontrollers with easier to audit codebases.

edit: reference to the article- https://lwn.net/Articles/540368/

[ Parent | on HN ]
Re:Safety-critical realtime with Linux by ficklepickle on Saturday September 30, 2017 @05:38PM (#15375102)
I would have thought they'd use Dragonfly BSD. Get it!?! Dragon FLY... 'Cuz it flies...

I'll show myself out.

[ Parent | on HN ]
Re:Safety-critical realtime with Linux by reificator on Saturday September 30, 2017 @06:50AM (#15372239)
Agreed. I use a lot of Linux, but if things go wrong the losses are financial and temporary. I can't imagine trying to design a system that must never fail on top of Linux. Reliability is rarely served by addition.
[ Parent | on HN ]