自動運転や自律化・固有のハザードを抽出し、リスク低減方策の立案を支援します。
故障発生時にもシステムの安全性が維持されることを形式手法により網羅的に検証し、故障対策の十分性を立証します。
機器・環境・人の相互作用を分析することで人の不安全行動を防止します。
国際安全規格の適合に必要な安全コンセプト決定から、エビデンス文書作成、法規・規格準拠の活動を一貫して行います。