2023年2月24日,國際獨立第三方檢測、檢驗和認證機構德國萊茵TüV集團為中移智行網絡科技有限公司(以下簡稱“中移智行”)頒布了A-SPICE L3和ISO26262功能安全產品ASIL B認證證書,標志著中移智行在軟件質量體系管理和產品技術方面走在行業前端,滿足國際標準要求。
QinetiQ Space N.V.是總部位于英國的QinetiQ集團的比利時航天部門,專注于開發部署在惡劣太空環境中的高可靠性產品,包括航空電子設備、電力推進、微重力研究儀器、機器人系統、太空安全、太空探索、遙感和小型衛星系統。
NEC Telecom Software Philippines(NSP)是日本NEC Corporation 的子公司,位于馬尼拉。NSP開發寬帶和移動通信技術,以及 IT 和網絡解決方案,以其高質量的輸出滿足客戶最高水平的滿意度。
英國赫爾大學(University of Hull)是一個發展個人、社交和學術的綜合研究型大學。在最近一次的全國評估中,計算機科學研究在英國的影響力排名并列第五。專業領域包括計算科學、計算機游戲化、可靠地智能系統、機器人和人工智能、仿真和可視化。
Smiths Medical 是全球領先的專業醫療設備制造商,為全球醫療保健市場提供創新和救生解決方案。該公司專注于輸液治療、血管通路和生命護理。
Renovo其前身曾以電動超跑聞名,現已發展為自動駕駛領域的創新者。公司構建了以邊緣為中心的數據管理平臺,作為首個面向全自動駕駛汽車復雜軟件堆棧的汽車級開發平臺,其核心目標是為客戶實現ADAS系統的大規模開發、部署與全生命周期數據管理。
這家航空電子公司專注于開發符合DO-178C標準的航空電子系統,涵蓋飛機態勢感知、無線電與音頻管理、數據采集及機載計算機系統等領域。在軟件開發中,引入了Parasoft C/C++test——一套用于靜態代碼分析、單元測試和覆蓋度驗證的自動化測試平臺,以確保代碼符合DO-178C等航空安全標準。
Parasoft C/C++test 是一款專業的自動化軟件測試工具,為嵌入式開發提供高質量的代碼保障。覆蓋了靜態分析、單元測試與運行時錯誤檢測等多個關鍵環節,能夠與 IAR 開發工具有效互補,共同提升代碼質量。二者在嵌入式、消費電子及工業控制領域應用很廣泛。
RISC-V官方近日宣布,首款采用Vector 1.0架構的商用芯片K230已經正式實現量產,這標志著RISC-V生態在高端芯片領域邁出重要一步;隨著芯片產品的規模化應用,相應的軟件測試需求也日益凸顯,Parasoft適時推出支持RISC-V環境的完整軟件自動化測試解決方案,幫助芯片廠商和開發者應對功能安全認證挑戰,提升代碼質量與可靠性。
聯發科技股份有限公司,以其在無線通訊及數字多媒體等半導體芯片技術領域的創新成果而著稱。作為全球的IC設計巨擘,聯發科總部坐落于中國臺灣,并以其前瞻性的視野,在全球多個國家和地區設立了銷售及研發團隊,致力于提供卓越的芯片整合系統解決方案,以滿足日益增長的市場需求。公司高度重視軟件測試與質量驗證,通過完善的自動化測試流程保障其芯片設計與軟件集成的可靠性與高性能,以滿足日益增長的市場需求。