[发明专利]三模型体系的列车运行控制系统形式化建模及验证方法在审
| 申请号： | 201610159955.0 | 申请日： | 2016-03-21 |
| 公开（公告）号： | CN105844091A | 公开（公告）日： | 2016-08-10 |
| 发明（设计）人： | 周庭梁;刘静;罗娟;陈祥;左辉;陈小红 | 申请（专利权）人： | 卡斯柯信号有限公司 |
| 主分类号： | G06F19/00 | 分类号： | G06F19/00 |
| 代理公司： | 上海科盛知识产权代理有限公司 31225 | 代理人： | 应小波 |
| 地址： | 200070 上海市闸北区*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种三模型体系的列车运行控制系统形式化建模及验证方法，包括：构建描述待验证模型的系统模型，描述对系统模型中输入变量限制的环境模型以及描述系统所需满足的安全需求和功能需求的验证模型；所述的验证模型调用系统模型，验证模型中所有待验证的需求共同影响环境模型的内容，并通过环境配置矩阵为每条待验证的需求配置环境信息；所述的环境模型模拟系统与外界的交互，描述系统输入变量需满足的关系，并将外界的影响反馈给系统模型。与现有技术相比，本发明具有提高了系统的安全性和可维护性等优点。 | ||
| 搜索关键词： | 模型 体系 列车 运行 控制系统 形式化 建模 验证 方法 | ||
【主权项】：
一种三模型体系的列车运行控制系统形式化建模及验证方法，其特征在于，包括：构建描述待验证模型的系统模型，描述对系统模型中输入变量限制的环境模型以及描述系统所需满足的安全需求和功能需求的验证模型；所述的验证模型调用系统模型，验证模型中所有待验证的需求共同影响环境模型的内容，并通过环境配置矩阵为每条待验证的需求配置环境信息；所述的环境模型模拟系统与外界的交互，描述系统输入变量需满足的关系，并将外界的影响反馈给系统模型。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于卡斯柯信号有限公司，未经卡斯柯信号有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610159955.0/，转载请声明来源钻瓜专利网。
- 上一篇：一次性痰液收集袋
- 下一篇：通用型临床试验电子数据获取系统和获取方法
- 同类专利
- 专利分类
G06 计算；推算；计数
G06F 电数字数据处理
G06F19-00 专门适用于特定应用的数字计算或数据处理的设备或方法
G06F19-10 .生物信息学，即计算分子生物学中的遗传或蛋白质相关的数据处理方法或系统
G06F19-12 ..用于系统生物学的建模或仿真，例如：概率模型或动态模型，遗传基因管理网络，蛋白质交互作用网络或新陈代谢作用网络
G06F19-14 ..用于发展或进化的，例如：进化的保存区域决定或进化树结构
G06F19-16 ..用于分子结构的，例如：结构排序，结构或功能关系，蛋白质折叠，结构域拓扑，用结构数据的药靶，涉及二维或三维结构的
G06F19-18 ..用于功能性基因组学或蛋白质组学的，例如：基因型–表型关联，不均衡连接，种群遗传学，结合位置鉴定，变异发生，基因型或染色体组的注释，蛋白质相互作用或蛋白质核酸的相互作用
G06F 电数字数据处理
G06F19-00 专门适用于特定应用的数字计算或数据处理的设备或方法
G06F19-10 .生物信息学，即计算分子生物学中的遗传或蛋白质相关的数据处理方法或系统
G06F19-12 ..用于系统生物学的建模或仿真，例如：概率模型或动态模型，遗传基因管理网络，蛋白质交互作用网络或新陈代谢作用网络
G06F19-14 ..用于发展或进化的，例如：进化的保存区域决定或进化树结构
G06F19-16 ..用于分子结构的，例如：结构排序，结构或功能关系，蛋白质折叠，结构域拓扑，用结构数据的药靶，涉及二维或三维结构的
G06F19-18 ..用于功能性基因组学或蛋白质组学的，例如：基因型–表型关联，不均衡连接，种群遗传学，结合位置鉴定，变异发生，基因型或染色体组的注释，蛋白质相互作用或蛋白质核酸的相互作用
