A verification framework with application to a propulsion system
Developed a novel layered hierarchical verification scheme. Built the models of a monopropellant propulsion system and conducted model verification. Conducted Monte Carlo simulation for verification at component level, system level, mission level, and safety level. Case studies the verification of an automated contingency management of the monopropellant propulsion system with faults occurs in the system.
verification propulsion systems monte carlo simulations offline verification runtime verification automated contingency management (acm)