Model Observer Isolation for Verification Without Behavior Alteration
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Verification and validation logic added to models can alter the execution behavior of components, making it difficult to accurately assess their original behavior and leading to inaccurate results.
Innovation Solution
The implementation of observers that operate in a separate verification space, isolated from the design space, allowing for the verification and validation of model components without affecting their execution behavior, by using observer port elements to access information from the design space while keeping verification space information private.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If verification and validation logic is added to models, then verification capability is improved, but execution behavior of components is altered
Solution Approach 1:
The patent divides the model into two separate spaces: a design space for the original model components and a verification space for validation logic. This segmentation allows verification logic to be isolated from the design model, preventing alteration of execution behavior while maintaining verification capability. The observer port elements provide controlled information flow between spaces.
Solution Approach 2:
The patent introduces observer port elements as intermediaries that allow the verification space to access information from the design space without direct connection. These intermediaries enable verification of execution behavior while maintaining isolation, so the verification logic cannot alter the original model's execution.
2Reliability
If verification logic is integrated into the model, then verification functionality is enhanced, but model complexity increases
Solution Approach 1:
The patent extracts verification logic from the design model by creating a separate verification space. The verification functionality is removed from the original model structure and placed in an isolated observer environment, reducing the complexity of the design model while maintaining verification capabilities.
Solution Approach 2:
By segmenting the model into design space and verification space, the patent separates verification functionality from the core model logic. This segmentation allows verification to be added without increasing the complexity of the original design model, as the two spaces operate independently.
3Measurement precision
If verification space is isolated from design space, then execution behavior is preserved, but information access becomes restricted
Solution Approach 1:
The patent uses observer port elements as intermediaries to provide controlled information access from the design space to the verification space. These intermediaries enable the verification space to observe and access necessary information while maintaining isolation, preventing unauthorized modification of the design model.
Solution Approach 2:
The patent implements local quality by providing information access selectively through observer port elements rather than full access. The verification space receives only the specific information needed for validation through these controlled interfaces, maintaining execution behavior preservation while enabling necessary information access.
Data Source
AI summary
Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.