廣州智維:ASCET軟件_嵌入式應(yīng)用軟件開發(fā)
ASCET產(chǎn)品系列可實現(xiàn)基于模型的應(yīng)用軟件開發(fā),并根據(jù)這些模型自動生成代碼。ASCET產(chǎn)品專門開發(fā)用于滿足汽車行業(yè)對于嵌入式軟件實時性、效率和安全性等方面的特殊要求。

從使用框圖和狀態(tài)機(jī)進(jìn)行應(yīng)用軟件產(chǎn)品的初始設(shè)計到微控制器目標(biāo)的代碼自動生成,ASCET工具可適應(yīng)汽車行業(yè)的過程及要求(見詳情)
ASCET產(chǎn)品自1997年起成功投入使用,主要用于制動和轉(zhuǎn)向系統(tǒng)安全敏感軟件的開發(fā)。自1997年以來,ASCET開發(fā)的軟件已被廣泛用于超過6800萬個電子控制單元中。這一長期經(jīng)驗可確保保持一貫質(zhì)量的高效及安全軟件開發(fā),幫助客戶實現(xiàn)成本、質(zhì)量及面市時間方面的目標(biāo)。

功能一覽:
◆基于模型的汽車軟件開發(fā),具有實時性要求
◆自動、高效地生成電子控制單元可執(zhí)行代碼
◆移植和開發(fā)AUTOSAR軟件組件
◆可與當(dāng)前的開發(fā)環(huán)境輕松集成
◆可與當(dāng)前的C代碼和庫函數(shù)輕松集成
◆符合MISRA要求并經(jīng)認(rèn)證的代碼生成器(IEC61508 resp. ISO26262)
◆生成靈活可變的設(shè)計模型記錄文檔
◆導(dǎo)入Simulink® 和UML模型
◆可與軟件配置管理系統(tǒng)輕松整合
ASCET-MD(建模與設(shè)計)


功能一覽:
◆對軟件組件進(jìn)行物理建模
◆轉(zhuǎn)換為固點(diǎn)建模
◆帶有標(biāo)準(zhǔn)單元的可擴(kuò)展庫(如積分器、PID和限制器等)
◆AUTOSAR軟件組件的建模
◆軟件組件的模擬
◆高性能的文檔生成器
◆井井有條的試驗環(huán)境
◆集成了用于浮點(diǎn)和固點(diǎn)算法的代碼生成器(計算機(jī)模擬)
◆C代碼、庫函數(shù)以及特殊算法服務(wù)的輕松整合
◆Simulink® 模型導(dǎo)入
◆與外部合作伙伴合作時,提供ASCET軟件模型的知識產(chǎn)權(quán)保護(hù)
ASCET-RP(快速原型開發(fā))

通過ASCET-RP,軟件功能模塊與快速原型開發(fā)系統(tǒng)下的輸入/輸出和總線系統(tǒng)連接,并在OSEK操作系統(tǒng)上運(yùn)行,進(jìn)而使得接近量產(chǎn)電子控制單元環(huán)境的測試成為可能。
對于使用INCA 的標(biāo)定工程師而言,快速原型開發(fā)系統(tǒng)代表著另一個電子控制單元,并且可以通過同一機(jī)制進(jìn)行測量和標(biāo)定。因此,標(biāo)定工程師能夠得到一個同步的,同時包含了電子控制單元和快速原型開發(fā)系統(tǒng)信號的組合測量文件。
功能一覽:
◆與INCA標(biāo)定工具的接口(所需的INCA-EIP 附加軟件)
◆ES1000 和ES910快速原型硬件系統(tǒng)的接口
◆滿足實時系統(tǒng)要求時間配置(OSEK-OS)
◆對編譯程序和鏈接程序調(diào)用的集成
◆支持快速原型硬件系統(tǒng)的OSEK操作系統(tǒng)
◆實時輸入/輸出編輯器提供了一種可同時管理硬件和輸入/輸出配置的簡便方法
◆通過在線模型觀察器對模型進(jìn)行調(diào)試
ASCET-SE(軟件工程)

◆符合MISRA要求的代碼生成
◆有保障的代碼生成器
◆經(jīng)典C代碼生成或符合AUTOSAR要求的代碼生成
◆有效儲存(RAM和ROM)或運(yùn)行時間優(yōu)化代碼生成,取決于具體領(lǐng)域的要求(如用于車輛底盤還是動力傳動系的電子控制單元)
◆支持多個微控制器
ASCET-SCM(軟件配置管理)

軟件組件的模塊結(jié)構(gòu)被直接從ASCET轉(zhuǎn)換至SCM系統(tǒng)中。這使得用戶能夠輕松記錄功能相依性和項目狀態(tài)(基線、分支等),極大地簡化了同步開發(fā)工作。
功能一覽:
直接狀態(tài)顯示以及直接在ASCET開發(fā)工具中控制SCM系統(tǒng)
適用于所有SCM系統(tǒng):
MSSCCI接口
Subversion版本控制工具,已包含在交付物中。
客戶專用的SCM解決方案
功能和顯示效果均按所要求的流程以及所使用的SCM系統(tǒng)的界面進(jìn)行適配
除進(jìn)行版本控制之外,還能夠?qū)M合(子)模塊狀態(tài)進(jìn)行繪圖
集成了ASCET-DIFF實現(xiàn)不同版本模塊組件之間的圖形比較功能
ASCET-DIFF(模型差異探測器)

ASCET-DIFF可進(jìn)行模型比較,并快速高效地追蹤模型變化。該等比較不僅適用于圖形(框圖和狀態(tài)機(jī)),而且還適用于內(nèi)部特性和參數(shù)(如某一變量的實施或換算公式)。

由于可清楚顯示舊版本(已經(jīng)通過測試并發(fā)行)與新版本之間的差異,ASCET-DIFF可極大地加快后續(xù)開發(fā)模型的審核過程。

◆ASCET框圖的圖形對比
◆輕松追蹤模型變化
◆可配置的比較邏輯
◆用于比較結(jié)果的顯示濾鏡
◆可作為獨(dú)立的應(yīng)用程序或ASCET-MD的附加軟件使用
ASCET-MDV(模型瀏覽器)

通過ASCET-MDV,用戶可快速完整地查看現(xiàn)有的ASCET模型。清晰的樹形視圖為用戶提供簡易導(dǎo)航,方便其檢查可視化模型,從而全面了解模型的設(shè)計與結(jié)構(gòu)。輕松的搜索算法簡化了分級、功能和數(shù)據(jù)元查找。表格可顯示算法、測量數(shù)據(jù)、標(biāo)定數(shù)據(jù)或信息等的不同執(zhí)行方式。同時,模型化功能及操作系統(tǒng)界面可通過不同視圖顯示
因此,ASCET-MDV是一款適合于進(jìn)行審查和文檔制作的高質(zhì)量在線幫助工具。
功能一覽:
◆ASCET模型的圖形顯示
◆分級概覽ASCET模型和結(jié)構(gòu)
◆用于審查和在線文檔制作目的時,僅執(zhí)行查看和搜索功能