- 1
- 2
- 3
- 4
- 5
基于TSSM的城市轨道交通CBTC区域控制器建模与验证
资料介绍
针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.
部分文件列表
文件名 | 大小 |
基于TSSM的城市轨道交通CBTC区域控制器建模与验证.pdf | 1001K |
最新上传
-
21ic小能手 打赏10.00元 3天前
资料:四层无人机飞控打板文件
-
21ic小能手 打赏5.00元 3天前
资料:AD通用3D封装库
-
21ic小能手 打赏5.00元 3天前
资料:DeepSeek使用教程
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏15.00元 3天前
-
sd-hyc 打赏1.00元 3天前
资料:神州易刻2024最新版
-
柏涵 打赏1.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户:jh0355
-
21ic下载 打赏310.00元 3天前
用户:w178191520
-
21ic下载 打赏210.00元 3天前
用户:gsy幸运
-
21ic下载 打赏210.00元 3天前
用户:zhengdai
-
21ic下载 打赏210.00元 3天前
用户:jh03551
-
21ic下载 打赏110.00元 3天前
用户:liqiang9090
-
21ic下载 打赏60.00元 3天前
用户:sun2152
-
21ic下载 打赏60.00元 3天前
用户:xuzhen1
-
21ic下载 打赏80.00元 3天前
用户:xzxbybd
-
21ic下载 打赏25.00元 3天前
用户:WK520077778
-
21ic下载 打赏20.00元 3天前
用户:w1966891335
-
21ic下载 打赏20.00元 3天前
用户:铁蛋锅
-
21ic下载 打赏20.00元 3天前
用户:玉落彼岸
-
21ic下载 打赏15.00元 3天前
用户:kk1957135547
-
21ic下载 打赏10.00元 3天前
用户:zpf22332
-
21ic下载 打赏5.00元 3天前
用户:pangpidan
-
21ic下载 打赏5.00元 3天前
用户:hpxny
-
21ic下载 打赏5.00元 3天前
用户:pandq2009
-
21ic下载 打赏5.00元 3天前
用户:tomp
-
21ic下载 打赏310.00元 3天前
用户:小猫做电路
-
21ic子站宣传员 打赏15.00元 3天前
-
106982800 打赏1.00元 3天前
-
llyy232008 打赏3.00元 3天前
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料:温控制冷箱单片机程序
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏20.00元 3天前
全部评论(0)