公开(公告)号：US20110295578A1

公开(公告)日：2011-12-01

申请号：US13117936

申请日：2011-05-27

申请人： William James Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

发明人： William James Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC分类号： G06G7/48

CPC分类号： G06F11/3664 ,  G06F8/10 ,  G06F8/34 ,  G06F11/3608

摘要： A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

摘要翻译： 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。