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

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


    Access

    Download


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:

    Publication date :

    2017-11-02


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Japanese


    Classification :

    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 DEVICE VERIFICATION SYSTEM

    SASAKI TAKAHITO / SATO ATSUSHI / SATO KAZUHIRO | European Patent Office | 2024

    Free access

    SOFTWARE VERIFICATION SYSTEM AND VEHICLE CONTROL DEVICE

    OMATSU HIROKI / OTSUKA TOSHIFUMI / YOSHIMURA KENTARO et al. | European Patent Office | 2024

    Free access