基于SCADE的CBTC联锁建模与验证的中期报告.docx

基于SCADE的CBTC联锁建模与验证的中期报告
1.概述
本文介绍基于SCADE的CBTC联锁建模与验证的中期进展情况。本项目旨在开发一套基于SCADE的CBTC联锁系统建模与验证工具，并通过对地铁车站进行模拟测试，验证系统的正确性和可靠性。
2.工作内容
本阶段的工作主要包括：
（1）进一步完善联锁系统建模，包括涉及车站的场景建模和状态机建模，并对系统进行分析和优化；
（2）实现联锁系统验证相关功能，包括输入输出变量监控、仿真功能实现、测试覆盖率统计等；
（3）对地铁车站进行模拟测试，并对测试结果进行分析和归纳整理。
3.完善联锁系统建模
本阶段，我们对系统建模进行了进一步细化，包括场景建模和状态机建模两个层次。在场景建模方面，我们逐步完善了车站各个功能区域的场景模型，包括进站口、检票口、安检口、站台区等。在状态机建模方面，我们通过对系统功能的全面理解和分析，逐渐完善了联锁系统的状态机模型，并对系统进行优化。
4.实现联锁系统验证相关功能
我们在此阶段完成了联锁系统验证相关功能的实现，包括输入输出变量监控、仿真功能实现、测试覆盖率统计等。通过对这些功能进行实现，我们能够更好地监控联锁系统的输入输出变量，并进行全面的仿真测试，以获得更加准确、全面的测试结果。
5.对地铁车站进行模拟测试
在本阶段，我们对地铁车站进行了模拟测试，并对测试结果进行了分析和归纳整理。测试覆盖范围包括车站进出站联锁、通信联锁、列车运行联锁、信号联锁等。测试结果表明，所开发的联锁建模与验证工具能够正确地模拟和验证城市轨道交通的各个方面的联锁系统的正确性和可靠性。
6.下一步工作
下一步，我们将进一步完善联锁系统建模和验证工具的功能，扩大测试覆盖面，包括不同车站类型和不同联锁系统类型的测试，并对测试结果进行进一步的分析和评估。同时，我们将根据测试结果的分析和反馈，对联锁系统进行优化和改进，以提高联锁系统的正确性和可靠性。