The engineering behind Artemis and SLS is a masterclass in safety-critical design. The quad redundant Primary runs on on a quadruple config PPC-750 CPU with the

The engineering behind Artemis and SLS is a masterclass in safety-critical design. The quad redundant Primary runs on on a quadruple config PPC-750 CPU with the Green Hills Integrity OS and ARINC653 framework While the Back up is on a LEON 3 (SPARKV8) CPU using the VxWorks and NASA's CFS framework. (https://github.com/nasa/cFS https://github.com/nasa/cFS) NASA actually makes all this publicly available information available on their NTRS server. Primary and BFS Info: https://ntrs.nasa.gov/api/citations/20190000011/downloads/20190000011.pdf https://ntrs.nasa.gov/api/citations/20190000011/downloads/20... Orion BFS: https://ntrs.nasa.gov/api/citations/20230002185/downloads/FSW2023_Orion_BFS_Hirsh_final.pptx.pdf https://ntrs.nasa.gov/api/citations/20230002185/downloads/FS...