原文传递
用于验证控制/指令系统的方法以及能够通过该方法验证的控制/指令系统
| 专利名称： | 用于验证控制/指令系统的方法以及能够通过该方法验证的控制/指令系统 |
| 摘要： | 系统包括：管理模块(13)，代表外部事件(en)的接通-断开输 入(11)，和指令外部执行机构(4，5)的接通-断开输出(17)；自 动模块(15)，用于响应于所述事件(en)执行作用于输出(17)的 预定任务(n)，在给定时刻(Ti)的输入(11)和输出(17)状态的 集合是系统(3)的瞬时全局状态(Fi)，在执行任务(n)的结尾达到 的输入(11)和输出(17)的状态的集合是系统(3)的已稳定的全局 状态(ESj)。管理模块(13)仅当没有正在执行对应于另一个事件(en-1) 的任务(n-1)时才授权(20)执行对应于任何外部事件(en)的任务 (n)，并且自动模块(15)的动作仅导致有限数目的全局状态(Fi)。 |
| 专利类型： | 发明专利 |
| 申请人： | 法国国家铁路公司 |
| 发明人： | 纳迪娅·阿默德;马克·安东尼;帕特里克·马纳特 |
| 专利状态： | 有效 |
| 申请日期： | 2007-06-14T00:00:00+0800 |
| 发布日期： | 2019-01-01T00:00:00+0800 |
| 申请号： | CN200780030422.1 |
| 公开号： | CN101506746 |
| 代理机构： | 中原信达知识产权代理有限责任公司 |
| 代理人： | 张焕生;安 翔 |
| 分类号： | G05B19/045(2006.01)I |
| 申请人地址： | 法国巴黎 |
| 主权项： | 1. 一种用于验证工业过程的控制/指令实时系统(3)的方法，所 述实时系统(3)包括：输入(11)，所述输入的状态改变代表外部事 件(en)；输出(17)，用于指令外部执行机构(4，5)；以及自动模 块(15)，被布置成响应于所述事件(en)而执行任务(n)并且通过 所述输出(11)作用于所述执行机构(4，5)；输入和输出状态的集 合在给定的时刻是所述系统(3)的瞬时全局状态(Fi)，在执行任务 (n)的结束时所获得的输入和输出状态的所述集合是所述系统(3) 的已稳定的全局状态(ESj)，所述验证方法包括以下步骤： ---建立所担忧的事件(FXj)的列表； ---通过互补性推断所述自动模块的实质功能； ---建立所述执行机构(4，5)的运行特征的列表； ---定义所述系统的初始已稳定的全局状态(ESj)； ---从所述初始已稳定的全局状态(ESj)模拟单个外部事件(en)， 以便获得作为结果的已稳定的全局状态(ESj+1)，以及 ---事件(en+1)接事件(en)地进行所述模拟，用于已稳定的全 局状态(ESj+1)接已稳定的全局状态(ESj)地获得已经被模拟的已 稳定的全局状态。 |
| 所属类别： | 发明专利 |
检索历史
应用推荐
