Jetco Technologies GmbH, Berlin Germany 成立于2012年，是为使用Simulink®、Stateflow® (RTW Embedded Coder®)和TargetLink ®进行基于模型软件开发提供完整质量控制解决方案的高科技公司，致力于为嵌入式软件的质量保证提供解决方案， 利用国外有价值的经验为中国企业提供规范的服务。
目前已有的软件产品系列：
模型规范检查 Model Guideline Checker(MGChecker)
模型功能测试软件 Model Quality Tester(MQTester)
模型架构分析 Model Structure Analyzer(MSAnalyzer)
模型规范检查 (MGChecker)
遵循ISO26262的要求，为模型提供静态规范检查。该软件提供目前市场上能找到的所有的公共建模规范，如dSpace, MAAB, Misra AC SLSF, Misra AC TL，HISL HISF，并提供我们在给客户定制规范的实践中总结出来的有价值的规范，是目前市场上提供规范最全面的软件。使用该软件后能够使自动产生的代码最大程度地符合Misra C 2012的要求，同时满足ISO26262 对建模规范的内容的要求，使得测试过程变得简单迅速。
模型规范检查 (MGChecker)的优势：
支持matlab版本:2010a-2020a
支持matlab2019版本后增加的SLDD新功能
支持mpt参数类型
增强的Stateflow语法分析能力
150条MAAB5.0规范，~100%实现自动检查，新实现>100条
模型严重错误检查:被零除、溢出、数组越界、超出数值范围等
统一的模型参数检查，对matlab版本自动适应
提供免费试用，欢迎来电或来邮咨询
Copyright © 2023 汉宜电子科技（上海）有限公司 All Rights Reserved
