Startup Software Verification Using Precomputed Comparison Data

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Existing software verification methods in information processing apparatuses take too long, potentially violating startup time restrictions.

Innovation Solution

The information processing apparatus verifies only startup software by comparing verification subject data calculated at startup with pre-calculated comparison data, reducing the scope of verification to software executed at startup.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If all software in the information processing apparatus is verified at startup, then the reliability of software is improved, but the startup time increases excessively

Engineering Contradiction:

Improvesoftware validityVSAvoidstartup time

Core Design Contradiction:

ReliabilityVSLoss of time

Solution Approach 1:

The patent segments the software verification process by dividing all software into two categories: startup software (executed at startup) and non-startup software (not executed at startup). The verification is then applied selectively only to startup software, which is stored in a specific storage place recorded in startup record data. This segmentation allows the system to maintain reliability for critical startup operations while avoiding the time penalty of verifying all software.

Inventive Principle:

Principle #1Segmentation

Solution Approach 2:

The patent extracts the verification process from the general software set and applies it only to the specific subset of startup software. By using startup record data to identify and extract only the necessary software for verification, the system eliminates unnecessary verification operations on non-startup software, thereby reducing startup time while maintaining essential reliability checks.

Inventive Principle:

Principle #2Taking out (Extraction)

2Productivity

If the verification scope is reduced to only startup software, then the startup time is reduced, but the coverage of verification is narrowed

Engineering Contradiction:

Improveverification speedVSAvoidverification coverage

Core Design Contradiction:

ProductivityVSReliability

Solution Approach 1:

The patent applies local quality by making the verification process location-specific and function-specific. Rather than uniformly verifying all software, the system identifies software stored in the specific storage place indicated by startup record data and applies verification only to those components. This localized approach ensures that verification resources are concentrated on the most critical startup software, achieving both speed and targeted reliability.

Inventive Principle:

Principle #3Local quality

Data Source

PatentUS12579273B2Information processing apparatus, information processing method, and non-transitory computer readable medium for verifying software

Publication Date: 2026.03.17 MITSUBISHI ELECTRIC CORP

AI summary

An information processing apparatus (100) includes a validity verification unit (101). The validity verification unit (101) verifies validity of startup software by comparing verification subject data which is data for verification calculated based on data stored in a storage place indicated in startup record data indicating the storage place where the startup software executed at startup of the information processing apparatus (100) is to be stored, and which is data for verification calculated at the startup of the information processing apparatus (100), with comparison data which is data for verification calculated before the startup of the information processing apparatus (100) based on the startup software, and which is data for verification used as a comparison subject of the verification subject data.