Abstract: Systems and methods establish, activate, and deactivate variant choices within an acausal physical component model of a physical system. The systems and methods utilize variant connector blocks to establish cut points in a physical network defined by the physical model. The cut points may be programmatically controlled to activate and/or deactivate a variant choice. The variant connector blocks may include internal connections that may be programmatically controlled to be either open or closed in order to cut or include a variant choice in the acausal physical component model. Variant conditions or labels may be associated with the internal connections, and the systems and methods may evaluate the variant conditions and/or examine the labels to determine whether the internal connections are open or closed.

Abstract: A solver may generate a system of equations for an acausal model. A partitioning engine may transform at least some of the equations into groups of equations whose inputs/outputs are connected directly. The partitioning engine may transform at least some of the equations into groups of linear equations and/or groups of switched linear equations that are connected through nonlinear functions. The solver may determine input-output relationships of the groups of equations. A simulation model generator that may include a library of types of model elements may construct a causal simulation model.

Abstract: Systems and methods for coverage analysis using context information are described. The systems and methods can be used to obtain program code and test information for testing the program code, the test information associated with context information for providing context for testing the program code. Coverage information can be generated by testing the program code according to the test information. A first association can be generated between the context information and the test information. A second association can be generated between the context information and the program code. A third association can be generated between the coverage information and the test information. A subset of the coverage information can be determined based on the third association and a fourth association between the test information and the program code determined based on the first and second associations. An indication of the subset of the coverage information can be displayed.

Abstract: Systems and methods for syntactical change-resistant code generation are described. A code generator can generate syntactical change-resistant code from original code and new code, where the new code may be intended as a replacement or update for the original code. The code generator can determine, for code portions and/or sub-portions of the new code, whether or not semantic, syntactic, and structural differences from the original code exist. The code generator can generate the syntactical change-resistant code to leverage and include in the syntactical change-resistant code portions and sub-portions of the original code that have been used and tested, so as to improve reliability of the syntactical change-resistant code.

Abstract: Systems and methods for syntactical change-resistant code generation are described. A code generator can generate syntactical change-resistant code from original code and new code, where the new code may be intended as a replacement or update for the original code. The code generator can determine, for code portions and/or sub-portions of the new code, whether or not semantic, syntactic, and structural differences from the original code exist. The code generator can generate the syntactical change-resistant code to leverage and include in the syntactical change-resistant code portions and sub-portions of the original code that have been used and tested, so as to improve reliability of the syntactical change-resistant code.

Abstract: Systems and methods for coverage analysis using context information are described. The systems and methods can be used to obtain program code and test information for testing the program code, the test information associated with context information for providing context for testing the program code. Coverage information can be generated by testing the program code according to the test information. A first association can be generated between the context information and the test information. A second association can be generated between the context information and the program code. A third association can be generated between the coverage information and the test information. A subset of the coverage information can be determined based on the third association and a fourth association between the test information and the program code determined based on the first and second associations. An indication of the subset of the coverage information can be displayed.

Abstract: Embodiments include techniques for estimating unknown or missing values for parameters of a motor based on high-level motor information and using the estimated parametric values in generating an executable model for modeling the behavior of the motor. An aspect of the techniques involves assumptions used to establish the predetermined parametric values that are applied to the algorithm for deriving estimates of the unknown parametric values for the motor. The estimated parametric values may then be used in the executable model of the motor to enable development and simulation of a plant (e.g., a closed loop system) including a plant model having a dynamic controller model and a lumped parameter model of a modeling environment of a technical computing environment executing on a data processing system. The simulation of the plant loop can be sufficient to test the dynamic (e.g., feedback-based) controller within a closed loop system, e.g., test motion control of a motorized vehicle seat.

Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.

Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.

Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.

Abstract: A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.