Jetco Technologies GmbH, Berlin Germany 成立于2012年，是為使用Simulink®、Stateflow® (RTW Embedded Coder®)和TargetLink ®進(jìn)行基于模型軟件開(kāi)發(fā)提供完整質(zhì)量控制解決方案的高科技公司，致力于為嵌入式軟件的質(zhì)量保證提供解決方案， 利用國(guó)外有價(jià)值的經(jīng)驗(yàn)為中國(guó)企業(yè)提供規(guī)范的服務(wù)。
目前已有的軟件產(chǎn)品系列：
模型規(guī)范檢查 Model Guideline Checker(MGChecker)
模型功能測(cè)試軟件 Model Quality Tester(MQTester)
模型架構(gòu)分析 Model Structure Analyzer(MSAnalyzer)
模型規(guī)范檢查 (MGChecker)
遵循ISO26262的要求，為模型提供靜態(tài)規(guī)范檢查。該軟件提供目前市場(chǎng)上能找到的所有的公共建模規(guī)范，如dSpace, MAAB, Misra AC SLSF, Misra AC TL，HISL HISF，并提供我們?cè)诮o客戶(hù)定制規(guī)范的實(shí)踐中總結(jié)出來(lái)的有價(jià)值的規(guī)范，是目前市場(chǎng)上提供規(guī)范最全面的軟件。使用該軟件后能夠使自動(dòng)產(chǎn)生的代碼最大程度地符合Misra C 2012的要求，同時(shí)滿(mǎn)足ISO26262 對(duì)建模規(guī)范的內(nèi)容的要求，使得測(cè)試過(guò)程變得簡(jiǎn)單迅速。
模型規(guī)范檢查 (MGChecker)的優(yōu)勢(shì)：
支持matlab版本:2010a-2020a
支持matlab2019版本后增加的SLDD新功能
支持mpt參數(shù)類(lèi)型
增強(qiáng)的Stateflow語(yǔ)法分析能力
150條MAAB5.0規(guī)范，~100%實(shí)現(xiàn)自動(dòng)檢查，新實(shí)現(xiàn)>100條
模型嚴(yán)重錯(cuò)誤檢查:被零除、溢出、數(shù)組越界、超出數(shù)值范圍等
統(tǒng)一的模型參數(shù)檢查，對(duì)matlab版本自動(dòng)適應(yīng)
提供免費(fèi)試用，歡迎來(lái)電或來(lái)郵咨詢(xún)
Copyright © 2023 漢宜電子科技（上海）有限公司 All Rights Reserved 滬ICP備2023002859號(hào)-1
