平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分...平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分析(Systematic Theory Process Analysis,STPA)对HUD进行分析,充分考虑系统的多方交互,识别系统潜在的不安全控制行为,同时利用时间自动机理论及其工具UPPAAL对系统进行建模,验证STPA识别的不安全控制行为;最后设计了一个路径算法,对导致其发生的危险路径进行检索。结果表明,该方法能够识别出系统潜在的危险及其原因,减少了人为因素对分析的影响。展开更多
平视显示系统作为影响飞机飞行安全的关键系统,其失效可导致可控飞行撞地(Controlled Flight into Terrain)的灾难性事故,而传统的以部件故障独立为前提的安全性评估方法难以满足综合化航电系统的高度耦合、资源共享特性,无法得到全面...平视显示系统作为影响飞机飞行安全的关键系统,其失效可导致可控飞行撞地(Controlled Flight into Terrain)的灾难性事故,而传统的以部件故障独立为前提的安全性评估方法难以满足综合化航电系统的高度耦合、资源共享特性,无法得到全面有效的安全性分析,给民机安全性带来了隐患。采用Safety Case理论构建平视显示系统的安全性评估模型,建立安全性目标与安全性证明材料间的追溯关系,能够实现对平视显示系统的安全性评估。结果表明,基于Safety Case理论的民机平视显示系统安全性评估模型能够详细阐述系统安全目标被安全证据满足的过程。展开更多
机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analys...机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架。同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型。结果表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持。展开更多
未来一百年中汽车将变成什么样子,每一个厂商都会有自己不同的预期。刚刚度过百岁生日的BMW,当天以一款名为Vision Next 100的概念车,向我们讲述了它眼中的汽车未来。有朝一日,当自动驾驶时代全面到来之时,BMW是否也会逐渐抛弃掉自己最...未来一百年中汽车将变成什么样子,每一个厂商都会有自己不同的预期。刚刚度过百岁生日的BMW,当天以一款名为Vision Next 100的概念车,向我们讲述了它眼中的汽车未来。有朝一日,当自动驾驶时代全面到来之时,BMW是否也会逐渐抛弃掉自己最独特的基因呢?从Vision Next 100这款概念车来看,也许不会。展开更多
文摘平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分析(Systematic Theory Process Analysis,STPA)对HUD进行分析,充分考虑系统的多方交互,识别系统潜在的不安全控制行为,同时利用时间自动机理论及其工具UPPAAL对系统进行建模,验证STPA识别的不安全控制行为;最后设计了一个路径算法,对导致其发生的危险路径进行检索。结果表明,该方法能够识别出系统潜在的危险及其原因,减少了人为因素对分析的影响。
文摘机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架。同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型。结果表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持。
文摘未来一百年中汽车将变成什么样子,每一个厂商都会有自己不同的预期。刚刚度过百岁生日的BMW,当天以一款名为Vision Next 100的概念车,向我们讲述了它眼中的汽车未来。有朝一日,当自动驾驶时代全面到来之时,BMW是否也会逐渐抛弃掉自己最独特的基因呢?从Vision Next 100这款概念车来看,也许不会。