Display Arbitration Control Model Generation for Specification Validation
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
The complexity of display arbitration control increases exponentially with the number of contents, making it difficult to evaluate and ensure that specifications are correctly executed, leading to potential contradictions and failures that are only detected late in the software development process.
Innovation Solution
An evaluation apparatus and generation apparatus that model display arbitration control using a rule-based arbitration specification model, generating a rule definition file and comprehensive test patterns to simulate and validate the display of content in specific areas, allowing for early detection and correction of specification failures.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If the number of contents to be displayed increases, then the diversity and functionality of the display system is improved, but the complexity of display arbitration control increases exponentially
Solution Approach 1:
The patent segments the display arbitration control into modular components: content information management, area information management, and arbitration logic. Each content and display area is treated as an independent entity with defined attributes, allowing the system to handle multiple contents without exponential complexity growth through structured organization.
Solution Approach 2:
The patent introduces parameter-based arbitration where contents and display areas are characterized by specific parameters (content attributes, area attributes, priority levels). The arbitration control operates by comparing these parameters rather than managing complex relationships, transforming the problem from relationship management to parameter comparison which scales linearly rather than exponentially.
2Reliability
If traditional matrix or state transition methods are used to define display arbitration specifications, then the specification can be defined, but the complexity increases exponentially with the number of contents
Solution Approach 1:
The patent creates abstract templates for content information and area information that can be copied and instantiated multiple times. Instead of defining unique rules for each content combination, the system uses reusable information structures with standardized fields, allowing specifications to be defined once and applied repeatedly without increasing complexity.
Solution Approach 2:
The patent develops a universal arbitration framework that handles all content types and display areas through a single set of rules and information structures. The content information management module and area information management module serve multiple functions: storing data, enabling comparison, and supporting arbitration decisions, eliminating the need for separate specification mechanisms for different content scenarios.
3Productivity
If display arbitration control is implemented without proper evaluation, then the system can operate, but specification contradictions and failures are only detected late in software development
Solution Approach 1:
The patent implements evaluation functionality that performs preliminary checks on display arbitration specifications before full system deployment. The evaluation apparatus validates content information, area information, and arbitration rules in advance, detecting contradictions and failures during the development phase rather than during actual operation, enabling early correction without impacting deployment timelines.
Data Source
AI summary
An evaluation apparatus for display arbitration control or a generation apparatus for a rule definition file includes a model generation portion that models the display arbitration control and generates a rule-based arbitration specification model that includes a content definition that defines a content, an area definition that defines a display area, and a constraint expression that shows a constraint related to display of the content; and a rule definition file generation portion that generates the rule definition file for software that is installed in a product and is related to the display arbitration control.