A verification framework with application to a propulsion system
作者：
Highlights：
• 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.
摘要
•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,Offline verification,Runtime verification,Monte Carlo simulations,Propulsion systems,Automated contingency management (ACM)
论文评审过程：Available online 30 March 2014.
论文官网地址：https://doi.org/10.1016/j.eswa.2014.03.017
