針對安全攸關之物聯網系統建立高擴展性的正規驗證與故障及因果分析工具集