发明公开
- 专利标题： 一种基于联锁规则的系统形式化模型处理方法
-
申请号： CN202211152126.1申请日： 2022-09-21
-
公开(公告)号： CN115543787A公开(公告)日： 2022-12-30
- 发明人: 陈虹 , 陈耀华 , 贾俊明 , 刘丽娟 , 张程 , 王燕芩 , 朱迎春 , 张铭瑶
- 申请人： 卡斯柯信号有限公司
- 申请人地址： 上海市静安区江场路1401弄21号1101室
- 专利权人： 卡斯柯信号有限公司
- 当前专利权人： 卡斯柯信号有限公司
- 当前专利权人地址： 上海市静安区江场路1401弄21号1101室
- 代理机构： 上海元好知识产权代理有限公司
- 代理商 张妍; 张静洁
- 主分类号： G06F11/36
- IPC分类号： G06F11/36
摘要：
一种基于联锁规则的系统形式化模型处理方法，构建联锁车站信号设备的自然语言的对象模型框架，根据基于联锁规则的自然语言的安全需求描述来完善对象模型，提取安全需求描述中的对象属性信息来填充对象模型框架，将自然语言对象模型转换为形式化语言的对象模型，将自然语言的安全需求描述转换为形式化语言的安全需求描述。本发明提高了形式化验证的有效性、灵活性、适用性和验证效率。
