基于SCADE的计算机联锁系统建模与验证的开题报告.docx

基于SCADE的计算机联锁系统建模与验证的开题报告
一、选题背景
计算机联锁系统是一种重要的铁路信号控制设备，其负责监测和控制铁路信号系统及其相关设备的运行，对于确保列车安全和信号系统的可靠性具有关键作用。与传统的电气机械系统不同的是，计算机联锁系统采用了数字化技术，其设计、建模、验证等全过程需要借助计算机辅助技术。
SCADE是一种广泛应用于计算机联锁系统设计、建模与验证的软件工具。基于SCADE对计算机联锁系统进行建模与验证，可以有效提升信号系统的可靠性，具有重要的实际应用价值。
二、研究目的
本研究将基于SCADE软件，对计算机联锁系统进行建模与验证，目的在于：
1.探究SCADE在计算机联锁系统建模与验证中的应用特点，研究其在此领域的优势和不足；
2.运用SCADE对计算机联锁系统进行建模，构建完整且可信的系统模型，使模型能够精确反映实际的信号系统运作过程；
3.在模型构建完成后，针对系统中可能存在的安全隐患及性能缺陷等方面进行验证，保障所建模型的正常运行。
三、研究方法
1.文献调研：在建模与验证领域进行广泛的文献调研，了解计算机联锁系统建模、验证等方面已有的研究成果。
2.系统建模：应用SCADE软件对计算机联锁系统进行建模，根据铁路信号系统的逻辑结构和运行过程，构建系统模型。
3.模型验证：对建立的系统模型进行系统测试和性能评估，验证其能否有效地控制信号系统的运行，确保其能够满足各种实际工作环境下的要求。
四、研究意义
本研究在于深入探究SCADE在计算机联锁系统建模与验证方面的应用，进行系统的建模与验证，可以有效提升信号系统的可靠性，保障列车安全和信号系统正常运行。同时，本研究对于计算机联锁系统的设计、建模和验证等方面将起到指导作用，具有较高的实际应用价值。
五、预期成果
本研究预计将通过对计算机联锁系统的建模和验证，构建出较为可靠的系统模型，并明确建模过程中使用SCADE软件的特点、优劣以及应用前景等方面，对信号系统的研究和设计有所推动。
六、进度安排
1.文献调研：2021.12-2022.1;
2.SCADE建模：2022.2-2022.5;
3.模型验证：2022.6-2022.9;
4.撰写论文：2022.10-2022.12。
七、参考文献
1.王丽萍.计算机联锁系统的SCADE建模方法研究[D].沈阳:沈阳铁道大学,2016.
2.刘韫.铁路计算机联锁系统建模及应用研究[D].合肥:中国科学技术大学,2017.
3.张闫,周秀娥.关于计算机联锁系统建模及验证的研究[J].西部交通科技,2019(9):148-150.
4.黄刚,李平.可编程铁路信号系统建模与验证技术[J].控制与决策,2017(7):1213-1220.