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
SAFETY VERIFICATION SYSTEM AND SAFETY VERIFICATION METHOD
安全検証システム、および、安全検証方法
2024-05-28
Patent
Electronic Resource
Japanese
IPC: | G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS |
Safety verification for automated vehicle maneuvers.
Safety verification for automated car maneuvers
DSpace@MIT | 1998
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|Verification of safety critical components
Tema Archive | 2005
|