婷婷色国产精品视频一区_亚洲精品成AV无在线观看_免费无码又爽又刺激高潮的视频网站_久久久久久久尹人综合网亚洲_国产精品久久久久久久久免费观看_97日日碰日日摸日日澡_在线精品无码一区二区三区_依依成人影视国产精品
SCADE Display軟件設(shè)計(jì)文檔生成器與國(guó)產(chǎn)替代軟件解決方案|埃登威自動(dòng)化系統(tǒng)設(shè)備(上海)有限公司
SCADE Display軟件設(shè)計(jì)文檔生成器與國(guó)產(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)入了我國(guó)的裝備研制過程中。使用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ì)文檔生成器與國(guó)產(chǎn)替代軟件解決方案


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

中國(guó)航K工業(yè)集團(tuán)有限公司 成都F機(jī)設(shè)計(jì)研究所
西安航K計(jì)算技術(shù)研究所
西安自動(dòng)F行控制研究所
洛陽電光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ù)有限公司


▌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ì)文檔生成器與國(guó)產(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ì)文檔生成器與國(guó)產(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ì)文檔生成器與國(guó)產(chǎn)替代軟件解決方案信息請(qǐng)直接致電埃登威上海021-55581219

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

施秉县| 克拉玛依市| 江川县| 蓬莱市| 随州市| 岚皋县| 安康市| 镇康县| 兰西县| 许昌县| 美姑县| 碌曲县| 视频| 宜宾市| 申扎县| 阿克苏市| 襄汾县| 丰镇市| 通州区| 买车| 田林县| 隆安县| 潼南县| 同仁县| 旅游| 镇安县| 个旧市| 大竹县| 左权县| 秦皇岛市| 天峻县| 宜宾市| 中超| 平远县| 枞阳县| 抚顺市| 泾阳县| 青神县| 长武县| 阿巴嘎旗| 柳江县|