國(guó)產(chǎn)基于模型的系統(tǒng)工程軟件MBSE軟件ModelCoder
基于模型的系統(tǒng)工程(MBSE)作為未來(lái)工業(yè)研發(fā)數(shù)字化的重要發(fā)展方向之一，埃登威旗下迪捷軟件是以清華大學(xué)康碩教授團(tuán)隊(duì)加上后期加入的前華為技術(shù)團(tuán)隊(duì)人員組成，主要方向是就是專注于**行業(yè)的國(guó)產(chǎn)自主MBSE軟件，在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開(kāi)發(fā)已逐漸進(jìn)入了我國(guó)的裝備研制過(guò)程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對(duì)算法或者控制邏輯進(jìn)行可視化建模，然后生成高可靠的二進(jìn)制代碼逐漸成為了**關(guān)鍵領(lǐng)域的主流軟件開(kāi)發(fā)方式。由我司自主開(kāi)發(fā)的ModelCoder是一款支持多種嵌入式系統(tǒng)建模并可以自動(dòng)生成高**可靠的C代碼的軟件設(shè)計(jì)和開(kāi)發(fā)工具。ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過(guò)程經(jīng)過(guò)了形式化驗(yàn)證，保證生成過(guò)程的正確無(wú)誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個(gè)**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開(kāi)發(fā)。
目前我們已經(jīng)合作過(guò)的單位有：
|
中國(guó)航K工業(yè)集團(tuán)有限公司
|
成都F機(jī)設(shè)計(jì)研究所
西安航K計(jì)算技術(shù)研究所
西安自動(dòng)F行控制研究所
洛陽(yáng)電光S備研究所
|
|
中國(guó)航T科技集團(tuán)有限公司
|
四川航T技術(shù)研究院
上海航T技術(shù)研究院
上海航T控制技術(shù)研究所
上海衛(wèi)X工程研究所
|
|
中國(guó)航T科工集團(tuán)有限公司
|
航天X院
航天X江集團(tuán)
|
|
中國(guó)船B工業(yè)集團(tuán)有限公司
|
中國(guó)船B工業(yè)系統(tǒng)工程研究院
|
|
中國(guó)電Z科技集團(tuán)有限公司
|
第X研究所
第5XX研究所
|
|
中國(guó)電Z信息產(chǎn)業(yè)集團(tuán)有限公司
|
武漢中原D子集團(tuán)有限公司
|
|
中國(guó)核工Y集團(tuán)有限公司
|
中國(guó)He動(dòng)力研究設(shè)計(jì)院
廣東H電集團(tuán)
|
|
中國(guó)航K發(fā)動(dòng)機(jī)集團(tuán)有限公司
|
中國(guó)航F商用航K發(fā)動(dòng)機(jī)有限責(zé)任公司
|
|
高校合作
|
清華大學(xué)
武漢理工大學(xué)
重慶交通學(xué)院
新疆農(nóng)業(yè)職業(yè)技術(shù)學(xué)院
中國(guó)礦業(yè)大學(xué)
華南理工大學(xué)
北京交通大學(xué)
湖南大學(xué)
合肥工業(yè)大學(xué)
中國(guó)科學(xué)技術(shù)大學(xué)
西安電子科技大學(xué)
中山大學(xué)
山東科技大學(xué)
遼寧工程技術(shù)大學(xué)
河南工業(yè)大學(xué)
天津理工大學(xué)
成都電子科技大學(xué)
中國(guó)人民解放軍裝甲兵工程學(xué)院
|
|
其他客戶
|
華為
北京星地恒通
重慶慧爾科技
蘇州勝利科技有限公司
天津華寧電子
大連微龍軟件有限公司
廣州國(guó)筆科技公司
北京國(guó)威集成技術(shù)有限公司
|
|
1. 什么是MBSE國(guó)產(chǎn)基于模型的系統(tǒng)工程軟件MBSE軟件ModelCoder
基于模型的系統(tǒng)工程(MBSE)是相對(duì)于傳統(tǒng)基于文檔的系統(tǒng)設(shè)計(jì)而言的，傳統(tǒng)設(shè)計(jì)方式中，系統(tǒng)方案設(shè)計(jì)階段多數(shù)通過(guò)撰寫(xiě)方案設(shè)計(jì)文檔來(lái)對(duì)系統(tǒng)進(jìn)行定義，如下圖所示：
MBSE(基于模型的系統(tǒng)工程) = 用數(shù)字化建模代替寫(xiě)文檔進(jìn)行系統(tǒng)方案設(shè)計(jì)，把設(shè)計(jì)文檔中描述系統(tǒng)結(jié)構(gòu)、功能、性能、規(guī)格需求的名詞、動(dòng)詞、形容詞、參數(shù)全部轉(zhuǎn)化為數(shù)字化模型表達(dá)。
以下例子可幫助直觀理解如何從文檔轉(zhuǎn)換到數(shù)字化模型：
1) 名詞（描述系統(tǒng)結(jié)構(gòu)）
基于文本的設(shè)計(jì)：
“該系統(tǒng)由發(fā)動(dòng)機(jī)、通信系統(tǒng)、控制系統(tǒng)、生命保障系統(tǒng)等子系統(tǒng)構(gòu)成”
MBSE中的數(shù)字化模型表達(dá)：
2) 動(dòng)詞（描述系統(tǒng)行為）
基于文本的設(shè)計(jì)：
“系統(tǒng)的啟動(dòng)過(guò)程為：首先啟動(dòng)發(fā)動(dòng)機(jī)，然后依次檢查控制系統(tǒng)、生命保障系統(tǒng)、通信系統(tǒng)狀態(tài)，如一切正常，則進(jìn)入工作狀態(tài)；如發(fā)現(xiàn)異常，則由操作人員進(jìn)行故障排查?！?
MBSE中的數(shù)字化模型表達(dá)：
3) 參數(shù)（對(duì)系統(tǒng)規(guī)格、系統(tǒng)性能等的定量描述）
基于文本的系統(tǒng)設(shè)計(jì)：
“需求A：系統(tǒng)總重量不能超過(guò)100kg?！?
MBSE中的數(shù)字化模型表達(dá)：國(guó)產(chǎn)基于模型的系統(tǒng)工程軟件MBSE軟件ModelCoder
4) 形容詞（需要被量化）
形容詞是文檔中的特殊產(chǎn)物，在模型中不存在對(duì)應(yīng)內(nèi)容。
原因在于形容詞是模糊描述，無(wú)法明確表達(dá)，也意味著無(wú)法準(zhǔn)確驗(yàn)證。因此，理論上，在系統(tǒng)設(shè)計(jì)和需求規(guī)格描述中，不應(yīng)該使用形容詞。否則可能導(dǎo)致下圖中的后果：
2. 為什么要做MBSE
1) 當(dāng)前的挑戰(zhàn)
在當(dāng)前航空、航天、汽車(chē)等行業(yè)，對(duì)工業(yè)產(chǎn)品易用性、舒適性、**性等方面要求的提高，導(dǎo)致當(dāng)前工業(yè)產(chǎn)品電氣化、智能化程度越來(lái)越高，產(chǎn)品復(fù)雜度的量級(jí)不斷躍升。
基于文本的系統(tǒng)設(shè)計(jì)方式存在天然局限，導(dǎo)致其越來(lái)越難以應(yīng)對(duì)當(dāng)前的復(fù)雜產(chǎn)品設(shè)計(jì)挑戰(zhàn)，比如：
基于自然語(yǔ)言描述的設(shè)計(jì)文檔一致性差，溝通效率低且容易出現(xiàn)歧義；
自然語(yǔ)言容易引入形容詞等模糊描述，很難保證準(zhǔn)確性
文本描述的設(shè)計(jì)元素之間無(wú)法實(shí)現(xiàn)追溯分析，當(dāng)出現(xiàn)設(shè)計(jì)變更時(shí)很難對(duì)變更影響進(jìn)行準(zhǔn)確評(píng)估
基于文本的設(shè)計(jì)方案無(wú)法進(jìn)行前期仿真驗(yàn)證
設(shè)計(jì)方案無(wú)法與詳細(xì)設(shè)計(jì)階段的數(shù)字化模型（如CAD）關(guān)聯(lián)...
而MBSE技術(shù)的出現(xiàn)為應(yīng)對(duì)這些問(wèn)題提供了有效的應(yīng)對(duì)手段。
2) MBSE帶來(lái)的價(jià)值
一項(xiàng)新技術(shù)*終的價(jià)值體現(xiàn)，一般有：
節(jié)省成本，省錢(qián)
提高效率，省時(shí)間
保證產(chǎn)品質(zhì)量，提高產(chǎn)品競(jìng)爭(zhēng)力
產(chǎn)品質(zhì)量提升→產(chǎn)品問(wèn)題減少→研發(fā)周期&運(yùn)維成本降低→省錢(qián)&省時(shí)間
產(chǎn)品競(jìng)爭(zhēng)力提高→銷量提升→企業(yè)利潤(rùn)提高
基于上述幾個(gè)角度，我們分別從幾個(gè)系統(tǒng)設(shè)計(jì)活動(dòng)– 需求分析&驗(yàn)證、系統(tǒng)設(shè)計(jì)、系統(tǒng)驗(yàn)證，來(lái)具體分析MBSE到底可以為企業(yè)帶來(lái)哪些價(jià)值：
（紅色代表文本無(wú)法實(shí)現(xiàn)而MBSE能夠?qū)崿F(xiàn)的功能，藍(lán)色代表MBSE相對(duì)文本的優(yōu)勢(shì)功能）
3. 怎么做MBSE？示例
MBSE是系統(tǒng)設(shè)計(jì)工作通過(guò)數(shù)字化設(shè)計(jì)手段的實(shí)現(xiàn)，因此在工作流程上與傳統(tǒng)系統(tǒng)工程并無(wú)太大差異，仍然分為需求分析、系統(tǒng)設(shè)計(jì)、系統(tǒng)驗(yàn)證、需求確認(rèn)四個(gè)步驟。
具體實(shí)現(xiàn)方式案例如下：
1) 需求分析
實(shí)現(xiàn)需求條目化分類，并對(duì)特殊需求（性能需求）進(jìn)行量化描述：
需求類型示例
需求量化描述
2) 系統(tǒng)設(shè)計(jì)
依照特定的系統(tǒng)設(shè)計(jì)邏輯方法，完成系統(tǒng)功能、結(jié)構(gòu)設(shè)計(jì)，以及參數(shù)化表征，并將設(shè)計(jì)內(nèi)容與需求進(jìn)行關(guān)聯(lián)，確保追溯關(guān)系完整。
系統(tǒng)設(shè)計(jì)
系統(tǒng)設(shè)計(jì)與需求的關(guān)聯(lián)追溯
3) 系統(tǒng)驗(yàn)證
基于數(shù)字化系統(tǒng)設(shè)計(jì)模型進(jìn)行系統(tǒng)仿真，根據(jù)設(shè)計(jì)需求進(jìn)行系統(tǒng)驗(yàn)證工作
系統(tǒng)模型仿真驗(yàn)證國(guó)產(chǎn)基于模型的系統(tǒng)工程軟件MBSE軟件ModelCoder
4) 需求確認(rèn)
將設(shè)計(jì)參數(shù)值與量化的需求約束進(jìn)行驗(yàn)證
需求確認(rèn)
4. 掌握MBSE需要學(xué)習(xí)哪些內(nèi)容
MBSE的三大支撐：方法論、系統(tǒng)設(shè)計(jì)語(yǔ)言、系統(tǒng)建模工具。
1) MBSE方法論
MBSE方法論是設(shè)計(jì)師進(jìn)行系統(tǒng)設(shè)計(jì)活動(dòng)的指南，不同行業(yè)、不同產(chǎn)品在實(shí)際產(chǎn)品研發(fā)方面都有其特殊的地方，因此在方法論方面會(huì)有不同的選擇。
以下提供了當(dāng)前MBSE方法論方面能夠查找到的部分公開(kāi)資料，可作為企業(yè)在實(shí)踐MBSE項(xiàng)目時(shí)的參考。
企業(yè)在實(shí)際項(xiàng)目中選擇哪一種方法論、對(duì)方法論做哪些特定的裁剪，需要基于企業(yè)當(dāng)前研發(fā)流程的實(shí)際需求來(lái)分析和確定，而不能直接照搬某個(gè)“理論模型”。
關(guān)于MBSE方法論，2008年有相關(guān)研究匯總了當(dāng)時(shí)的相關(guān)理論 - "Survey of Model-BasedSystems Engineering (MBSE) Methodologies", 報(bào)告中涵蓋了以下6類不同的MBSE方法論：
INCOSE Object-Oriented SystemsEngineering Method (OOSEM)
IBM Rational Telelogic Harmony-SE
IBM Rational Unified Process for Systems Engineering (RUP-SE)
Vitech Model-Based Systems Engineering (MBSE) Methodology
JPL State Analysis (SA) Methodology | JPL State Analysis (SA)
Dori Object-Process Methodology (OPM)
在此之后，作為補(bǔ)充，http://www.omgwiki.org/MBSE中的“Methodology and Metrics”文章里又增加了幾類MBSE方法論的介紹，包含：
Weilkiens Systems Modeling Process (SYSMOD)
Fernandez Process Pipelines in OO Architectures (PPOOA)
An Ontology for State Analysis: Formalizing the Mapping to SysML
ISO-15288, OOSEM and Model-Based Submarine Design
Alstom ASAP Methodology
Pattern-Based Systems Engineering (PBSE)
Arcadia, a model-basedengineering method
以上這些僅僅為MBSE方法論的部分內(nèi)容，在此之外，仍有一些公司或研究者針對(duì)特定應(yīng)用場(chǎng)景提出了自己的方法論。比如，當(dāng)前在國(guó)內(nèi)工程界應(yīng)用廣泛的MagicDraw工具，其母公司NoMagic(現(xiàn)被達(dá)索析統(tǒng)公司收購(gòu))也獨(dú)立提出自己的MagicGrid方法論。
2) 系統(tǒng)設(shè)計(jì)語(yǔ)言
系統(tǒng)設(shè)計(jì)語(yǔ)言是描述系統(tǒng)設(shè)計(jì)的標(biāo)準(zhǔn)"語(yǔ)法"，當(dāng)前MBSE領(lǐng)域主流的系統(tǒng)設(shè)計(jì)語(yǔ)言是OMG維護(hù)和發(fā)布的SysML – System Modeling Language，該語(yǔ)言基于UML發(fā)展而來(lái)，并專門(mén)針對(duì)系統(tǒng)設(shè)計(jì)領(lǐng)域特點(diǎn)進(jìn)行了擴(kuò)展。
(SysML雖為主流MBSE建模語(yǔ)言，但仍有部分軟件工具通過(guò)非SysML語(yǔ)言進(jìn)行模型描述，此處不做展開(kāi)。)
SysML是一種圖形化設(shè)計(jì)語(yǔ)言，共包含9類圖，如下所示：
9類圖分別用來(lái)描述系統(tǒng)設(shè)計(jì)過(guò)程中的需求、系統(tǒng)結(jié)構(gòu)、系統(tǒng)行為和系統(tǒng)參數(shù):
3) 系統(tǒng)建模工具
目前國(guó)內(nèi)工程領(lǐng)域主要的MBSE工具為NoMagic(達(dá)索) MagicDraw和IBM Rhapsody，其他如Sparx Systems的Enterprise Architecture, 達(dá)索CATIA RFLP, Siemens PLM, ANSYS Scade等也有部分應(yīng)用。
更多國(guó)產(chǎn)基于模型的系統(tǒng)工程軟件MBSE軟件ModelCoder信息請(qǐng)直接致電埃登威上海021-55581219其他產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點(diǎn)儀,熱導(dǎo)氣體分析儀,GE流量計(jì),OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門(mén)子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗(yàn)證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點(diǎn)儀,干燥機(jī)露點(diǎn)儀,激光氣體分析儀,便攜式露點(diǎn)儀,便攜式微量氧分析儀西門(mén)子氧電池\oxy-12\ultramat-23代表U23氧模塊價(jià)格|PID傳感器 |總代理|代表處|授權(quán)代理商|辦事處|分公司|全資子公司|價(jià)格|品牌|批發(fā)|選型|維修|校準(zhǔn)
