2023年2月24日，國際獨立第三方檢測、檢驗和認證機構(gòu)德國萊茵TüV集團為中移智行網(wǎng)絡(luò)科技有限公司（以下簡稱“中移智行”）頒布了A-SPICE L3和ISO26262功能安全產(chǎn)品ASIL B認證證書，標志著中移智行在軟件質(zhì)量體系管理和產(chǎn)品技術(shù)方面走在行業(yè)前端，滿足國際標準要求。

2025-10-13 13:22:33.903 9

QinetiQ Space N.V.是總部位于英國的QinetiQ集團的比利時航天部門，專注于開發(fā)部署在惡劣太空環(huán)境中的高可靠性產(chǎn)品，包括航空電子設(shè)備、電力推進、微重力研究儀器、機器人系統(tǒng)、太空安全、太空探索、遙感和小型衛(wèi)星系統(tǒng)。

2025-10-11 13:28:46.453 18

NEC Telecom Software Philippines（NSP）是日本NEC Corporation 的子公司，位于馬尼拉。NSP開發(fā)寬帶和移動通信技術(shù)，以及 IT 和網(wǎng)絡(luò)解決方案，以其高質(zhì)量的輸出滿足客戶最高水平的滿意度。

2025-10-09 11:19:25.043 31

英國赫爾大學(University of Hull)是一個發(fā)展個人、社交和學術(shù)的綜合研究型大學。在最近一次的全國評估中，計算機科學研究在英國的影響力排名并列第五。專業(yè)領(lǐng)域包括計算科學、計算機游戲化、可靠地智能系統(tǒng)、機器人和人工智能、仿真和可視化。

2025-09-28 13:43:59.680 55

Smiths Medical 是全球領(lǐng)先的專業(yè)醫(yī)療設(shè)備制造商，為全球醫(yī)療保健市場提供創(chuàng)新和救生解決方案。該公司專注于輸液治療、血管通路和生命護理。

2025-09-26 11:03:44.810 46

Renovo其前身曾以電動超跑聞名，現(xiàn)已發(fā)展為自動駕駛領(lǐng)域的創(chuàng)新者。公司構(gòu)建了以邊緣為中心的數(shù)據(jù)管理平臺，作為首個面向全自動駕駛汽車復(fù)雜軟件堆棧的汽車級開發(fā)平臺，其核心目標是為客戶實現(xiàn)ADAS系統(tǒng)的大規(guī)模開發(fā)、部署與全生命周期數(shù)據(jù)管理。

2025-09-25 14:31:19.513 44

這家航空電子公司專注于開發(fā)符合DO-178C標準的航空電子系統(tǒng)，涵蓋飛機態(tài)勢感知、無線電與音頻管理、數(shù)據(jù)采集及機載計算機系統(tǒng)等領(lǐng)域。在軟件開發(fā)中，引入了Parasoft C/C++test——一套用于靜態(tài)代碼分析、單元測試和覆蓋度驗證的自動化測試平臺，以確保代碼符合DO-178C等航空安全標準。

2025-09-24 11:46:51.683 53

Parasoft C/C++test 是一款專業(yè)的自動化軟件測試工具，為嵌入式開發(fā)提供高質(zhì)量的代碼保障。覆蓋了靜態(tài)分析、單元測試與運行時錯誤檢測等多個關(guān)鍵環(huán)節(jié)，能夠與 IAR 開發(fā)工具有效互補，共同提升代碼質(zhì)量。二者在嵌入式、消費電子及工業(yè)控制領(lǐng)域應(yīng)用很廣泛。

2025-09-23 11:48:14.603 46

RISC-V官方近日宣布，首款采用Vector 1.0架構(gòu)的商用芯片K230已經(jīng)正式實現(xiàn)量產(chǎn)，這標志著RISC-V生態(tài)在高端芯片領(lǐng)域邁出重要一步；隨著芯片產(chǎn)品的規(guī)模化應(yīng)用，相應(yīng)的軟件測試需求也日益凸顯，Parasoft適時推出支持RISC-V環(huán)境的完整軟件自動化測試解決方案，幫助芯片廠商和開發(fā)者應(yīng)對功能安全認證挑戰(zhàn)，提升代碼質(zhì)量與可靠性。

2025-09-22 10:57:51.637 48

聯(lián)發(fā)科技股份有限公司，以其在無線通訊及數(shù)字多媒體等半導(dǎo)體芯片技術(shù)領(lǐng)域的創(chuàng)新成果而著稱。作為全球的IC設(shè)計巨擘，聯(lián)發(fā)科總部坐落于中國臺灣，并以其前瞻性的視野，在全球多個國家和地區(qū)設(shè)立了銷售及研發(fā)團隊，致力于提供卓越的芯片整合系統(tǒng)解決方案，以滿足日益增長的市場需求。公司高度重視軟件測試與質(zhì)量驗證，通過完善的自動化測試流程保障其芯片設(shè)計與軟件集成的可靠性與高性能，以滿足日益增長的市場需求。

2025-09-19 10:50:46.810 51