- 1
- 2
- 3
- 4
- 5
面向车车通信的安全计算机时间约束性分析验证
资料介绍
为适应基于通信的列车运行控制(CBTC, communication based train control)系统从车地模式向车车通信模式发展的趋势,针对多周期性应用并发的车载安全计算机的时间约束性,提出了基于时间Petri网的安全计算机时间约束性验证方法。以车载2乘2取2安全计算机为例,通过分析安全计算机多周期应用的并发性质,采用时间Petri网(TPN, time Petri net)推算其时间可调度区间,并在此基础上进行实例分析。分析和验证结果表明,在单核主频1GHz的条件下,车载安全计算机能满足3个以上周期性安全关键应用的时间约束性,表明TPN在验证和评估安全计算机中周期性应用的时间约束性方面的有效性。
部分文件列表
| 文件名 | 大小 |
| 面向车车通信的安全计算机时间约束性分析验证.pdf | 1M |
最新上传
- 打赏
- 30日榜单
-
21ic下载 打赏310.00元 2天前
用户：w178191520
-
21ic下载 打赏310.00元 2天前
用户：小猫做电路
-
21ic下载 打赏310.00元 2天前
用户：zhengdai
-
21ic下载 打赏210.00元 2天前
用户：gsy幸运
-
21ic下载 打赏230.00元 2天前
用户：jh0355
-
21ic下载 打赏260.00元 2天前
用户：xzxbybd
-
21ic下载 打赏70.00元 2天前
用户：jh03551
-
21ic下载 打赏60.00元 2天前
用户：sun2152
-
21ic下载 打赏80.00元 2天前
用户：铁蛋锅
-
21ic下载 打赏60.00元 2天前
用户：xuzhen1
-
21ic下载 打赏60.00元 2天前
用户：liqiang9090
-
21ic下载 打赏30.00元 2天前
用户：wangcunxia
-
21ic下载 打赏20.00元 2天前
用户：玉落彼岸
-
21ic下载 打赏15.00元 2天前
用户：kk1957135547
-
21ic下载 打赏15.00元 2天前
用户：w993263495
-
21ic下载 打赏15.00元 2天前
用户：x15580286248
-
21ic下载 打赏15.00元 2天前
用户：w1966891335
-
21ic下载 打赏15.00元 2天前
用户：hp860629
-
21ic下载 打赏10.00元 2天前
用户：staven630
-
21ic下载 打赏10.00元 2天前
用户：我觉得八行
-
21ic下载 打赏10.00元 2天前
用户：曾多次
-
21ic下载 打赏10.00元 2天前
用户：272586851
-
21ic下载 打赏10.00元 2天前
用户：熄欲
-
SYFSSYYFF 打赏3.00元 3天前
-
我是蒙帆 打赏1.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：w178191520
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏210.00元 3天前
用户：zhengdai
-
21ic下载 打赏210.00元 3天前
用户：jh0355
-
21ic下载 打赏210.00元 3天前
用户：jh03551
-
21ic下载 打赏210.00元 3天前
用户：xzxbybd
-
21ic下载 打赏70.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏60.00元 3天前
用户：sun2152
-
21ic下载 打赏60.00元 3天前
用户：xuzhen1
-
21ic下载 打赏60.00元 3天前
用户：liqiang9090
全部评论(0)