-
题名建立和分析安全关键系统的错误传递图
被引量：2
- 1
-
-
作者
薛亮
-
机构
广州城建职业学院信息工程系
-
出处
《现代计算机》
2011年第19期21-24,29,共5页
-
文摘
一个大型的安全关键系统常常由成千上万的部件所组成,在这类系统中检测错误会耗费巨大的时间和代价。讨论如何根据系统的行为和功能,以及部件之间的关系来建立FPG;如何用形式方法描述FPG,以及使用多重错误检测(MFD2)算法来确定错误的源头,利用错误模式和后果分析方法有选择地在系统部件上放置警报器器。为系统来建立一个错误传递图来检测错误,能够极大的减少系统的重担。实验证明在识别错误的来源时使用多重错误检测算法能够识别出产生单一或多重错误的源节点。
-
关键词
安全关键系统
错误传递图
多重错误检测算法
警报器放置:错误模式和后果分析方法
-
Keywords
security critical systems
Fault Propagation Graph
Multiple Fault Diagnosis
Alarm Placement
Failure Modes and Effects Analysis
-
分类号
X913.4
[环境科学与工程—安全科学]
-
-
题名风险驱动的安全关键实时任务调度
- 2
-
-
作者
江维
桑楠
常政威
熊光泽
-
机构
电子科技大学计算机科学与工程学院
-
出处
《航空学报》
EI
CAS
CSCD
北大核心
2009年第12期2371-2379,共9页
-
基金
国家"863"计划(2006AA01Z173
2007AA01Z131)
-
文摘
安全关键系统面临着日趋严峻的安全威胁,如何降低安全关键实时应用的风险成为挑战。通过结合风险评估与实时调度,给出一种风险驱动的任务调度方案。在分析非周期实时任务可调度性的基础上,提出一种基于处理器瞬态利用率、系统安全风险最小的在线调度近似算法。在不违背关键任务的时间约束和安全约束的前提下,该算法能够在低时间复杂度内得到安全性能确保的次优解。实验结果显示所提算法能明显降低安全关键实时应用的风险。具体来讲,最大安全风险可降低22.2%,并且在安全风险近似率上界为110%情况下,真实近似率最小为102.4%。
-
关键词
安全关键
风险
实时系统
非周期任务
调度算法
-
Keywords
security-critical
risks
real time systems
aperiodic task
scheduling algorithms
-
分类号
V557.1
[航空宇航科学与技术—人机与环境工程]
TP309
[自动化与计算机技术—计算机系统结构]
-
