結果 : software safety requirements example