| 摘要 |
A device may obtain a model. The model, when executed, may simulate a behavior of a physical system. A user, such as, for example, an engineer, may specify a design interest for the model. The design interest may be associated with a particular behavior of a portion of the model. The device may analyze the model based on the design interest and may determine, based on analyzing the model, a group of model elements, included in the model, that are related to the design interest. The device may generate, based on the group of model elements, a model slice. When the model slice is executed, a behavior of the model slice may correspond to the particular behavior of the portion of the model. The device may analyze the particular behavior of the portion of the model based on executing the model slice. |
