Evaluation of Verification Approaches Applied to a Nonlinear System Control
Abstract
Exhaustive test of complex and autonomous systems is intractable and cost prohibitive; however, design analysis techniques such as formal methods and design methodologies such as Run Time Assurance (RTA) could provide supplementary certification evidence early in system design. In this research, a 6U CubeSat Attitude Control Subsystem(ACS) is used as a challenge problem to evaluate the application of non-traditional verification methodologies such as formal methods and run time assurance architectures in conjunction with more traditional verification techniques. Thirteen hypothetical requirements are presented and formally defined. Strengths and weaknesses of the verification techniques are exposed in order to recommend capability expansions for further development. In analyzing the application of different formal methods tools, a new approach to verification was created to provide evidence of requirement satisfaction that leverages the capabilities of formal methods in conjunction with traditional verification techniques such as simulation cases, space filling experimental design simulation, and mathematical feasibility analysis.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 24, 2016
- Accession Number
- AD1054163
Entities
People
- Kerianne H. Gross
Organizations
- Air Force Institute of Technology