俞慎
- 作品数：4 被引量：15H指数：2
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 嵌入式RTOS健康监控技术研究被引量：11
- 2009年
- 在高度综合化、模块化的新一代航空电子系统中,高安全的实时操作系统和健康监控技术对提高系统的安全性、可靠性方面起了重用的作用。该文对一种嵌入式实时系统的健康性监控机制的设计原理进行了研究,讨论了错误诊断、错误注入、错误响应、错误恢复等健康监控技术关键点。
- 李宁波汪溢俞慎叶晓芸
- 关键词：嵌入式RTOS
- 安全关键系统的蓝图设计与生成
- 2008年
- 安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统。航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统。为保证IMA系统的安全可靠,必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题。该问题的解决方法是在系统设计阶段用"蓝图"来描述系统。针对国内航电系统的实际需求,设计并实现面向安全关键系统的蓝图,介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图的实现。
- 俞慎
- 关键词：安全关键系统
- 安全关键系统的蓝图设计与生成
- 安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统.航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统.为保证IMA系统的安全可靠,必须做到...
- 俞慎
- 关键词：安全关键系统航空电子系统嵌入式操作系统
- 文献传递
- 航空电子嵌入式实时操作系统的安全策略被引量：5
- 2008年
- 新一代航空电子系统是一种高度综合化、模块化的系统。为了确保系统工作的安全与可靠,需要具有高安全性能的实时操作系统。该文介绍软件的分区管理和信息安全管理、分区间通信的虚通道等技术,讨论航空电子嵌入式实时操作系统中的数据安全策略。实验结果表明了该策略的有效性。
- 俞慎李宁波
- 关键词：嵌入式实时操作系统分区管理虚通道
