您的位置： 专家智库 > >

郑小宁

作品数：1 被引量：1H指数：1
供职机构：西安飞行自动控制研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇任务管理
  • 1篇容错
  • 1篇时间触发
  • 1篇通信层
  • 1篇安全关键系统
  • 1篇操作系
  • 1篇操作系统

机构

  • 1篇西安飞行自动...

作者

  • 1篇张超
  • 1篇郑小宁

传媒

  • 1篇计算机应用

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向安全关键系统的时间触发软件被引量：1
2014年
为了保证任务的执行免受事件驱动行为的影响,安全关键控制系统软件设计时应当避免使用任何时间不确定的结构。时间触发软件是时间触发架构重要的组成部分,具有较高的可靠性和确定性,易于开发和综合。重点研究了时间触发软件的体系架构、时间触发操作系统的调度策略和任务管理策略。同时容错通信层的实现使得副本的数目、表决和重新综合对于应用软件完全保持透明。总之,时间触发操作系统和容错通信层可以使应用软件和安全关键控制算法的开发更加简单和快捷,也更易于测试和验证。
苏罗辉郑小宁张超
关键词：操作系统任务管理
全选 清除 导出
共1页<1>
聚类工具0