A discussion on Linux in space

Posted Jul 26, 2023 12:57 UTC (Wed) by ibukanov (subscriber, #3942)
Parent article: A discussion on Linux in space

There are newer embedded SOCs that run Linux in a VM as a sort-of untrusted part under the control of some trusted certified OS or bare-metal code. Some companies in automatic driving developing solutions based on that.

This has nice property that one can certify the whole thing for very high level like PLd with max one failure per million hours of operation while getting the full flexibility of Linux to run parts that do not need such high level of assurances.

I wonder if such systems are considered for space?

A discussion on Linux in space

Posted Jul 28, 2023 1:50 UTC (Fri) by DemiMarie (subscriber, #164188) [Link] (1 responses)

https://sel4.systems

A discussion on Linux in space

Posted Jul 28, 2023 8:58 UTC (Fri) by ibukanov (subscriber, #3942) [Link]

There are more options these days. VxWorks supports running Linux in untrusted domain https://www.windriver.com/products/vxworks/safety-platfor...

Then even Nvidea Jetson is supposedly can be used as a part of a trusted system, although details are few as one has to sign NDA.