符合 ISO 26262 模型靜態驗證咨詢構建產品級模型靜態規范指南定制基于模型規范的自動化檢查平臺定制基于模型規范的自動代碼生成模板定制基于模型規范的模型庫基于特定應用的符合建模規范的模型產生高質量代碼并符合編碼規范的定制化服務 ?? 符合 ISO 26262 模型動態驗證咨詢一般架構的模型測試(MIL)、模型自動生成的代碼測試(SIL
NORD認證,符合以下標準: ISO 26262:2018-6; ASIL D: 道路車輛-功能安全 第6部分:軟件級別的產品開發 ISO 26262:2018-8 11章節; ASIL D 道路車輛-功能安全 第8部分:支持過程——第11章:使用軟件工具的置信度 IEC 61508:2010-3 – 7.4.4; SIL