高レジリエンス・システムの モデル化による検証例