STAMP/STPA
ハザードを防ぐために,システムに設計されるべき安全要求または安全制約を定義する。