排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
单粒子(SEU)软错误是导致卫星中断、影响卫星可用性的重要因素。针对SEU软错误在导航卫星内部的失效传播过程描述与影响评估问题,提出一种基于有限状态机(FSM)理论/Stateflow的软错误影响传播过程建模方法,阐述了构建软错误传播过程有限状态机模型的基本元素与原则,并针对导航卫星特点提出软错误影响传播与防护恢复策略的建模思路。利用Stateflow仿真得到单星可用度与平均任务中断时间,分析了多种恢复策略时间对整星可用性指标的影响;并通过构建MATLAB与STK联合仿真平台,由单星软错误传播仿真结果得到星座位置精度因子(PDOP)可用性指标,从而评估了SEU软错误在整星与星座2个层级的影响。 相似文献
2.
在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。 相似文献
1