GNC verification and validation

This chapter presents an overview of the key concepts regarding guidance, navigation, and control (GNC) verification and validation procedures. Model-in-the-loop, software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop tests are presented from GNC modeling and simulator development. Autocoding and different verification activities, including requirements, code standards, and coverage verification are discussed. Finally, in-orbit testing and all the activities aiming to verify correct high-level, in-orbit functionalities, performances, and operations of the system are introduced.