Control Device Program Verification Key Management

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Conventional techniques face a significant operation load when using different keys for respective devices, particularly in the manufacturing process where association information and key verification expected values need to be managed and input.

Innovation Solution

A control device and program verification method that store a program to be verified, multiple verification expected values, and information to identify one of these values, allowing the device to verify the program's correctness using the identified verification expected value.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If different keys are used for respective devices, then security is improved, but operation load increases

Engineering Contradiction:

ImprovesecurityVSAvoidoperation load

Core Design Contradiction:

ReliabilityVSEase of operation

Solution Approach 1:

The patent applies preliminary action by pre-storing multiple verification expected values in the control device before the manufacturing process. These pre-stored values correspond to different keys that can be used for verification, eliminating the need for real-time key selection and association information management during manufacturing and operation.

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The patent extracts the key selection and verification expected value management tasks from the manufacturing process. By separating these functions and pre-computing verification expected values for different keys, the system removes the operational burden of key management from the manufacturing and operation phases.

Inventive Principle:

Principle #2Taking out (Extraction)

2Reliability

If different keys are used for respective devices, then key compromise impact is limited, but manufacturing complexity increases

Engineering Contradiction:

Improvekey compromise resistanceVSAvoidmanufacturing complexity

Core Design Contradiction:

ReliabilityVSDevice complexity

Solution Approach 1:

The patent applies preliminary action by pre-computing and storing multiple verification expected values corresponding to different keys in the control device before manufacturing. This eliminates the need for complex key management operations during manufacturing, as the verification expected values are already prepared and stored.

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The patent uses copying by creating multiple verification expected values that correspond to different keys. Instead of managing complex key associations, the system creates copies of verification data for different keys, making the manufacturing process simpler while maintaining security.

Inventive Principle:

Principle #26Copying

Data Source

PatentUS12321440B2Control device and program verification method

Publication Date: 2025.06.03 ASTEMO LTD

AI summary

Provided are a control device and a program verification method capable of suppressing an operation load in a case where different keys are used for respective devices. The control device 1 stores a program to be verified, a plurality of verification expected values related to verification of the program to be verified, and registered verification expected value information 183 that identifies one of the verification expected values. The control device verifies whether the program to be verified is correct using the registered verification expected value information 183.