利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

28 条记录 (耗时 0.033 秒)

    Verifying models for exceptional behavior
    11.
    发明授权
    Verifying models for exceptional behavior 有权
    验证模型的异常行为

    公开(公告)号：US09442701B1

    公开(公告)日：2016-09-13

    申请号：US12143308

    申请日：2008-06-20

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F9/44

    CPC分类号： G06F8/34 ,  G06F8/10 ,  G06F11/36 ,  G06F11/3604 ,  G06F17/50

    摘要： A computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or more instances of the language construct having the exceptional behavior; applying a modification to the one or more instances of the language construct having the exceptional behavior, the modification making the exceptional behavior explicit; analyzing the specification for dynamic occurrences of the explicit exceptional behavior; and generating information identifying the dynamic occurrences of the explicit exceptional behavior.

    摘要翻译： 计算机实现的方法可以包括接收包括语言构造的一个或多个实例的规范，所述语言构造具有异常行为; 在规范中识别具有异常行为的语言结构的一个或多个实例; 对具有异常行为的语言结构的一个或多个实例应用修改，修改使异常行为显式; 分析明确异常行为的动态发生规范; 并生成识别明确异常行为的动态发生的信息。

    Verification and validation system for a graphical model
    13.
    发明授权
    Verification and validation system for a graphical model 有权
    图形模型的验证和验证系统

    公开(公告)号：US08666709B1

    公开(公告)日：2014-03-04

    申请号：US13611968

    申请日：2012-09-12

    申请人： William J. Aldrich ,  Gregoire Hamon

    发明人： William J. Aldrich ,  Gregoire Hamon

    IPC分类号： G06F7/60 ,  G06F17/10 ,  G06F9/455 ,  G06F7/62

    CPC分类号： G06F17/5009 ,  G06F8/34 ,  G06F2217/04 ,  G06F2217/74

    摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

    摘要翻译： 图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。 在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

    System and method for identifying and reducing model complexities affecting model verification
    15.
    发明授权
    System and method for identifying and reducing model complexities affecting model verification 有权
    识别和减少影响模型验证的模型复杂性的系统和方法

    公开(公告)号：US08359183B1

    公开(公告)日：2013-01-22

    申请号：US12479540

    申请日：2009-06-05

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F7/60 ,  G06F17/10

    CPC分类号： G06F17/5022

    摘要： An embodiment includes a computer-readable media storing instructions that when executed on processing logic execute a process for reducing complexity. The media stores instructions for identifying data dependencies in a model having executable semantics, the data dependencies affecting verification of the model and for selecting a location in the model, the location having data dependencies with other locations in the model, the location to be verified when the model is verified. The media also stores instructions for detecting complexities in the model, the complexities related to the selected location and presenting information about a source for at least one of the complexities. The media further stores instructions for eliminating the source for the at least one of the complexities and for transforming the model into an updated model based on the eliminating, the updated model not including the source for the at least one of the complexities.

    摘要翻译： 实施例包括存储指令的计算机可读介质，当在处理逻辑上执行时执行用于降低复杂度的处理。 媒体存储用于识别具有可执行语义的模型中的数据依赖性的指令，影响模型验证的数据依赖性以及用于在模型中选择位置的位置，与模型中的其他位置具有数据依赖关系的位置，待验证的位置何时 该模型已验证。 媒体还存储用于检测模型中的复杂性的指令，与所选择的位置相关的复杂性以及呈现关于复杂性中的至少一个的源的信息。 所述媒体还存储用于消除所述至少一个所述复杂性的源的指令，并且基于所述更新的所述模型不包括所述至少一个所述复杂性的源来将所述模型变换为更新的模型。

    Reversed links from graphical diagram representation
    18.
    发明授权
    Reversed links from graphical diagram representation 有权
    从图形图表示反向链接

    公开(公告)号：US08046708B1

    公开(公告)日：2011-10-25

    申请号：US10637433

    申请日：2003-08-07

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F3/048

    CPC分类号： G06F3/0484 ,  G06F17/5022 ,  G06F17/504 ,  G06F17/505

    摘要： A method includes performing an analysis or synthesis operation on a graphical model representation, producing a report from the analysis or synthesis operation and generating associations representing elements of the graphical model representation with corresponding elements in the report and using these associations as a way to reposition viewer based on actions to the graphical model representation.

    摘要翻译： 一种方法包括对图形模型表示执行分析或合成操作，从分析或合成操作产生报告，并且通过报告中的相应元素生成表示图形模型表示元素的关联，并使用这些关联作为重新定位观察者的方式 基于对图形模型表示的动作。

    Verification and validation system for a graphical model
    19.
    发明授权
    Verification and validation system for a graphical model 有权
    图形模型的验证和验证系统

    公开(公告)号：US07941299B1

    公开(公告)日：2011-05-10

    申请号：US11970689

    申请日：2008-01-08

    申请人： William J. Aldrich ,  Gregoire Hamon

    发明人： William J. Aldrich ,  Gregoire Hamon

    IPC分类号： G06F17/50 ,  G06F7/60 ,  G06F9/44

    CPC分类号： G06F17/5009 ,  G06F8/34 ,  G06F2217/04 ,  G06F2217/74

    摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

    摘要翻译： 图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。 在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

    System and method for programmatically abstracting model components
    20.
    发明授权
    System and method for programmatically abstracting model components 有权

    公开(公告)号：US07558710B1

    公开(公告)日：2009-07-07

    申请号：US11296940

    申请日：2005-12-08

    申请人： William J. Aldrich

    发明人： William J. Aldrich

    IPC分类号： G06F7/60 ,  G06G7/48

    CPC分类号： G06F17/5045

    摘要： A systematic model transformation that replaces individual components of a model that are identified as incompatible with a type of analysis is discussed. The identified incompatible components are replaced with an alternative component or components that is/are simplified to support the analysis being performed. Each simplified component is composed of one or more primitive elements in a construct that approximates the original design behavior and supports the desired analysis technique. The result of the automated abstraction process is an updated model design that has the same fundamental structure as the original model design and can be executed in the same manner as the original model design. Each simplified component may have a configuration setting selectable by a user that enables it to revert to the form of the original component. The resulting updated model can be used to interactively investigate the abstraction and determine its validity and appropriateness.