您的位置： 专家智库 > >

中国航空科学基金(20091931006)

作品数：5 被引量：21H指数：3
相关作者：李运喜叶宏梁小虎胡宁崔西宁更多>>
相关机构：中航工业西安航空计算技术研究所西安电子科技大学更多>>
发文基金：中国航空科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

  • 5篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 3篇MILS
  • 1篇中间件
  • 1篇软件开发
  • 1篇软件配置管理
  • 1篇配置管理
  • 1篇周期
  • 1篇自动驾驶仪
  • 1篇微内核
  • 1篇内核
  • 1篇截止期
  • 1篇可靠性
  • 1篇机载
  • 1篇驾驶仪
  • 1篇航空电子
  • 1篇符合性验证
  • 1篇高可靠
  • 1篇高可靠性
  • 1篇ARINC
  • 1篇GUARD
  • 1篇MMR

机构

  • 6篇中航工业西安...
  • 2篇西安电子科技...

作者

  • 1篇徐晓光
  • 1篇胡林平
  • 1篇杨琼
  • 1篇梁小虎
  • 1篇周霆
  • 1篇崔西宁
  • 1篇胡宁
  • 1篇胡宁
  • 1篇叶宏
  • 1篇仝敏
  • 1篇李运喜
  • 1篇张鹏利

传媒

  • 4篇航空计算技术
  • 1篇科学技术与工...

年份

  • 1篇2012
  • 3篇2011
  • 2篇2010
共 5 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
MILS机载安全操作系统设计被引量：3
2012年
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。
胡林平
关键词：微内核
一种面向MILS的多级安全文件系统的架构设计被引量：3
2011年
提出一种基于MILS(Multiple Independent Levels of Security,多级独立安全)高可靠架构的多级安全文件系统架构。文件系统应用分区与其他分区间的通信采用严格的两级消息处理机制,MMR组件进行消息路由,Guard组件执行安全策略检查。并提出目录视图的概念确保文件对不同等级用户的透明性。
杨琼周霆胡宁崔西宁
关键词：MILSGUARDMMR
操作系统ARINC653标准符合性验证方法的研究被引量：1
2011年
ARINC 653标准是一种国际流行的多分区操作系统的接口标准,是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准,以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C/S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法,方法不需要对操作系统源码进行修改,并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。
仝敏徐晓光
关键词：ARINC操作系统符合性验证
自动驾驶仪软件开发与管理被引量：1
2011年
以自动驾驶仪软件开发实践为基础,总结和分析自动驾驶仪软件开发的经验和教训,提出应以良好专业素养的人员定义软件的需求、以严格的需求追踪确保需求实现的完整性和正确性、以需求设计和实现人员分离的方式进行软件工程化开发、以独立的手段开展软件设计验证和确认、以严格的控制措施确保软件技术状态清晰等基本开发原则,保证机载嵌入式软件的产品和过程质量,保障飞行安全,确保机载嵌入式软件的成功开发。
张鹏利
关键词：自动驾驶仪软件开发软件配置管理
时间分区的设计与实现被引量：15
2010年
为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区(Partition)的概念。分区是运行于一个处理机模块上的一个或多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。
李运喜梁小虎叶宏王蜜蜂
关键词：周期截止期
面向航空电子的MILS高可靠性体系结构研究
多重独立安全级别（MILS）是一个在同一系统中执行不同安全级别应用的安全体系结构。本文以MILS体系结构为基础,探索多重独立安全综合化航空电子系统（IMA）安全体系架构。希望能够从MILS的角度,从根本上解决综合化航空电...
邢薇薇胡宁姜建国张灯
关键词：中间件
文献传递
全选 清除 导出
共1页<1>
聚类工具0