Reusable Modeling Component Behavior Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Developers face challenges in reusing modeling components created in one modeling environment within another due to differences in behavior caused by feature enhancements or bug fixes, particularly in safety-critical applications where re-qualification is required, leading to inefficiencies and additional costs.
Innovation Solution
Implementing a comparison engine to determine if the behavior of a modeling component is comparable across different modeling environments, allowing for reuse without re-qualification by packaging components with design and numerical representations and monitoring equivalence or divergence, enabling developers to choose acceptable levels of divergence for continued use.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If a modeling component is reused in a different modeling environment, then productivity is improved, but reliability deteriorates due to behavior differences caused by feature enhancements or bug fixes
Solution Approach 1:
The patent performs preliminary comparison of component behaviors between different modeling environments before reuse is attempted. The comparison engine analyzes behavioral equivalence in advance, identifying potential issues before they affect production, allowing developers to proactively resolve compatibility problems.
Solution Approach 2:
The system implements a feedback mechanism where the comparison engine continuously monitors behavioral differences when components are moved between environments. This feedback loop provides information about behavior consistency, enabling developers to make informed decisions about whether reuse is safe or if re-qualification is needed.
2Reliability
If re-qualification is performed for safety-critical applications, then reliability is improved, but productivity deteriorates due to additional certification requirements
Solution Approach 1:
Instead of performing complete re-qualification for all component reuses, the system applies partial verification through the comparison engine. It performs targeted behavioral analysis only when necessary, based on the severity of detected differences and the criticality of the application, avoiding unnecessary full re-certification processes.
3Reliability
If behavioral comparison is performed across environments, then reliability is improved through behavior verification, but device complexity increases due to the comparison engine
Solution Approach 1:
The comparison engine serves as an intermediary tool that mediates between the component and the modeling environment. Rather than modifying the core component or environment, this intermediary performs the behavioral analysis, isolating the complexity to a dedicated tool rather than embedding it in the main systems.
Data Source
AI summary
In an embodiment, a modeling component generated in a first modeling environment can be implemented in a second modeling environment. The modeling component is executed in the first modeling environment. A first behavior of the modeling component in the first modeling environment is obtained based on the executing. The modeling component is then executed in the second modeling environment. A second behavior of the modeling component in the second modeling environment is obtained based on the executing the modeling component in the second modeling environment. The first behavior is compared to the second behavior. Based on the comparing, it is verified that the second behavior of the modeling component complies with one or more modeling requirements of the second modeling environment. The second behavior of the modeling component may be implemented in the second modeling environment.