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