原文传递
基于STeC的列控系统的建模与验证
| 论文题名： | 基于STeC的列控系统的建模与验证 |
| 关键词： | 列控系统;信息物理融合系统;Simulink仿真;智能交通 |
| 摘要： | 随着嵌入式、计算机和网络技术快速发展，人类对于相关产品的依赖逐渐增强。在此需求下，信息物理融合系统(CPS, Cyber P hysical Systems)应运而生，各国学术界和商业界都引起高度重视。CP S的典型应用包括：智能交通、生物医疗以及自主运算等领域。CP S应用对安全性的要求很高，保证智能体的时间、空间一致性是其研究领域的一大热点。针对该类系统的时空一致性，运用实时系统规范语言STeC进行建模，并在系统设计的需求层面验证系统的正确性。 论文对列车晚点问题进行深入研究，针对不同晚点类型问题研究相应的不停车超车策略。主要研究工作包括以下几点： 1，针对智能交通领域中的两种典型晚点类型，设计不同的不停车超车策略，代入实例数据测试验证策略的正确性和实用性。 2，运用ST eC语言对CPS(列控系统)建模，通过形式化描述两种晚点类型的不停车超车策略，使用STeC工具验证其描述的逻辑正确性以及时空一致性。 3，针对不同实例，通过STeC至Stateflow状态迁移系统的转换，使用Matlab将以上两种策略进行Simulink仿真，验证系统的安全性，并分析其是否满足实际应用的工程需求。 4，最后本文设计了 T rainP assI DE工具，用户通过输入不同的列车参数，模拟不同场景下的不停车超车情形，并且该工具通过调用本文设计的策略公式，给出相应结果。 |
| 作者： | 周慧英 |
| 专业： | 软件工程 |
| 导师： | 杨静 |
| 授予学位： | 硕士 |
| 授予学位单位： | 贵州大学 |
| 学位年度： | 2016 |
| 正文语种： | 中文 |
检索历史
应用推荐
