Determining model components suitable for verification analysis

摘要

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.

主权项

1. A non-transitory computer-readable medium comprising program instructions, the program instructions when executed by a processing element operable to:
receive a model, the model having executable semantics and including a plurality of hierarchically arranged model components; analyze the model to identify the model components that are analyzable by a type of model analysis to be performed on the model; identify automatically, based on the analysis of the model, a largest group of model components that are analyzable by the type of model analysis; and perform the type of model analysis on the identified group of model components, wherein a given model component is deemed to be compatible with the type of model analysis when performance of the type of model analysis on the given model component satisfies a completion threshold.