-
题名面向安全关键系统的CAN总线应用研究综述
被引量：8
- 1
-
-
作者
王志颖
马卫东
熊光泽
杨战平
-
机构
电子科技大学计算机学院
中国工程物理研究院电子工程研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第4期1216-1220,共5页
-
基金
国防重点基金资助项目
-
文摘
控制器局域网适合小型安全关键系统的现场总线控制要求,能够以最大1 Mbps速率发送和接收实时短消息。分析了CAN总线的结构、特点、协议仲裁机制、接口设计方法、实时特性和错误处理机制。为了支持任务关键网络,比较了事件触发协议与时间触发协议的特性,讨论了时间触发CAN协议的研究进展。
-
关键词
安全关键系统
现场总线
时间触发协议
任务关键网络
-
Keywords
safety critical systems（scs）
field-bus
time trigger protocol
mission critical networks
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名安全苛刻系统自动化测试的形式化语义模型
被引量：5
- 2
-
-
作者
吕江花
马世龙
李先军
高世伟
-
机构
软件开发环境国家重点实验室(北京航空航天大学计算机学院)
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第3期489-505,共17页
-
基金
国家自然科学基金(61300007
61003016)
+1 种基金
软件开发环境国家重点实验室开放基金(SKLSDE-2012ZX–28
SKLSDE-2013ZX-11)
-
文摘
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.
-
关键词
安全苛刻系统
测试
自动化测试
设备协同
高阶演算
标记转换系统
实时
-
Keywords
safety critical systems （scs）
test
automatic test
equipment collaboration
high order
LTS
real time
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名形式化方法与安全关键系统
被引量：4
- 3
-
-
作者
黎忠文
熊光泽
-
机构
电子科技大学计算机学院
-
出处
《计算机应用》
CSCD
2000年第9期36-38,共3页
-
文摘
本文从分析SCS(Safety -CriticalSystems安全关键系统 )这类重要的实时控制系统的故障新特点出发 ,讨论了SCS中形式化方法的作用、研究应用现状、存在的问题及未来的发展。
-
关键词
形式化方法
安全关键系统
设计型故障
计算机
-
Keywords
Formal Methods(FM)
safety-critical systems(scs)
design fault
-
分类号
TP306.3
[自动化与计算机技术—计算机系统结构]
-
-
题名安全关键系统的蓝图设计与生成
- 4
-
-
作者
俞慎
-
机构
华东计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第B09期66-68,71,共4页
-
文摘
安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统。航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统。为保证IMA系统的安全可靠,必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题。该问题的解决方法是在系统设计阶段用"蓝图"来描述系统。针对国内航电系统的实际需求,设计并实现面向安全关键系统的蓝图,介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图的实现。
-
关键词
ARINC653标准
ASAAC标准
综合模块化航空电子
安全关键系统
蓝图
-
Keywords
ARINC653
ASAAC
Integrated Moduhtr Avionics（IMA）
safety critical systems（scs）： blueprint
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名基于FAHP的构件安全性量化评估方法
被引量：3
- 5
-
-
作者
赵静丽
陈立潮
潘理虎
张英俊
谢斌红
-
机构
太原科技大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第22期67-69,共3页
-
基金
山西省自然科学基金资助项目(2009011022-1)
-
文摘
应用构件开发安全苛求系统时,需要对所选用的构件进行安全性评估。为此,以层次分析法为基础,设计模糊层次分析法(FAHP)以确定构件的节点权重,利用三角模糊数标识模糊信息,通过模糊隶属函数对节点信息进行相应处理。实例应用结果表明,该方法对构件的安全性评估效果较好。
-
关键词
构件
安全苛求系统
安全性
模糊层次分析法
量化评估
-
Keywords
component
safety-critical system（scs）
security
Fuzzy Analytic Hierarchy Process（FAHP）
quantitative evaluation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于改进DFTA的安全苛求系统可靠性分析
被引量：2
- 6
-
-
作者
吴剑
徐中伟
喻钢
李弋强
-
机构
同济大学电子与信息工程学院
上海大学悉尼工商学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第15期117-120,共4页
-
基金
国家自然科学基金资助项目(60674004)
铁道部科技研究开发计划基金资助项目(2007X003)
-
文摘
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实践效率。
-
关键词
动态故障树
安全苛求系统
可靠性分析
马尔科夫模型
模块化
-
Keywords
dynamic fault tree
safety-critical system（scs）
reliability analysis
Markov model
modulation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
