Automated Temporal Logic Extraction for Third-Party Feature Compatibility

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Existing methods for testing third-party features for compatibility and integration with vehicle designs are time-consuming and resource-intensive, often relying on manual test specifications that may not exhaustively cover all testing parameters.

Innovation Solution

A computer program product that executes simulations to extract temporal logic specifications for both OEM and third-party features, determining compatibility by comparing these specifications, thereby automating the testing process and reducing the need for manual specifications.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If manual test specifications are used for testing third-party features, then testing coverage can be comprehensive, but the testing process becomes time-consuming and resource-intensive

Engineering Contradiction:

Improvetesting coverageVSAvoidtesting time

Core Design Contradiction:

ReliabilityVSLoss of time

Solution Approach 1:

The patent replaces manual testing mechanisms with an automated simulation system that uses temporal logic specifications and model checking algorithms to automatically verify feature compatibility, eliminating the need for human testers to manually create and execute test cases

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

Solution Approach 2:

The system performs self-verification by automatically extracting temporal logic specifications from feature code, generating test simulations, and determining compatibility without external human intervention, allowing the testing process to serve itself

Inventive Principle:

Principle #25Self-service

2Reliability

If manual test specifications are created, then testing can be performed, but the process requires significant human resources and effort

Engineering Contradiction:

Improvetesting thoroughnessVSAvoidhuman resources required

Core Design Contradiction:

ReliabilityVSDevice complexity

Solution Approach 1:

The patent substitutes human testing effort with an automated system that uses computer algorithms to extract temporal logic specifications, generate simulations, and determine feature compatibility, replacing the mechanical process of manual test creation and execution

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

3Productivity

If automated simulation and temporal logic extraction are implemented, then testing time is reduced, but the system complexity increases

Engineering Contradiction:

Improvetesting efficiencyVSAvoidsystem complexity

Core Design Contradiction:

ProductivityVSDevice complexity

Solution Approach 1:

The patent introduces temporal logic specifications as an intermediary formal representation that bridges the gap between feature code and compatibility verification, allowing automated analysis without requiring complex direct comparison of feature implementations

Inventive Principle:

Principle #24Intermediary (Mediator)

Solution Approach 2:

The system segments the compatibility testing process into distinct phases: extracting temporal logic specifications from feature code, generating separate simulations for OEM and third-party features, and comparing results through model checking, making the complex task manageable through structured decomposition

Inventive Principle:

Principle #1Segmentation

Data Source

PatentUS12307173B2Extracting temporal specifications of features for functional compatibility and integration with OEMs

Publication Date: 2025.05.20 TOYOTA JIDOSHA KK

AI summary

The disclosure includes embodiments for testing a third-party feature for compatibility and integration with an Original Equipment Manufacturer (OEM) vehicle design. A method includes modifying a vehicle design to include a third-party feature, where modifying the vehicle design generates a modified vehicle design. The method includes executing a simulation based on the modified vehicle design. The method includes extracting, from the simulation, a third-party temporal logic of the third-party feature. The method includes determining, based on the third-party temporal logic, an indication of whether the third-party feature is compliant with the vehicle design.