PROBLEM TO BE SOLVED: To provide a technique for comprehensively verifying the safety in design of functions on the basis of a safety analysis result.SOLUTION: A vehicle control system verification device includes: a storage device that stores a program for verifying the safety of a logical architecture of a vehicle control system; and a processor for reading the program from the storage device and verifying the safety of the logical architecture. The processor executes processing of verifying on the basis of information on a provided safety analysis result whether or not the logical architecture includes a logical function corresponding to the safety analysis result.SELECTED DRAWING: Figure 1

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


    Access

    Download


    Export, share and cite



    Title :

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


    Additional title:

    車両制御システム検証装置、車両制御システム、及び車両制御システム検証方法


    Contributors:

    Publication date :

    2017-11-02


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Japanese


    Classification :

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






    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