02 模型靜態(tài)檢查

從設(shè)計(jì)模型的類型檢查、量綱檢查、數(shù)據(jù)依賴關(guān)系分析、狀態(tài)遷移分析四個(gè)維度分析模型是否滿足預(yù)定義的設(shè)計(jì)規(guī)則。

03 模型仿真與調(diào)試

通過(guò)模型仿真和斷點(diǎn)調(diào)試確保模型在特定物理場(chǎng)景中動(dòng)態(tài)運(yùn)行能力，并對(duì)運(yùn)行結(jié)果進(jìn)行可視化展示滿足更直觀的分析。

04 運(yùn)行時(shí)驗(yàn)證

對(duì)需要驗(yàn)證性質(zhì)進(jìn)行性質(zhì)關(guān)聯(lián)并驗(yàn)證構(gòu)建的性質(zhì)模型，確保是否滿足待驗(yàn)性質(zhì)從而來(lái)保證模型的安全性與可靠性。

05 代碼自動(dòng)生成

在排除模型早期錯(cuò)誤，保障模型一致性、正確性和安全性基礎(chǔ)上，通過(guò)模型、LUSTRE語(yǔ)言、代碼轉(zhuǎn)換，實(shí)現(xiàn)C代碼自動(dòng)生成。

06 報(bào)告生成與定制

針對(duì)模型靜態(tài)檢查、仿真與調(diào)試、運(yùn)行時(shí)驗(yàn)證等過(guò)程，生成相應(yīng)報(bào)告供用戶查看與存檔，同時(shí)測(cè)試報(bào)告支持定制化。

特色優(yōu)勢(shì)

01 豐富可拓展構(gòu)件庫(kù)

豐富可拓展的預(yù)定義構(gòu)件庫(kù)可用于連續(xù)、離散及混合系統(tǒng)等，適用面廣泛。

02 高效易用建模環(huán)境

直觀圖形化建模界面，在統(tǒng)一可視化環(huán)境中采用拖拽的方式進(jìn)行模型設(shè)計(jì)。

03 全方位靜態(tài)檢查

基于預(yù)定義的設(shè)計(jì)規(guī)則判斷模型本身是否存在矛盾，排除開(kāi)發(fā)早期的模型錯(cuò)誤。

04 動(dòng)態(tài)仿真與驗(yàn)證

一鍵動(dòng)態(tài)仿真調(diào)試與模型驗(yàn)證、多維度可視化仿真數(shù)據(jù)與驗(yàn)證結(jié)果反例追溯。

05 有效C代碼生成

自動(dòng)生成符合國(guó)軍標(biāo)8114標(biāo)準(zhǔn)的C代碼，有效減少用戶重復(fù)編碼工作。

06 國(guó)產(chǎn)化環(huán)境支持

支持國(guó)產(chǎn)典型操作系統(tǒng)和處理器平臺(tái)，為國(guó)內(nèi)高端制造領(lǐng)域的嵌入式軟件研制提供支撐平臺(tái)。

成果應(yīng)用

01 航空航天

航天航空領(lǐng)域所涉及的飛控等操作系統(tǒng)都極其復(fù)雜。相較于傳統(tǒng)的編碼開(kāi)發(fā)流程，Modeler基于模型的可視化建模開(kāi)發(fā)，可以覆蓋嵌入式開(kāi)發(fā)的整個(gè)流程，從需求建模、靜態(tài)分析、系統(tǒng)仿真與驗(yàn)證，再到最終代碼的自動(dòng)生成，以節(jié)約產(chǎn)品的開(kāi)發(fā)時(shí)間、提高開(kāi)發(fā)質(zhì)量、減少開(kāi)發(fā)風(fēng)險(xiǎn)。

02 汽車(chē)電子

隨著新能源汽車(chē)的普及和自動(dòng)駕駛的興起，行業(yè)對(duì)電池管理系統(tǒng)的軟件關(guān)鍵級(jí)別要求升級(jí)，這就意味著相應(yīng)軟件驗(yàn)證成本也急劇加大。Modeler提供基于模型的軟件架構(gòu)建模、仿真、代碼自動(dòng)生成與測(cè)試的完整工具鏈，在極大提升電池管理系統(tǒng)軟件研制效率的同時(shí)，節(jié)約高額的研制成本。

03 軌道交通

Modeler可視化開(kāi)發(fā)環(huán)境可以對(duì)城軌聯(lián)鎖軟件進(jìn)行建模，通過(guò)使用數(shù)據(jù)流與狀態(tài)機(jī)等算子庫(kù)，對(duì)聯(lián)鎖中的主要邏輯模塊進(jìn)行建模，并自動(dòng)生成C代碼。從而為高安全性應(yīng)用系統(tǒng)的軟件開(kāi)發(fā)人員提供一套完整的基于模型的開(kāi)發(fā)解決方案，以此降低開(kāi)發(fā)成本、縮短開(kāi)發(fā)周期、減少開(kāi)發(fā)風(fēng)險(xiǎn)。