ハイブリッドシステムの高信頼シミュレーションの ための