To reduce a step number required for a safety design when expanding a traveling area of an autonomous appliance.SOLUTION: A safety verification system that verifies a safety of an autonomous appliance which drives autonomously in accordance with a safety rule, comprises: an environmental condition database that holds an environmental condition of a travel area; a safety rule database that holds the safety rule set by referring to the environmental condition; and a verification-required area extraction unit that extracts a verification-required area which requires safety verification from an additional travel area when the safety rule is applied in the additional travel area by comparing an environmental condition of the additional travel area with an environmental condition of an original travel area when expanding the travel area.SELECTED DRAWING: Figure 1

    【課題】 自律機器の走行エリアを拡大する際の安全設計に要する工数を削減する。【解決手段】 安全ルールに従って自律走行する自律機器の安全性を検証する安全検証システムであって、走行エリアの環境条件を保持する環境条件データベースと、前記環境条件を参照して設定された安全ルールを保持する安全ルールデータベースと、前記走行エリアを拡大する際に、追加走行エリアの環境条件と、元の走行エリアの環境条件を比較し、前記安全ルールを前記追加走行エリアで適用した場合に安全性の検証が必要な要検証エリアを前記追加走行エリアから抽出する要検証エリア抽出部と、を備える安全検証システム。【選択図】 図1


    Access

    Download


    Export, share and cite



    Title :

    SAFETY VERIFICATION SYSTEM AND SAFETY VERIFICATION METHOD


    Additional title:

    安全検証システム、および、安全検証方法


    Contributors:

    Publication date :

    2024-05-28


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Japanese


    Classification :

    IPC:    G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS




    Parking space safety verification method and system

    GUAN HAIHUI / LIANG JIAN | European Patent Office | 2021

    Free access

    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society | British Library Conference Proceedings | 2000


    Verification of safety critical components

    Karlsson, Magnus / Johannesson, Bengt / Mare, Jacques De et al. | Tema Archive | 2005