Verification and Validation of Algorithms for Resilient Complex Software Controlled Systems

This effort seeks verification tools and techniques to ensure safety and stability of spacecraft Guidance, Navigation, and Control (GN&C) algorithms, particularly the attitude control system integrated with autonomy software. Advanced control algorithms and autonomy are increasingly necessary to enable responsiveness of fleets of vehicles to attitude constraints and object avoidance. Verus Research therefore proposes the software suite DOVES: Design and Operation of VErified Spacecraft. DOVES will comprise a Design Tool, a Mission Planning Tool, and a Real-Time Assurance (RTA) Tool, whose combined capabilities will ensure robust safety and requirement satisfaction throughout the lifecycle of a spacecraft. Each tool will also function as a standalone capability that targets a specific aspect of the spacecraft control system development and operation. Formal verification is the underlying technology of each tool. A combination of techniques will be incorporated to guarantee, both offline and online, that stability, actuator, and attitude constraints are always satisfied. DOVES, and its individual components, will enable advanced control systems and increased autonomy onboard spacecraft through its robust safety assurances.