最安全可靠的嵌入式集成開發(fā)環(huán)境
√MULTI IDE √DoubleCheck √TimeMachine √Green Hills Probe √SuperTrace Probe √RTOS
MULTI 集成開發(fā)環(huán)境
Green Hills軟件公司的MULTI IDE提供一種具有調(diào)試、編譯器和閃存編程工具的集成開發(fā)環(huán)境,包括 AUTOSAR 集成、性能分析器、項(xiàng)目構(gòu)建器、代碼覆蓋、運(yùn)行時(shí)錯(cuò)誤檢查、MISRA C 代碼檢查和DoubleCheck? 集成式靜態(tài)代碼分析器。
高安全 高可靠
Green Hills 已從 TüV NORD 和 exida 獲得認(rèn)證,使得 Green Hills IDE 成為市場(chǎng)上可以獲得的唯一一個(gè)經(jīng)過認(rèn)證,滿足 SIL 4(安全完整性水平)和 ASIL D(汽車安全完整性水平)工具資質(zhì)要求的工具鏈。同時(shí)取得了目前世界頂級(jí)的功能安全標(biāo)準(zhǔn)“DO-178B Level A”和安全規(guī)格“EAL6+”。
產(chǎn)品結(jié)構(gòu)
Green Hills的MULTI集成環(huán)境綜合了軟件開發(fā)和調(diào)試過程中要用到的各種工具,如源級(jí)調(diào)試器、項(xiàng)目管理器、版本控制器、文本編輯器、事件分析器、可視化圖形瀏覽器、代碼覆蓋率分析器、靜態(tài)代碼分析器、TimeMachine/性能分析器、實(shí)時(shí)錯(cuò)誤錯(cuò)檢測(cè)器、ARM指令集仿真器以及底層調(diào)試接口等。用戶可方便地在MULTI環(huán)境中利用上述工具來開發(fā)應(yīng)用程序。
產(chǎn)品優(yōu)勢(shì):
1)工程化管理:通過項(xiàng)目管理器實(shí)現(xiàn)對(duì)項(xiàng)目源文件、目標(biāo)文件、庫文件以及子項(xiàng)目的統(tǒng)一管理,顯示程序結(jié)構(gòu),檢測(cè)文件相互依賴關(guān)系,提供編譯和鏈接的圖形設(shè)置窗口,并可對(duì)編程語言的進(jìn)行特定環(huán)境設(shè)定。
2)系統(tǒng)事件分析:通過事件分析器為用戶觀察和跟蹤各類應(yīng)用系統(tǒng)運(yùn)行和RTOS事件的可配置圖形化界面,并對(duì)以下事件提供基于時(shí)間的測(cè)量:上下文切換、信號(hào)量獲取/釋放、中斷和異常、消息發(fā)送/接受、用戶定義事件。
3)系統(tǒng)性能分析:通過性能分析器提供對(duì)代碼運(yùn)行時(shí)間的剖析,可基于表格或圖形顯示結(jié)果,有效的幫助用戶優(yōu)化代碼。
4)實(shí)時(shí)運(yùn)行錯(cuò)誤檢查:通過實(shí)時(shí)運(yùn)行錯(cuò)誤檢查工具提供對(duì)程序運(yùn)行錯(cuò)誤的實(shí)時(shí)檢測(cè),對(duì)程序代碼大小和運(yùn)行速度只有極小影響,并具有內(nèi)存泄漏檢測(cè)功能。
5)代碼靜態(tài)分析:提供在不運(yùn)行代碼的方式下,通過詞法分析、語法分析、控制流分析等技術(shù)對(duì)程序代碼進(jìn)行掃描,驗(yàn)證代碼是否滿足規(guī)范性、安全性、可靠性、可維護(hù)性等指標(biāo)的一種代碼分析技術(shù)。確保符合例如DO-178、ISO26262 MISRA 等安全標(biāo)準(zhǔn)!
6)代碼覆蓋率分析:提供多種測(cè)試覆蓋率分析報(bào)告,包括語句、分支、路徑和 MC/DC 覆蓋率, 幫助用戶評(píng)估測(cè)試的有效性和完整性, 以及證明符合測(cè)試和驗(yàn)證的需求,例如 DO-178、ISO26262等。
7)圖形化瀏覽器:提供對(duì)程序中的類、結(jié)構(gòu)變量、全局變量等系統(tǒng)單元的單獨(dú)顯示,并可顯示靜態(tài)的函數(shù)調(diào)用關(guān)系以及動(dòng)態(tài)的函數(shù)調(diào)用表。
8)版本控制工具:提供對(duì)應(yīng)用工程的多用戶共同開發(fā)功能。Multi IDE的版本控制工具通過配置對(duì)支持很多流行的版本控制程序,如Rational公司的ClearCase等。
產(chǎn)品支持的處理器:
Green Hills Multi 集成開發(fā)環(huán)境支持眾多流行的16位、32位和64位處理器和DSP,如PowerPC、ARM、MIPS、x86、RH850/V850、TriCore、NXP等,并支持多處理器調(diào)試。支持的處理器及相關(guān)操作系統(tǒng)信息如下表:
TimeMachine Debugging Suite 調(diào)試工具
Green Hills公司推出的TimeMachine Debugging Suite是業(yè)界首個(gè)為開發(fā)人員在程序運(yùn)行的時(shí)間維上提供向前和后向完全可視性的調(diào)試器。TimeMachine Debugging Suite可使開發(fā)人員在程序出錯(cuò)后能夠按照時(shí)間順序反向連續(xù)或單步運(yùn)行,從而易于查找錯(cuò)誤原因,避免了使用上一代調(diào)試器所必需的單調(diào)、冗長(zhǎng)的試錯(cuò)(trial-and-error)調(diào)試方法。
產(chǎn)品特點(diǎn)
具有追蹤和反向追蹤技術(shù),讓你只要追蹤到一次錯(cuò)誤,你就可以充分利用追蹤到的數(shù)據(jù),重復(fù)跟蹤指導(dǎo)錯(cuò)誤找到并修正為止;
以可視化的方法呈現(xiàn)整個(gè)程序在時(shí)間上的各種行為,讓研發(fā)人員快速查找定位修復(fù)錯(cuò)誤;
幫助工程師發(fā)現(xiàn)錯(cuò)誤、進(jìn)行測(cè)試和優(yōu)化程序,優(yōu)化嵌入式系統(tǒng)的代碼質(zhì)量,提升嵌入式產(chǎn)品質(zhì)量;
同時(shí)提供獨(dú)特的代碼覆蓋工具,確保系統(tǒng)全面測(cè)試。
DoubleCheck Static Analysis Tool 靜態(tài)分析工具
MULTI IDE的調(diào)試套件工具之一,是一款通過對(duì)C/C++代碼的整體分析,可以發(fā)現(xiàn)代碼中復(fù)雜的編程錯(cuò)誤,這些錯(cuò)誤會(huì)導(dǎo)致系統(tǒng)崩潰、內(nèi)存沖突以及其他嚴(yán)重的問題,整個(gè)分析過程它可以自動(dòng)化地執(zhí)行測(cè)試、評(píng)估測(cè)試結(jié)果并生成測(cè)試報(bào)告。套件工具的優(yōu)勢(shì)是可以提前發(fā)現(xiàn)程序隱藏錯(cuò)誤,提高代碼質(zhì)量,節(jié)省測(cè)試時(shí)間,并提供編碼規(guī)則檢查,規(guī)范軟件人員的編碼行為。
DoubleCheck Static Analysis Tool分析對(duì)象包括
? 潛在空指針監(jiān)測(cè)
? 檢查存儲(chǔ)器定位以及動(dòng)態(tài)存儲(chǔ)器分配
? 緩存區(qū)溢出檢查
? 內(nèi)存讀寫保護(hù)檢查
? 讀沒有初始化目標(biāo)的檢查
? 內(nèi)存泄漏檢查
? 不可以使用內(nèi)存檢查
? 內(nèi)存越界檢查
? 子程序錯(cuò)誤返回值檢查
? 緩存與陣列溢出檢查
? 指針調(diào)用檢查
? 初始化狀態(tài)分析
Green Hills Probe仿真器
Green Hills Probe仿真器是Green Hills公司針對(duì)嵌入式系統(tǒng)調(diào)試工具,它能很好地與MULTI IDE無縫集成,支持第三的IDE環(huán)境(如:Wind River、ARM公司的IDE等),支持最新的RTOS調(diào)試(如Android、Window Mobile、Linux、WinCE等),支持多核調(diào)試,支持遠(yuǎn)程調(diào)試,同時(shí)具有快速,可靠調(diào)試、編程和可視化圖形界面,是一個(gè)先進(jìn)、實(shí)時(shí),在線調(diào)試高端應(yīng)用的仿真器。
可重新固化內(nèi)部硬件,支持多種處理器
產(chǎn)品主要特征
? 100+ MHz JTAG TCK 速度
? 10+ MB/s 下載速度
? 千兆以太網(wǎng)支持
? 高速USB 2.0
? Web 2.0 用戶接口配置
? 不同處理器可重新配置
SuperTrace Probe仿真器
SuperTrace Probe仿真器是Green Hills軟件公司針對(duì)嵌入式系統(tǒng)調(diào)試工具之一,它能很好地與MULTI IDE無縫集成,是一套對(duì)處理器的調(diào)試和分析的跟蹤工具,為開發(fā)者在開發(fā)高性能、實(shí)時(shí)嵌入系統(tǒng)中調(diào)試特殊問題時(shí)提供先進(jìn)的可視化手段。這些實(shí)時(shí)的可視的詳細(xì)信息可用來查找復(fù)雜的、斷斷續(xù)續(xù)的問題所在,也可以用來在系統(tǒng)優(yōu)化中分析、展現(xiàn)和調(diào)整應(yīng)用。SuperTrace Probe仿真器是一個(gè)先進(jìn),實(shí)時(shí),具有跟蹤功能的在線調(diào)試器,集調(diào)試,測(cè)試和驗(yàn)證的高端應(yīng)用于一身。
主要優(yōu)勢(shì)
? 提供4GB的數(shù)據(jù)存儲(chǔ)
? 采集數(shù)據(jù)可達(dá)1.2 GHz
? 同時(shí)支持有跟蹤端口和無跟蹤端口的處理器
? 與TimeMachine 無縫集成
? 提供復(fù)雜的分析工具幫助快速定位大系統(tǒng)的運(yùn)行故障
? 支持虛擬存儲(chǔ)器對(duì)操作系統(tǒng)的跟蹤
? 對(duì)于ARM 系列,自動(dòng)匹配目標(biāo)的JTAG時(shí)鐘
? 支持不同的目標(biāo)電壓
? 支持多核處理器
? 支持精確的時(shí)間測(cè)量,可精確到Cycle.
支持的處理器
?ARM7?, ARM9?, ARM11? with ETM, Cortex?-M3, Cortex?-R4, Cortex?-A8, and Cortex?-A9
? PowerPC? 405 and 440
? Freescale? MAC71xx family (ARM)
? Freescale? Power Architecture? MPC55xx/56xx.57xx and PX families
? Freescale? i.MX (ARM)
? Freescale? ColdFire? MCF52xx/53xx/54xx families
? TI OMAP?1/2/3/4 (ARM)
? Toshiba TX49xx family
產(chǎn)品規(guī)格
Trace Memory and Timing
? 8 GB (higher capacities available)
? 7.5 ns timestamp
Communications
? 10/100/1000Base-T Ethernet
? USB 2.0 High-Speed
Trigger In/Out
? SMB in: 50 Ohm,average 50 ns delay,0 - 15 Volts
? SMB out: 1 kOhm,average 50 ns delay, 0 - 3.3 Volts
JTAG Debug Port
? JTAG clock: 2 kHz – 120 MHz
? JTAG logic levels (Volts): 3.3、 2.5、1.8、1.3
操作系統(tǒng)與系統(tǒng)集成應(yīng)用
你將獲得:
?最高標(biāo)準(zhǔn)安全與高可靠的編譯開發(fā)環(huán)境
?滿足幾乎所有國(guó)際標(biāo)準(zhǔn)
?全面支持所有主流的RTOS
?最好的嵌入式項(xiàng)目管理,包括提供MISRA C 代碼檢查
?高性能的編譯 33%代碼性能提高
?直接提供MISARA 的警告和提示
?圖形化的項(xiàng)目構(gòu)建
?提供最準(zhǔn)確的性能分析,提供功能,函數(shù)以及匯編代碼運(yùn)行時(shí)間
?運(yùn)行內(nèi)存監(jiān)測(cè)等各種錯(cuò)誤隱患
?支持多核CPU的調(diào)試
?支持Simulink 級(jí)代碼集成調(diào)試
?提供程序:事件分析器,路徑分析,覆蓋分析,存儲(chǔ)區(qū)應(yīng)用統(tǒng)計(jì)
?超大的跟蹤調(diào)試記錄8G空間不會(huì)放過每個(gè)錯(cuò)誤
?集成第三方工具如:VectorCAST, Imag4D, RTDS, ThreadX 等