运行高可靠性航天软件的特定Linux发行版？

Question

编辑的清晰度：

由于可靠性和容错性非常重要，是否有专用的 Linux发行版(或者可能是Linux发行版的类型)来运行高可靠性的Linux软件？？

我正在开发C++软件来执行一些简单的任务(读取串行输入数据，设置输出引脚上的逻辑高低，拍摄视频(和保存)，以及一些浮点数学)。该软件将在Linux上运行。

感谢您的知识和经验。

Answer 1

一家名为Astronoutics的公司正在为飞机生产显示器。他们在波音787梦想飞机上有一本“电子飞行手册”产品。他们的主要吸引力在于能够运行两套应用程序。高度可靠的应用程序，允许试点依赖(认证的应用程序)以及未经认证的应用程序，运行在同一显示器上。

为了实现这一壮举，他们的显示器中有两台计算机。一种是运行经过认证的操作系统，另一种则完全可以运行任何东西(通常是Windows)。

他们正在运行的认证操作系统是Linux。然而，这并不是你的普通Linux。它被极大地简化了版本，仅仅有足够的功能来满足他们的需求，而不再有更多的功能。这是因为认证过程本身非常昂贵，行数对此影响很大。

所以您可以在高可靠性的环境中运行Linux，但这不是通常的Linux。