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