Aerospace Information Technology Case Study

CC EAL5+ high-assurance certification for a spaceborne operating system