技术编号：32799916
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。.本发明涉及计算机联锁系统技术领域，更具体地说涉及一种用于联锁软件形式化验证的系统模型构建方法。背景技术.计算机联锁系统是保障行车安全的复杂安全苛求系统，对联锁系统进行有效的分析、验证和测试是非常必要的，形式化方法以其严密的数学理论和严谨的语义定义特点，受到了诸多安全相关行业的青睐。.随着形式化方法在铁路系统中的应用，联锁系统中引入形式化验证也成为必然趋势。构建计算机联锁系统的形式化系统模型是进行联锁软件形式化开发、验证和测试的基础，模型的准确性将直接影响形式化验证和测试的结果。如何构建联...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。