Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
IMBSA(2017)
摘要
Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical systems as a way of modeling failure propagation, and to support the evaluation and implementation of functions for Fault Detection, Isolation, and Recovery (FDIR). TFPGs are a very rich formalism: they enable modeling Boolean combinations of faults and events, and quantitative delays between them. Several formal techniques have been recently developed to analyze them as stand-alone models or to compare them to models that describe the more detailed dynamics of the system of reference, specifically under faulty conditions.
更多查看译文
关键词
timed failure propagation analysis,spacecraft engineering
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络