题目：列车网控系统可信性举证研究

随着信息技术的快速发展，网络化的计算机系统在各行各业中发挥越来越重要的作用。人们对这类复杂系统的可信性要求逐步提高。如何评估，保证并清晰表明这类系统的可信性是一个值得关注的问题。在中国铁路事业高速发展，同时地铁、动车、高铁大小事故频发的背景下，本文利用可信性举证方法，对关键的列车网络控制系统（TCMS）的可信性进行研究。结合列车网络控制系统特点，提出其可信性举证构建方法，与通用的举证评估方法。 本文首先对可信性概念，举证方法进行了研究，对列车网络控制系统特点进行分析；在此基础之上，针对列车网络控制系统特点，选用可信性偏差分析法（DDA）与GSN模块化开发技术作为基础，提出适合列车网络控制系统的举证构建方法并进行应用；之后，借鉴非形式逻辑学领域的Toulmin模型与Hitchcock论证评价标准的相关研究成果，利用贝叶斯网络作为工具，提出了一个量化的举证评估的方法，并将该方法框架应用于列车网络控制系统的可信性举证；最后，为了更好地完善本文所提出的举证构建与评估方法，提出了未来的工作研究方向。