国产初高中生在线视频,亚洲成av人在线视,精品亚洲A∨无码一区二区三区,亚洲处破女

法國愛斯特爾技術(shù)有限公司是一家專注于為關(guān)鍵系統(tǒng)、軟件研制人員提供認(rèn)證級(jí)解決方案的公司，協(xié)助用戶提升軟件質(zhì)量、提高開發(fā)效率、縮短軟件研制周期并降低軟件研制成本。

愛斯特爾正式成立于1999年11月，總部設(shè)在法國的Elancourt，在中國、美國、德國、英國、俄羅斯、巴西、印度、韓國設(shè)有分公司或代表處。公司在全球擁有超過300家大型客戶，其解決方案已經(jīng)在全球100多所知名高校進(jìn)行教學(xué)，是為關(guān)鍵嵌入式系統(tǒng)提供基于模型設(shè)計(jì)和驗(yàn)證工具的世界級(jí)知名廠商。

SCADE產(chǎn)品體系

SCADE是法國愛斯特爾技術(shù)有限公司的主要產(chǎn)品系列。SCADE是高安全性應(yīng)用開發(fā)環(huán)境（Safety Critical Application Development Environment）的簡稱，產(chǎn)品涵蓋了高安全性嵌入式系統(tǒng)開發(fā)的各個(gè)內(nèi)容和階段。其主要產(chǎn)品有：

1.  SCADE Suite：業(yè)內(nèi)領(lǐng)先的面向高安全性的集成軟件開發(fā)環(huán)境，通過采用scade語言和統(tǒng)一的形式化語義，可實(shí)現(xiàn)基于模型的設(shè)計(jì)、仿真、驗(yàn)證、認(rèn)證級(jí)代碼生成以及與其他開發(fā)工具和平臺(tái)的交互。SCADE Suite代碼生成器可以自動(dòng)生成C代碼和 Ada代碼。

SCADE Suite基本模塊由SCADE Suite Advanced Modeler（SCADE高級(jí)建模器）、SCADE Suite KCG（代碼生成器），以及SCADE Suite Documentation Generator（模型設(shè)計(jì)文檔生成器）組成。

2.  SCADE Display：是一套靈活的面向高安全性圖形顯示和HMIs的設(shè)計(jì)與開發(fā)環(huán)境。是新一代圖形軟件開發(fā)平臺(tái)，基于該平臺(tái)可完成原型生成、設(shè)計(jì)仿真、驗(yàn)證和認(rèn)證級(jí)代碼生成等工作。

3.  SCADE LifeCycle：擴(kuò)展了SCADE產(chǎn)品對(duì)面向高安全性系統(tǒng)和軟件的完整生命周期的管理功能。主要功能包括需求和可追溯性管理工具、符合DO-178B標(biāo)準(zhǔn)的認(rèn)證計(jì)劃模板以及自動(dòng)化文檔生成器。

4.  SCADE System：基于SysML和Eclipse 標(biāo)準(zhǔn)，通過使用SCADE System來聯(lián)接 SCADE Suite、SCADE Display和SCADE LifeCycle，系統(tǒng)工程師和軟件工程師可以在同一構(gòu)架下工作，從而避免重復(fù)勞動(dòng)以及系統(tǒng)結(jié)構(gòu)和軟件行為定義之間的偏差。

5.  SCADE ARINC 661解決方案：SCADE為航空電子設(shè)備顯示系統(tǒng)研制單位提供了一套符合ARINC 661標(biāo)準(zhǔn)的完整解決方案。該方案基于現(xiàn)有的SCADE產(chǎn)品模塊，提供基于“所見即所得”的UA頁面定制、Server端widget定制以及通信代碼的生成，確保運(yùn)行時(shí)和定制時(shí)看到的外觀一致。同時(shí)，開發(fā)人員可以在SCADE Suite中對(duì)UA端邏輯與Server端Widgets屬性或事件進(jìn)行綁定和映射，實(shí)現(xiàn)對(duì)UA端控制邏輯與Server端圖形頁面（DF文件）的聯(lián)合仿真。

SCADE的功能特點(diǎn)

SCADE是一種高安全性嵌入式軟件的開發(fā)環(huán)境，它具有的以下特點(diǎn)，能夠有效地解決目前傳統(tǒng)軟件開發(fā)中存在的問題：

★ 采用形式化的設(shè)計(jì)方法，以嚴(yán)格的數(shù)學(xué)理論保證設(shè)計(jì)的完整性和無二義性；

★ 使用圖形化建模方式，易學(xué)易用，采用“基于模型”開發(fā)方式替代傳統(tǒng)的“基于代碼”的開發(fā)方式，減少了開發(fā)人員的工作量；

★ 自動(dòng)生成高質(zhì)量、無需單元測試的產(chǎn)品級(jí)C/Ada代碼，代碼與模型嚴(yán)格一致；

★ 提供高效和可靠的仿真和測試手段，可對(duì)各個(gè)開發(fā)流程進(jìn)行定量的驗(yàn)證。

法國愛斯特爾技術(shù)有限公司提供的SCADE解決方案，依靠其準(zhǔn)確的軟件需求描述、模型仿真、形式化驗(yàn)證以及高質(zhì)量的自動(dòng)代碼生成技術(shù)等手段對(duì)安全嵌入式軟件開發(fā)進(jìn)行了標(biāo)準(zhǔn)化和自動(dòng)化處理，能夠生成70%以上的產(chǎn)品代碼；省略大規(guī)模的單元測試；減少一半以上的驗(yàn)證工作；節(jié)約50%以上的開發(fā)成本；成倍地加快開發(fā)進(jìn)度；可靠地保證產(chǎn)品的安全性；并幫助我們達(dá)到DO-178B標(biāo)準(zhǔn)的要求。

上一篇：DOCGEN 普適文檔生成器