You are here

Verification and Validation of Algorithms for Resilient Complex Software Controlled Systems


TECHNOLOGY AREA(S): Space Platforms 


OBJECTIVE: This STTR topic will investigate approaches to verification and validation (V&V) of algorithms for GN&C of spacecraft without on-orbit testing. 


DESCRIPTION: As potentially one of the most sensitive subsystems within the flight software to subtle disruptions that are difficult to detect and prevent, the need for resilient, cyber-hardened software architectures for GN&C (guidance, navigation, and control) of spacecraft is significant and the capability to V&V the systems before deployment is necessary. Currently, V&V of spacecraft GN&C systems must be accomplished through on-orbit testing. Selected proposers will be provided a problem of interest both to the Air Force as well as to all national security space systems on which to apply their V&V algorithms. Potential approaches are provided in the references, but the proposer is encouraged to consider alternative approaches as well. 


PHASE I: Final Report with simulated approaches to algorithms on spacecraft GN&C problems plus algorithms & simulations in MATLAB code. 


PHASE II: Matlab Simulink code suitable for auto-generation of Real-Time ANSI C/C++ flight code of algorithms (using Simulink Coder), additional Matlab code used in high-fidelity simulations and regression testing of algorithms, and a Final Report. 


PHASE III: Demonstration of developed flight code in a hardware testbed environment plus a Final Report. 



1: Johnson, T. T., Green, J., Mitra, S., Dudley, R., and Erwin, R. S.," Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems," Proc. 18th International Symposium on Formal Methods, pp. 252-266, Paris, France, August 2012.

2:  Frey, G. and Litz, L., "Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets," Proc. IEEE International Conference on Systems, Man, and Cybernetics (ICSMC), 1998 ; doi: 10.1109/ICSMC.1998.725375.

3:  Liu, Shaoying, "Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation," Proc. 2016 International Symposium on System and Software Reliability (ISSSR), 2016 ;doi: 10.1109/ISSSR.2016.010.



KEYWORDS: Verification, Validation, Algorithms, Controls 


US Flag An Official Website of the United States Government