软件说明
软件可以支持检验模型接口及模型仿真运行测试，检验模型接口命名规范，检验模型接口定义传输数据类型，模型运行是否正常，并输出模型接口列表。对于目标系统，结合给定的实验测试数据，可进行模型置信度评价分析，并输出模型校核测试报告。软件可以对不同阶段及类型的模型开展规范性分析与验证工作，提取模型要素，形成验证分析结果，支撑基于模型系统工程的模型快速分析与验证。
Model Checker
模型规范性分析与验证软件是一款由SIMTEK自主开发、基于FMI标准协议的模型规范性快速分析与验证工具。
免责声明：文章内容不代表本站立场，本站不对其内容的真实性、完整性、准确性给予任何担保、暗示和承诺，仅供读者参考，文章版权归原作者所有。如本文内容影响到您的合法权益（内容、图片等），请及时联系本站，我们会及时删除处理。