Publication | Closed Access
Towards Run-time Assurance of Advanced Propulsion Algorithms
12
Citations
24
References
2014
Year
Run-time Assurance MethodsEngineeringVerificationFormal VerificationControl SystemsSafety-critical SystemReliability EngineeringSystems EngineeringFault-tolerant ControlRuntime VerificationRocket EngineComputer EngineeringSafety AssuranceAerospace Propulsion SystemsPropulsionRun-time Assurance FrameworkAerospace EngineeringAerospace TechnologyAutomationFormal MethodsProcess ControlAerospace PropulsionTowards Run-time Assurance
This paper covers the motivation and rationale for investigating the application of run-time assurance methods as a potential means of providing safety assurance for advanced propulsion control systems. Certification is becoming increasingly infeasible for such systems using current verification practices. Run-time assurance systems hold the promise of certifying these advanced systems by continuously monitoring the state of the feedback system during operation and reverting to a simpler, certified system if anomalous behavior is detected. The discussion will also cover initial efforts underway to apply a run-time assurance framework to NASA's model-based engine control approach. Preliminary experimental results are presented and discussed.
| Year | Citations | |
|---|---|---|
Page 1
Page 1