基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
基本信息
结项摘要
CTCS-3/4是我国时速350公里以上高速列车运行控制系统规范。本项目拟将已有项目"基于计算机代数的嵌入式软件分析与验证方法及工具"的成果应用于CTCS-3/4的分析与验证。拟采用我国学者在通信顺序进程基础上设计的HCSP来建立CTCS-3/4共14个场景的形式模型，并用上述项目开发的系统可达性和程序终止性分析、不变式生成方法以及自创的计算机代数工具DISCOVERER，对CTCS-3/4重要场景的重要特性进行分析验证。本项目密切结合国民经济也合乎计算机科学发展趋势。列车控制系统是一种信息物理融合系统，CPS是当今计算机科学研究热点。本项目应用我国学者建立的方法和工具对CTCS进行分析验证，其成果也将是对CPS研究热潮的一份贡献。可行性方面：我们有充分的前期研究；CTCS-3/4已公开发表；另外欧美学者在略去并发和通信的前提下已对欧洲高速列车控制系统ETCS作了部分分析与验证，可供借鉴。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
Efficient photocatalytic degradation of organic dyes and reaction mechanism with Ag2CO3/Bi2O2CO3 photocatalyst under visible light irradiation
Efficient photocatalytic degradation of organic dyes and reaction mechanism with Ag2CO3/Bi2O2CO3 photocatalyst under visible light irradiation
基于 Kronecker 压缩感知的宽带 MIMO 雷达高分辨三维成像
基于 Kronecker 压缩感知的宽带 MIMO 雷达高分辨三维成像
Engineering Leaf-Like UiO-66-SO_3H Membranes for Selective Transport of Cations
Engineering Leaf-Like UiO-66-SO_3H Membranes for Selective Transport of Cations
The Role of Osteokines in Sarcopenia: Therapeutic Directions and Application Prospects
The Role of Osteokines in Sarcopenia: Therapeutic Directions and Application Prospects
杨路的其他基金
相似国自然基金
基于计算机代数的嵌入式软件分析与验证方法及工具
列车运行控制系统的仿真理论与方法
列车运行控制系统的安全定位方法研究
高速列车运行条件下轮对轴承的故障行为分析与表征方法研究