Avionic Module Partitioning Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
The existing methods for verifying resource partitioning configurations in avionic systems are cumbersome and complex, requiring incremental certification processes and extensive rule checking, which increases the complexity and difficulty of ensuring partitioning integrity.
Innovation Solution
A method for verifying a partitioning configuration between consuming elements of an electronic module in an avionic system, involving a verification device with a processor and memory that checks compliance with partitioning rules by dividing resources into segments and allocating them to consumer elements, ensuring valid resource usage and independence between applications.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If incremental certification processes and extensive rule checking are used to verify partitioning configurations, then partitioning integrity is ensured, but the verification process becomes cumbersome and complex
Solution Approach 1:
The electronic module autonomously verifies its own partitioning configuration by checking whether consuming elements are allocated to correct partitions and whether resource usage respects partition boundaries, eliminating the need for external verification tools and complex incremental certification processes
Solution Approach 2:
The verification of partitioning configuration is performed automatically during the initialization phase before the module becomes operational, ensuring that partitioning integrity is established beforehand without requiring complex post-configuration verification processes
2Reliability
If multiple qualified tools are required to check all partitioning rules for all actors, then partitioning guarantee is ensured, but the implementation complexity increases
Solution Approach 1:
The electronic module integrates multiple verification functions within itself, performing checks that would traditionally require separate external tools, thereby simplifying implementation while maintaining comprehensive partitioning verification across all consuming elements and resources
3Object-generated harmful factors
If resource segmentation and allocation rules are enforced, then interference between applications is controlled, but the configuration verification becomes more difficult
Solution Approach 1:
The electronic module automatically checks configuration data against partitioning rules during initialization and provides verification results, enabling easy detection of configuration errors while maintaining control over application interference through enforced resource segmentation
Data Source
Figure 1~2
AI summary
The present invention relates to a method for verifying a partitioning configuration, between consuming elements (13), of resources (14) of an electronic module (12), each resource (14) having a capacity and being divisible into segments, the method comprising: - verifying compliance with a set of partitioning rules according to which: • the sum of the unit capacities of the resource segments allocated for each resource (14) is less than the capacity of said resource (14), • only previously defined resource segments are allocable to distinct consuming elements (13), • the use of resource segments by a consuming element (13) is limited to the resource segments allocated to said consuming element (13), the partitioning configuration being considered valid when all the partitioning rules are respected, - operating the module (12) with the partitioning configuration.