-
题名基于时间触发的高可靠性实时系统架构
被引量：9
- 1
-
-
作者
郭丽娟
刘双与
张激
-
机构
华东计算技术研究所
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第4期272-274,共3页
-
文摘
时间触发架构(TTA)为设计和实现高可靠性分布式嵌入式系统提供了软件和硬件的模型。在TTA系统中,全局时基和各种接口的精确定义,简化了节点间通信,保障了实时应用时限和错误检测。该文描述了TTA模型和TTA设计原则,并提出了基于TTA简单的车载节点模型。
-
关键词
时间触发架构
时间触发协议
全局时基
-
Keywords
Time-triggered architecture （TTA）
TTP
Global time base
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时间触发机制的实时通信架构研究与设计
被引量：1
- 2
-
-
作者
蒋笑寒
李牧
孙思杰
冯逸骏
-
机构
北京航空航天大学中法工程师学院
北京工业大学樊恭烋学院
北京航空航天大学宇航学院
-
出处
《计算机工程与设计》
北大核心
2020年第4期945-951,共7页
-
文摘
为解决多核架构分布式系统的硬实时问题,在Barrelfish基础框架上设计并实现一个时间触发实时操作系统的消息通信服务,使其可应用于SMP系统、NoC网络和其它支持时间触发的网络中。为解决Multikernel无法使用并行多线程的缺点,提出一种基于Barrelfish的动态SMP子系统,减少整个系统内独立分区的数目,降低系统设计和调度的难度,使实时应用可在Multikernel架构上充分利用硬件并行能力,设计相应的消息调度表生成算法。实验结果表明了该通信框架的可行性。
-
关键词
时间触发架构
消息框架
消息调度算法
动态对称多核处理
并行计算
-
Keywords
time-triggered architecture
message-passing framework
message schedule algorithm
dynamic SMP subsystem
parallel computing
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于分级容错技术的高完整计算机系统设计
被引量：5
- 3
-
-
作者
解文涛
王锐
-
机构
中国航空计算技术研究所
-
出处
《电光与控制》
CSCD
北大核心
2019年第10期106-110,共5页
-
文摘
对国内外三代机、四代机及民机中的机载安全性关键系统发展情况进行深入分析,总结了多通道表决、比较对故障静默等典型容错计算机架构的技术特点,围绕新一代飞机对机载安全关键计算机系统的可靠性、容错能力、故障检测隔离能力、实时性的新挑战,提出了基于分级容错技术实现的高完整计算机系统设计思路,描述了分层分级实现高完整性容错的设计原理,并对其所涉及的Lock-step技术、时间触发网络等关键技术给出了解决途径,可满足下一代飞行器的发展需要,提升机载安全关键计算机系统的安全性、可靠性。
-
关键词
飞行控制系统
安全性关键系统
容错
锁步
时间触发架构
-
Keywords
flight control system
safety-critical system
fault tolerance
Lock-step
time-triggered architecture
-
分类号
TP302.8
[自动化与计算机技术—计算机系统结构]
-
