亚洲精品最新自产拍在线观看-9久9精品视频免费观看-国内少妇高潮嗷嗷叫在线播放-精液射进小穴里了好爽的视频

SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案|埃登威自動(dòng)化系統(tǒng)設(shè)備（上海）有限公司
SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案

SCADE Display軟件設(shè)計(jì)文檔生成器（以下簡(jiǎn)稱SDYSDDGEN）是由愛韋訊自主研發(fā)的軟件開發(fā)工具，其生成的 SCADE Display 軟件模型的軟件設(shè)計(jì)文檔能夠符合DO-178B/C或 GJB438B對(duì)軟件設(shè)計(jì)文檔的要求。借助SDYSDDGEN，您將可以專注于SCADE Display模型開發(fā)，而不必再耗費(fèi)時(shí)間和心力編寫描述模型的軟件設(shè)計(jì)文檔，也不必關(guān)注文檔樣式、結(jié)構(gòu)、內(nèi)容、細(xì)節(jié)，一切都可以一鍵完成。

來自埃登威旗下的形式化驗(yàn)證的代碼生成工具M(jìn)odelCoder
ModelCoder的介紹

在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對(duì)算法或者控制邏輯進(jìn)行可視化建模，然后生成高可靠的二進(jìn)制代碼逐漸成為了**關(guān)鍵領(lǐng)域的主流軟件開發(fā)方式。由我司自主開發(fā)的ModelCoder是一款支持多種嵌入式系統(tǒng)建模并可以自動(dòng)生成高**可靠的C代碼的軟件設(shè)計(jì)和開發(fā)工具。ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過程經(jīng)過了形式化驗(yàn)證，保證生成過程的正確無誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個(gè)**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開發(fā)。SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案


我們的國產(chǎn)自主仿真軟件已有如下客戶在使用：

中國航K工業(yè)集團(tuán)有限公司 成都F機(jī)設(shè)計(jì)研究所
西安航K計(jì)算技術(shù)研究所
西安自動(dòng)F行控制研究所
洛陽電光S備研究所
中國航T科技集團(tuán)有限公司 四川航T技術(shù)研究院
上海航T技術(shù)研究院
上海航T控制技術(shù)研究所
上海衛(wèi)X工程研究所
中國航T科工集團(tuán)有限公司 航天X院
航天X江集團(tuán)
中國船B工業(yè)集團(tuán)有限公司 中國船B工業(yè)系統(tǒng)工程研究院
中國電Z科技集團(tuán)有限公司 第X研究所
第5XX研究所
中國電Z信息產(chǎn)業(yè)集團(tuán)有限公司 武漢中原D子集團(tuán)有限公司
中國核工Y集團(tuán)有限公司 中國He動(dòng)力研究設(shè)計(jì)院
廣東H電集團(tuán)
中國航K發(fā)動(dòng)機(jī)集團(tuán)有限公司 中國航F商用航K發(fā)動(dòng)機(jī)有限責(zé)任公司
高校合作 清華大學(xué)
武漢理工大學(xué)
重慶交通學(xué)院
新疆農(nóng)業(yè)職業(yè)技術(shù)學(xué)院
中國礦業(yè)大學(xué)
華南理工大學(xué)
北京交通大學(xué)
湖南大學(xué)
合肥工業(yè)大學(xué)
中國科學(xué)技術(shù)大學(xué)
西安電子科技大學(xué)
中山大學(xué)
山東科技大學(xué)
遼寧工程技術(shù)大學(xué)
河南工業(yè)大學(xué)
天津理工大學(xué)
成都電子科技大學(xué)
中國人民解放軍裝甲兵工程學(xué)院
其他客戶 華為
北京星地恒通
重慶慧爾科技
蘇州勝利科技有限公司
天津華寧電子
大連微龍軟件有限公司
廣州國筆科技公司
北京國威集成技術(shù)有限公司


▌SDYSDDGEN產(chǎn)品目標(biāo)

★ 生成SCADE Display軟件模型的軟件設(shè)計(jì)文檔
★ 生成文檔支持中文或英文
★ 符合DO-178B/C或GJB438B對(duì)軟件設(shè)計(jì)文檔的要求
★ 生成文檔支持Office Word和Excel
★ 符合用戶單位的軟件設(shè)計(jì)文檔模板的要求SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案





▌SDYSDDGEN產(chǎn)品特色

 高效易用
SDYSDDGEN支持命令行和GUI界面運(yùn)行，操作簡(jiǎn)便，生成效率極高。生成一份3000頁20萬字，包含大量圖、表的文檔只需20秒。

 統(tǒng)一文檔
SCADE Display的一個(gè)項(xiàng)目一般由一個(gè)SGFX文件和多個(gè)OGFX文件組成。工程的項(xiàng)目開發(fā)計(jì)劃一般要求編制一份軟件設(shè)計(jì)文檔。SDYSDDGEN允許針對(duì)一個(gè)SCADE Display項(xiàng)目生成一份軟件設(shè)計(jì)文檔，即包括SGFX文件和所有相關(guān)的OGFX文件。

 **標(biāo)識(shí)符
SDYSDDGEN支持直接使用用戶在建模時(shí)定義的標(biāo)識(shí)符，不加任何前綴；也支持對(duì)用戶定義的標(biāo)識(shí)符增加表達(dá)層次編號(hào)的前綴。兩種模式可以自由切換。

 清晰明確的設(shè)計(jì)表述SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案
SDYSDDGEN生成的文檔結(jié)構(gòu)更為清晰，對(duì)需求的描述更為準(zhǔn)確：
★ 每個(gè)圖構(gòu)件的設(shè)計(jì)說明是一個(gè)單獨(dú)的章節(jié)；
★ 用需求標(biāo)識(shí)符(格式可由用戶指定，例如：[SDD-1])指明需求描述；
★ 使用關(guān)鍵詞“應(yīng)”（英文版用shall）指明表格是圖構(gòu)件的需求規(guī)格；
★ Property的名稱與SFGX/OGFX文件一致（例如，用Rotate angle而不是Angle）；
★ 增加SDYReporter未列出的屬性（例如Static properties和Static init）；
★ 指明圖構(gòu)件的圖像是參考而不是需求。其他產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點(diǎn)儀,熱導(dǎo)氣體分析儀,GE流量計(jì),OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗(yàn)證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點(diǎn)儀,干燥機(jī)露點(diǎn)儀,激光氣體分析儀,便攜式露點(diǎn)儀,便攜式微量氧分析儀西門子氧電池\oxy-12\ultramat-23代表U23氧模塊價(jià)格|PID傳感器 |總代理|代表處|授權(quán)代理商|辦事處|分公司|全資子公司|價(jià)格|品牌|批發(fā)|選型|維修|校準(zhǔn)

 完整的圖像顯示

SDYSDDGEN生成的圖構(gòu)件圖像不是孤立的，而是能體現(xiàn)該圖構(gòu)件在整個(gè)圖層中的實(shí)際方位。

更多SCADE Display軟件設(shè)計(jì)文檔生成器與國產(chǎn)替代軟件解決方案信息請(qǐng)直接致電埃登威上海021-55581219

滬公網(wǎng)安備 31010902002456號(hào)