Zynq平台的TTP/C总线控制器同步算法设计

为了保证TTP/C集群内各个节点之间时钟基准的一致性,设计了一种基于 Welch-lynch中值增量修正法的时钟同步算法,充分利用了Zynq芯片的可编程逻辑单元和程序处理单元,在自主设计的TTP/C总线控制器上对时钟同步算法进行实验。实验表明,所设计的时钟同步算法能够保证各个测试节点的时钟同步误差在±30μs范围内。     

Zynq平台的TTP/C总线控制器容错算法设计

在自主设计的TTP/C总线控制器中,充分利用Zynq芯片的可编程逻辑单元和程序处理单元,设计了一种基于成员关系协议(GMP)的容错算法,以快速检测与隔离总线集群中的故障节点.试验表明,所设计的容错算法能有效检测并隔离总线集群中的故障节点.     

TTP/C组籍算法存在的问题

TTP/C通信协议已经应用于一些航空航天与地铁系统中,例如,空客A380的舱压控制系统、波音787梦想客机的辅助电源系统、环境控制系统等。以往我们仅看到对这种协议种种好处的分析,这是不全面的,它的组籍算法是高可信赖性应用的基础,但是其故障假设不符合很多现场使用环境,故障假设失效的概率大于功能安全容许的指标,协议的CRC检验将组籍向量的差包含在内,弱化了检错能力,所以需要用户特别重视。本文就这两点加以说明。     

TTP/C协议的一致性机制研究

介绍了一种基于时间触发的面向容错分布式嵌入系统的通用构架TTA，以及目前TTA系统的主流协议TTP／C所提供的主要一致性机制，并提出了一种改进的状态确认算法。     

基于Zynq的TTP/C总线节点备份与再整合

TTP/C总线节点的备份与故障节点的再整合是提高总线可靠性与实用性的有效方法。参考 TTP/C 总线协议,在自主设计的基于Zynq的TTP/C总线控制器上设计了一种节点备份与再整合的方法,保证节点故障后可以重新整合进入集群,或者启用备份节点来保证集群的正常功能,最后通过试验验证了所设计的节点备份与再整合方法的有效性。     

基于Zynq的TTP/C分布式控制系统智能节点设计

TTP/C总线是一种基于时间触发的数据总线,具有严格的时间确定性和高度的通信可靠性.本文利用Zynq芯片的程序处理单元和逻辑处理单元,开发了一种高度集成的航空发动机分布式控制系统TTP/C智能节点.通过开展航空发动机分布式控制硬件在环试验,智能节点的通信可靠性和实时性以及节点的功能得到了验证,能够满足航空发动机分布式控制需求.     

网络时间协议实现分布式系统内时钟同步的原理分析

在某些关键应用中，分布式系统对系统内时钟的一致性要求是比较高的．网络时间协议作为一个Internet标准协议，可以作为分布式系统时钟同步的有效工具．本文介绍了网络时间协议的基本模型和体系结构，并着重分析了使用网络时间协议实现时钟同步的基本原理．     

ZG离线TTP公平非否认协议的一种新改进

针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。     

一种离线TTP公平非否认协议的安全性分析方法

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.     

基于μC/OS-II的通讯协议栈的设计方法

嵌入式开发已经向着嵌入式操作系统方向发展,网络功能对于嵌入式应用也显得日益重要。然而现有的嵌入式通讯协议并不能完全满足实际应用的需求,从头开始一个通讯协议的设计,必然要遇到定时器管理、响应时间控制、可移植性等一系列的问题。如果在现有的嵌入式操作系统上添加通讯功能,就可以利用操作系统提供的功能来实现通讯协议,从而使设计的复杂性大大降低,并减轻工作量。文中提出了一种在现有的嵌入式操作系统(RTOS)μC/OS-II上开发通讯协议栈的方法,并讨论了几个重要问题的实现方法。     

一种基于TTP的两方认证密钥交换协议

本文提出了一种适合大规模C2C通信环境的两方密钥交换TTP-TPAKE协议,协议中的每个通信实体和可信中心共享一个可记忆的口令,然后在该可信第三方的帮助下,每对通信实体生成他们的会话密钥。该协议只需四轮通信,不需棘手的公钥基础设施作为支撑,具有较高的计算和通信效率。在随机预言模型和理想密文系统下,形式化地证明了TTP-TPAKE协议具备AKE安全。     

Maximizing the Robustness of TDMA Networks with Applications to TTP/C

In this study we show how one can use Fault-Tolerant Units (FTU) in an optimal way to make a TDMA network robust to bursty random perturbations. We consider two possible objectives. If one wants to minimize the probability of losing all replicas of a given message, then the optimal policy is to spread the replicas over time. This is proved using convexity properties of the loss probability. On the contrary if one wants to minimize the probability of losing at least one replica, then the optimal solution is to group all replicas together. This is proved by using majorization techniques. Finally we show how these ideas can be adapted for the TTP/C protocol. Bruno Gaujal is a research director at INRIA Rhone-Alpes since 2003 where he is the leader of the group on large scale networks. He has held several positions in INRIA Sophia-Antipolis, Loria and ENS-Lyon before. His main interest are performance evaluation and control of discrete event dynamic systems. Nicolas Navet received the M.S. in Computer Science from the University of Berlin (Germany) in 1994 and the PhD in Computer Science from the University of Nancy in 1999. Before joining the INRIA (LORIA Lab.) in November 2000, he was research scientist at Gemplus Software. His research interests include scheduling theory, the design of communication protocols for real-time and fault-tolerant data transmission and probabilistic risk evaluation when transient faults may occur (for instance, due to electromagnetic interferences). More information on his work can be found at url http://www.loria.fr/~nnavet.     

C语言的交互式宏编辑技术

提高程序设计和编译效率是计算机科学的一个普遍性问题，本文介绍了将Ｃ语言的词法单位－标识定义为扩展键盘宏的方法，并讨论了交互式宏编辑技术在编程和编译方面的显著优点。     

基于处理分布的C／S计算模式的研究

如何合理有效地组织Ｃ／Ｓ应用系统中的各种逻辑成份,关系着整个系统的格局和性能。本文提出了一种构筑应用系统的思路,即从处理分布的角度来分析和研究各种计算方式的优缺点,进而采用合适的计算方式或结构。