Hacker News: MutexMaven

New comment by MutexMaven in "How NASA built Artemis II’s fault-tolerant computer"

MutexMaven — Sat, 11 Apr 2026 14:12:54 +0000

Wrong link, but still relevant. https://ntrs.nasa.gov/api/citations/20140009920/downloads/20...

New comment by MutexMaven in "How NASA built Artemis II’s fault-tolerant computer"

MutexMaven — Sat, 11 Apr 2026 13:58:38 +0000

Yes, they leveraged Intel Simics and many other tools like Matlab etc. to have "Digital Twin" simulations.

The extensive use of simulators and emulators has been particularly critical, enabling parallel design and development workflows to compensate for the incredibly expensive and long-lead times of hardware. So this helped with bottlenecks in development too.

https://ntrs.nasa.gov/api/citations/20190000011/downloads/20...

New comment by MutexMaven in "How NASA built Artemis II’s fault-tolerant computer"

MutexMaven — Sat, 11 Apr 2026 13:53:22 +0000

NASA actually publishes these things on their NTRS page. The Primary flight controller is rocking Green Hills INTEGRITY RTOS on BAE RAD750s in a quad redundant config, with a VxWorks backup on a Frontgrade Gaisler LEON4 (SPARC V8). This allowed for parts of the ARINC653 spec regarding time and space partitioning of the RTOS scheduler to be used.

You can read more about it below (when the server throwing errors). https://ntrs.nasa.gov/api/citations/20190000011/downloads/20... https://ntrs.nasa.gov/api/citations/20230002185/downloads/FS...