March 23, 2020
Next generations of military aircraft require dramatically increased propulsion, power, and thermal capabilities without corresponding growth in system size and weight. As a result, right-sized, efficient physical architectures that robustly ensure safety-critical functions are crucial for warfighter efficacy. However, such architectures exhibit reduced safety margins, hybrid dynamics, and increased complexity, which prove challenging to develop, verify, and validate. The goal of this project is to develop tools amenable for showing such cyber-physical systems safely and securely deliver increased next-generation propulsion, power, and thermal capabilities.