| 时间触发总线验证技术研究 |
| |
| 引用本文： | 陈长胜,刘智武,王晨博,刘洋.时间触发总线验证技术研究[J].应用声学,2017,25(4). |
| |
| 作者姓名： | 陈长胜 刘智武 王晨博 刘洋 |
| |
| 作者单位： | 中航工业西安航空计算技术研究所,中航工业西安航空计算技术研究所,中航工业西安航空计算技术研究所,中航工业西安航空计算技术研究所 |
| |
| 摘 要： | TTP协议定义了一种高确定性,无冲突,高安全的通信总线,能够满足包括飞行控制等的安全关键实时控制系统的应用要求。时间触发总线验证技术根据TTP协议规范要求,针对研制的节点进行测试,包括基本通信测试、时钟同步、故障注入等不同的测试场景,充分验证被测节点的各项功能、性能。通过这些测试,表明被测节点各项指标都满足研制需求,可用于安全关键实时控制系统。
|
| 关 键 词： | 安全关键 时间触发总线 协议验证 |
| 收稿时间： | 2017/1/17 0:00:00 |
| 修稿时间： | 2017/2/9 0:00:00 |
Research on Verification of Time Triggered Protocol |
| |
| Liu Zhiwu,Wang Chenbo and Liu Yang.Research on Verification of Time Triggered Protocol[J].Applied Acoustics,2017,25(4). |
| |
| Authors: | Liu Zhiwu Wang Chenbo and Liu Yang |
| |
| Abstract: | Time-triggered Protocol (TTP) defines a communication bus with high determinism, conflict-free and high safety, and it could meet the communication requirements of safety-critical real-time control systems such as flight control system. Verification of TTP is based on the demands of the protocol, designed test methods and procedures including basic communication, synchronization and fault injection to verify the functions and performance of TTP node under test. Through the tests, the TTP node is verified that it meets the requirements and it could be used in safety-critical real-time control systems. |
| |
| Keywords: | safety-critical time-triggered protocol protocol verification |
|
| 点击此处可从《应用声学》浏览原始摘要信息 |
| 点击此处可从《应用声学》下载免费的PDF全文 |
|
