hightec成立於2023年,是商業開源編譯器**商,旨在為嵌入式軟體開發提供可靠和安全的工具。hightec編譯器可移植性較強,在軟體正式發布之前,使用者可使用支援其晶元的新版本編譯器進行開發工作。pxros-hr作為經過認證的微核心實時作業系統,為使用者提供資料保護,保證軟體功能安全以及健壯性。
hightec編譯器
hightec在此領域有30年的經驗,擁有多核多架構支援以及優化技術。
• 主要功能
hightec編譯器通過優化技術,以很小的空間占用成本,生成執行速度快的**。編譯器可以通過其命令列介面進行批處理,也可以在ide中使用,例如hightec基於eclipse的安全多核平台。hightec編譯器擁有比同類產品更快的構建系統,支援並行編譯過程。
編譯器包括:
♦ 特定語言的前端
♦ 全域性優化器
♦ 特定目標的優化器
♦ 商業庫(未開源)
hightec c/c++編譯器符合eabi標準,符合ansi/iso c和c++編譯器標準,包括c89,c99。使用者可以根據自身具體要求進行選取,如程式語言,目標體系結構,根據速度或**大小優化效能級別以及除錯級別。
• 多架構
hightec編譯器支援不同嵌入式架構,允許從乙個架構遷移到另乙個架構。針對不同架構,使用同乙個開發工具可縮短學習曲線,提高生產力並縮短產品上市時間。支援以**繫結構:
♦ tricore/aurix
♦ power architecture
♦ rh850
♦ arm
• 多核支援
在汽車行業的多核應用中,使用所謂的公共鏈結。這意味著分布在不同核心上的應用程式可以共享資料或**。
大多數汽車應用程式都包含起初並未設計用於多核環境的遺留**。因此,將應用程式從單核遷移到多核而不需要更改源**顯得尤為重要。為了滿足這一需求,hightec提供了一種被稱作高階多核支援的方法,可以輕鬆地將鏈結器級別的**和資料對映到不同的核,而無需更改源**。此功能使客戶輕鬆實現現有**的重用。
不同核之間的資料交換由隱藏和可見的概念來處理,該概念在鏈結器級別指定核之間的使用者定義介面。必須明確指定資料和**,以便除了它們所屬的核心之外的任何其他核心都可見。鏈結器能夠鏈結不同核心架構的目標檔案,並生成乙個結果輸出elf檔案。這種多核功能由偵錯程式**商支援,如isystem,lauterbach和pls。
• iso 26262支援
我們為客戶提供編譯器資格認證工具包(qkit),可以通過簡單方便的方式執行標準的合規認證。qkit包含乙個與validas ag合作開發的資格支援工具(qst)和乙個自動化測試框架。qst包括編譯器工具鏈的詳細模型,並根據客戶的用例生成資格認證所需的測試和文件,進行分支覆蓋分析以滿足安全標準iso26262。工具通常使用源**的檢測來實現此目的。但是,檢測會更改應用程式的二進位制**,因此分析的應用程式和最終應用程式會有所不同。hightec提供了一種執行分支覆蓋分析的替代方法,而不是檢測hightec編譯器的源**:在應用程式的單獨除錯部分中輸出應用程式的控制流,此資訊可與偵錯程式一起使用,以執行應用程式的分支覆蓋分析。
♦ 詳細的mapfile
♦ elf檔案的轉儲器
生成的資料以標準xml格式輸出,還包含有關**和資料核心分配的資訊。核間的通訊被列在對映檔案的交叉引用表中。使用者根據這些資訊可以編寫指令碼來驗證輸出和應用程式的一致性。
實時作業系統
pxros-hr是乙個功能強大的認證實時作業系統,可以應對未來多核軟體開發的複雜性。
• 實時微核心作業系統
pxros-hr實現了透明中斷的概念。微核心既沒有中斷鎖定也沒有延遲,因此可以通過中斷服務程式隨時中斷。
使用pxros-hr,中斷服務程式完全由應用程式控制。它可以使用os服務的乙個子集,例如,通過事件將訊號傳送到任務。os服務不是在中斷級別執行,而是在從中斷級別返回到任務級別時執行。
• 有記憶體保護機制的任務間通訊
嚴格封裝所有元件是pxros-hr中最重要的安全原則。作業系統使用硬體記憶體保護單元(mpu)在執行時保護所有應用程式物件,包括任務間通訊。pxros-hr管理任務的mpu,在任務的切換期間對相應的mpu暫存器重新程式設計。
♦ 受記憶體保護的通訊
♦ 避免共享記憶體
♦ 通訊物件作為引用傳遞
♦ 保護外圍裝置訪問
資格認證套件
hightec公司通過提供適當的錯誤檢測,支援使用者對編譯器工具鏈進行資格認證。此外,hightec與validas ag合作開發了一套資格套件(qkit),可自動完成相關認證過程。
生成的安全檔案:
♦ 工具分類報告
♦ 工具安全手冊(減輕潛在錯誤的措施)
♦ 工具資格認證計畫(驗證目標,標準要求)
♦ 工具資格報告(已使用的用例和功能,測試結果工具置信度)
下圖說明了認證過程的基本工作流程:
與基於預設工具設定和非相關測試套件的標準安全手冊相反,hightec獨特的方法為使用者提供了一套定製的安全文件。這些安全文件基於使用者的特定和優化的工具設定,這些設定與需要認證的應用相關。qkit在多種體系架構中都可用,例如tricore/aurix, arm以及power architecture。
CircuitPython準備開發工具鏈
雖然circuitpython官方發布平台說也可以支援windows作業系統平台的編譯,但考慮到circuitpython原生開發平台就是ubunut,我希望遵循開發者的操作流程,從而避免一些由於跨平台而帶來的不必要的麻煩.電腦還是執行在windows作業系統平台上 辦公電腦上統一安裝windows...
安裝uclinux開發工具鏈
ubuntu10.04lts下安裝arm elf開發工具鏈。2.建立安裝目錄 sudo mkdir usr local armtools 3.拷貝工具鏈安裝檔案到 usr local armtools下 4.更改工具鏈到執行許可權 sudo chmod x arm elf tools 2004042...
RealView MDK開發工具
arm 2009 03 02 16 30 54 閱讀335 字型大小 大 中小 realview mdk開發工具源自德國keil公司,被全球超過10萬的嵌入式開發工程師驗證和使用,是arm公司目前最新推出的針對各種嵌入式處理器的軟體開發工具。realview mdk整合了業內最領先的技術,融合了中國...