技术编号：10489214
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。列车运行控制系统是安全相关的系统，其模型的正确性和安全性直接关系到人民生命财产的安全。根据CLENLIC-EN50128的要求，其安全完整性等级需要达到SIL4级要求。传统的系统开发方法往往通过测试来验证系统的功能需求，但并不能百分百保证功能实现的正确性，更无法保证其安全需求也得到满足。而形式化开发和验证的方法就可以解决这样的困难，因此形式化方法正在逐步的受到各信号厂商和业主的重视。对于目前已有的形式化建模和验证方法，基本都是将带验证的功能需求或安全需求直...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。