Jetco Technologies GmbH, Berlin Germany 成立于2012年,是為使用Simulink®、Stateflow® (RTW Embedded Coder®)和TargetLink ®進行基于模型軟件開發(fā)提供完整質(zhì)量控制解決方案的高科技公司,致力于為嵌入式軟件的質(zhì)量保證提供解決方案, 利用國外有價值的經(jīng)驗為中國企業(yè)提供規(guī)范的服務。
目前已有的軟件產(chǎn)品系列:
模型規(guī)范檢查 Model Guideline Checker(MGChecker)
模型功能測試軟件 Model Quality Tester(MQTester)
模型架構分析 Model Structure Analyzer(MSAnalyzer)
模型架構分析 Model Structure Analyzer(MSAnalyzer)
模型架構分析軟件的作用
模型設計中,為提高可維護性及可重用性,減少錯誤的發(fā)生,應該采用使用封裝技術,采用簡單化模塊化的設計方法, 為此,ISO26262 提出了模型架構設計的原則:
使用層次架構
限制模型的大小
限制接口大小
提高單元內(nèi)部聚合性
降低單元之間耦合性
MSAnalyzer采用經(jīng)典的軟件復雜度計算方法并結合我們對模型的理解,成功地將以上原則應用于實踐之中。通過過濾模型中的各種元素,計算出模型各個層次的復雜度,從而為層次結構的合理性提供了判斷指標; 利用最新精準算法,查找模型中可重用的部分、計算子系統(tǒng)的聚合度及離散度,從而為功能劃分及降低模型大小提供了方法;通過分析信號之間的依賴性,查找無用信號,從而為降低單元之間的耦合性指明了方向。MSAnalyzer的使用實現(xiàn)了理論到實踐的指導,使我們的工作達到了事半功倍的效果。
提供免費試用,歡迎來電或來郵咨詢
Copyright © 2023 漢宜電子科技(上海)有限公司 All Rights Reserved