The present invention provides a technology for comprehensive verification of the safety of the design of functions, on the basis of a safety analysis result. The disclosed vehicle control system verification device is equipped with a storage device that stores programs for verifying the safety of the logical architecture of a vehicle control system, and a processor that reads the programs from the storage device and verifies the safety of the logical architecture. On the basis of safety analysis result information that is supplied, the processor executes a process for verifying whether the logical architecture has logical functions corresponding to the safety analysis result.
La présente invention concerne une technologie de vérification complète de la sécurité de la conception de fonctions, sur la base d'un résultat d'analyse de sécurité. Selon l'invention, le dispositif de vérification de système de commande de véhicule est équipé d'un dispositif de stockage qui stocke des programmes permettant de vérifier la sécurité de l'architecture logique d'un système de commande de véhicule, et un processeur qui lit les programmes du dispositif de stockage et qui vérifie la sécurité de l'architecture logique. Sur la base des informations de résultat d'analyse de sécurité qui sont fournies, le processeur exécute un processus permettant de vérifier si l'architecture logique présente des fonctions logiques correspondant au résultat d'analyse de sécurité.
本発明は、安全分析結果に基づき、機能の設計の安全性を網羅的に検証するための技術を提供する。本開示による車両制御システム検証装置は、車両制御システムの論理アーキテクチャの安全性を検証するためのプログラムを格納する記憶デバイスと、記憶デバイスからプログラムを読み込み、論理アーキテクチャの安全性を検証するプロセッサと、を備える。当該プロセッサは、与えられる安全分析結果の情報に基づいて、論理アーキテクチャが安全分析結果に対応する論理機能を有するか否かを検証する処理を実行する。
VEHICLE CONTROL SYSTEM VERIFICATION DEVICE, VEHICLE CONTROL SYSTEM, AND VEHICLE CONTROL SYSTEM VERIFICATION METHOD
DISPOSITIF DE VÉRIFICATION DE SYSTÈME DE COMMANDE DE VÉHICULE ET PROCÉDÉ DE VÉRIFICATION DE SYSTÈME DE COMMANDE DE VÉHICULE
車両制御システム検証装置、車両制御システム、及び車両制御システム検証方法
2017-11-02
Patent
Electronic Resource
Japanese
European Patent Office | 2017
|European Patent Office | 2021
|European Patent Office | 2022
|