The Core Flight Executive is used as the basis for the flight software for satellite data systems and instruments.