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é.

    本発明は、安全分析結果に基づき、機能の設計の安全性を網羅的に検証するための技術を提供する。本開示による車両制御システム検証装置は、車両制御システムの論理アーキテクチャの安全性を検証するためのプログラムを格納する記憶デバイスと、記憶デバイスからプログラムを読み込み、論理アーキテクチャの安全性を検証するプロセッサと、を備える。当該プロセッサは、与えられる安全分析結果の情報に基づいて、論理アーキテクチャが安全分析結果に対応する論理機能を有するか否かを検証する処理を実行する。


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    VEHICLE CONTROL SYSTEM VERIFICATION DEVICE, VEHICLE CONTROL SYSTEM, AND VEHICLE CONTROL SYSTEM VERIFICATION METHOD


    Weitere Titelangaben:

    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
    車両制御システム検証装置、車両制御システム、及び車両制御システム検証方法


    Beteiligte:
    OTSUKA SATOSHI (Autor:in) / SAKURAI KOHEI (Autor:in)

    Erscheinungsdatum :

    2017-11-02


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Japanisch


    Klassifikation :

    IPC:    G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung / B60T Bremsanlagen für Fahrzeuge oder Teile davon , VEHICLE BRAKE CONTROL SYSTEMS OR PARTS THEREOF / G05B Steuer- oder Regelsysteme allgemein , CONTROL OR REGULATING SYSTEMS IN GENERAL



    Vehicle control system verification device, vehicle control system, and vehicle control system verification method

    OTSUKA SATOSHI / SAKURAI KOHEI | Europäisches Patentamt | 2021

    Freier Zugriff

    VEHICLE CONTROL SYSTEM VERIFICATION DEVICE, VEHICLE CONTROL SYSTEM, AND VEHICLE CONTROL SYSTEM VERIFICATION METHOD

    OTSUKA TOSHIFUMI / SAKURAI KOHEI | Europäisches Patentamt | 2017

    Freier Zugriff

    VEHICLE CONTROL SYSTEM VERIFICATION DEVICE, VEHICLE CONTROL SYSTEM, AND VEHICLE CONTROL SYSTEM VERIFICATION METHOD

    OTSUKA SATOSHI / SAKURAI KOHEI | Europäisches Patentamt | 2022

    Freier Zugriff

    VEHICLE CONTROL DEVICE VERIFICATION SYSTEM

    SASAKI TAKAHITO / SATO ATSUSHI / SATO KAZUHIRO | Europäisches Patentamt | 2024

    Freier Zugriff

    MAP VERIFICATION METHOD, MAP VERIFICATION SYSTEM, AND VEHICLE-MOUNTED CONTROL DEVICE

    KASHIMURA MASAHIRO | Europäisches Patentamt | 2020

    Freier Zugriff