Qt客戶案例:符合醫(yī)療軟件架構(gòu)要求的高標(biāo)準(zhǔn)源代碼檢查解決方案

Qt客戶案例:符合醫(yī)療軟件架構(gòu)要求的高標(biāo)準(zhǔn)源代碼檢查解決方案的圖1

作為全球領(lǐng)先的醫(yī)療技術(shù)公司之一,西門子醫(yī)療(Siemens Healthineers)在七十多個(gè)國(guó)家擁有約66,000名員工。公司主要提供診斷與治療成像、實(shí)驗(yàn)室診斷以及分子醫(yī)學(xué)等領(lǐng)域的多類產(chǎn)品。這些產(chǎn)品系列的軟件由公司分布在全球各地的開發(fā)團(tuán)隊(duì)負(fù)責(zé)設(shè)計(jì)、開發(fā)和維護(hù)。

Qt客戶案例:符合醫(yī)療軟件架構(gòu)要求的高標(biāo)準(zhǔn)源代碼檢查解決方案的圖2
為在如此龐大的團(tuán)隊(duì)中始終保持高質(zhì)量的軟件品質(zhì),西門子醫(yī)療的計(jì)算機(jī)斷層掃描(CT)嵌入式軟件團(tuán)隊(duì)需要一款自動(dòng)分析和驗(yàn)證軟件架構(gòu)及源代碼的自動(dòng)化工具,同時(shí)需要與現(xiàn)有系統(tǒng)保持兼容。他們?cè)贏xivion Suite中找到了答案:Axivion工具套件完全契合高標(biāo)準(zhǔn)的要求。
“得益于在實(shí)施過程中的支持以及專業(yè)服務(wù)團(tuán)隊(duì)的出色支持,我們很快就輕松地將Axivion Suite集成到我們的開發(fā)環(huán)境中。現(xiàn)在軟件中幾乎不存在架構(gòu)違例,而且在全球范圍內(nèi),我們的開發(fā)團(tuán)隊(duì)都實(shí)現(xiàn)了更高標(biāo)準(zhǔn)的架構(gòu)符合性代碼。”

面對(duì)挑戰(zhàn)

遵守全球標(biāo)準(zhǔn)是至關(guān)重要的,尤其是在醫(yī)療技術(shù)領(lǐng)域。西門子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)所使用的任何驗(yàn)證架構(gòu)和代碼的工具,不僅需要滿足IEC 62304國(guó)際標(biāo)準(zhǔn)所涵蓋的醫(yī)療器械軟件開發(fā)規(guī)范,還必須滿足客戶的高要求,例如確保遵守美國(guó)國(guó)防部的要求。除了遵循通用的標(biāo)準(zhǔn)之外,還需將CT設(shè)備嵌入式軟件團(tuán)隊(duì)的個(gè)人編碼準(zhǔn)則納入檢查。在此方面,任何新工具都應(yīng)確保自動(dòng)化分析和檢查能無縫地融入全球分布的團(tuán)隊(duì)工作流程中,對(duì)現(xiàn)有代碼與新代碼進(jìn)行系統(tǒng)性化檢查。
其中一個(gè)必不可少的前提條件是,新工具必須與開發(fā)者已經(jīng)熟悉的專有系統(tǒng)兼容,如IDE、構(gòu)建環(huán)境、編譯器和配置管理系統(tǒng)。此外,開發(fā)過程是在虛擬機(jī)中使用原生Linux構(gòu)建,然后通過Windows啟動(dòng),所以任何新工具都需要能夠適應(yīng)這種配置。
在選擇工具時(shí),軟件架構(gòu)是一個(gè)需要重點(diǎn)考慮的關(guān)鍵因素,因?yàn)槲鏖T子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)正借助UML工具不斷改進(jìn)這一架構(gòu)。
作為自動(dòng)化分析和檢查過程的一部分,該工具必須能夠持續(xù)確保與這些工具建模的軟件架構(gòu)以及設(shè)計(jì)準(zhǔn)則的一致性。
解決方案
在對(duì)市場(chǎng)上可用的工具進(jìn)行全面評(píng)估后,西門子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)選擇了Axivion Suite,該套件滿足了所有規(guī)定的標(biāo)準(zhǔn)。來自Axivion的專業(yè)服務(wù)團(tuán)隊(duì)在將驗(yàn)證過的架構(gòu)和代碼分析工具與公司自有系統(tǒng)環(huán)境融合的過程中提供了支持。在初步配置的過程中,該團(tuán)隊(duì)與CT設(shè)備嵌入式軟件團(tuán)隊(duì)的開發(fā)者共同簡(jiǎn)化和標(biāo)準(zhǔn)化了編碼規(guī)則,并將它們應(yīng)用于開發(fā)和分析環(huán)境以進(jìn)行自動(dòng)檢查。除了確保無縫部署,Axivion還負(fù)責(zé)員工培訓(xùn)和提供即時(shí)支持。這樣一來,員工會(huì)更容易接受新工具,因?yàn)榭焖俚募珊蛯?shí)用的培訓(xùn)讓整個(gè)全球開發(fā)團(tuán)隊(duì)很快取得了積極的成果,提升了他們的積極性。
代碼分析會(huì)在微軟Team Foundation Server(TFS)上自動(dòng)運(yùn)行。隨著全球各地的開發(fā)團(tuán)隊(duì)的新項(xiàng)目不斷增加,這些項(xiàng)目會(huì)立即在Axivion套件上使用一致的方式進(jìn)行分析。
成功實(shí)踐
通過應(yīng)用Axivion套件,西門 子醫(yī)療CT設(shè)備嵌入式軟件團(tuán)隊(duì)擁有了一個(gè)可進(jìn)行代碼分析和架構(gòu)驗(yàn)證的高度集成工具,用于確保設(shè)備軟件的高質(zhì)量。遍及全球的團(tuán)隊(duì)開發(fā)者依賴自動(dòng)化分析在提交代碼前本地檢查并在必要時(shí)修正他們的新代碼,或發(fā)起進(jìn)一步的架構(gòu)調(diào)整。本地代碼檢查避免了與在全球范圍內(nèi)實(shí)施的統(tǒng)一架構(gòu)模型產(chǎn)生偏差。
這幾乎杜絕了架構(gòu)違例問題,尤其是因?yàn)閱T工能夠立刻獲得關(guān)于他們編寫代碼的反饋,這有助于他們更好地理解新的架構(gòu)指南,從而在長(zhǎng)期內(nèi)更有效地實(shí)施這些需求。
檢查特定編碼準(zhǔn)則也明顯提高了軟件質(zhì)量,目前已經(jīng)滿足了最高標(biāo)準(zhǔn)要求,并符合例如美國(guó)國(guó)防部對(duì)源代碼檢查的標(biāo)準(zhǔn)。
關(guān)于西門子醫(yī)療
西門子醫(yī)療股份公司(于德國(guó)法蘭克福上市,股票代碼SHL)正塑造著醫(yī)療行業(yè)的未來。作為一家總部位于德國(guó)埃朗根的領(lǐng)先醫(yī)療技術(shù)公司,西門子醫(yī)療通過其分布在全球各地的分公司,幫助醫(yī)療供應(yīng)商在發(fā)展精準(zhǔn)醫(yī)學(xué)、改進(jìn)護(hù)理服務(wù)、提升患者體驗(yàn)以及推行醫(yī)療數(shù)字化上創(chuàng)造更高的價(jià)值。西門子醫(yī)療將持續(xù)發(fā)展其產(chǎn)品和服務(wù)系列,推動(dòng)人工智能應(yīng)用和數(shù)字化服務(wù)為下一代醫(yī)療技術(shù)賦能。
這些新應(yīng)用將加強(qiáng)公司在體外診斷、影像引導(dǎo)療法、體內(nèi)診斷以及創(chuàng)新癌癥護(hù)理領(lǐng)域的競(jìng)爭(zhēng)力。西門子醫(yī)療還提供了一系列服務(wù)和解決方案,以增強(qiáng)醫(yī)療供應(yīng)商的能力,為患者提供高質(zhì)量、高效的醫(yī)療護(hù)理。
在截至2020年9月30日(2020年財(cái)年),西門子醫(yī)療的營(yíng)收為145億歐元,調(diào)整后息稅前利潤(rùn)(EBIT)為22億歐元。在收購(gòu)?fù)呃锇册t(yī)療系統(tǒng)有限公司(Varian Medical Systems, Inc.)后,公司全球員工增長(zhǎng)至約66,000名。
關(guān)于Axivion
Axivion公司總部位于德國(guó)斯圖加特,是一家為靜態(tài)代碼分析和防止軟件腐化提供創(chuàng)新軟件解決方案的供應(yīng)商。Axivion的核心產(chǎn)品是Axivion Suite,這是一款用于提高用C、C++和C#編程語言實(shí)現(xiàn)的軟件系統(tǒng)的軟件質(zhì)量和可維護(hù)性的工具套件。除了靜態(tài)代碼分析之外,該工具套件還包括用于架構(gòu)驗(yàn)證和代碼克-隆管理的軟件工具。
Axivion的MISRA檢查器支持100%的所有可自動(dòng)測(cè)試的MISRA規(guī)則,此外,還支持AUTOSAR C++14風(fēng)格指南、CERT?編程規(guī)則(用于安全軟件開發(fā))、ISO/IEC TS 17961規(guī)則以及CWE規(guī)則。根據(jù)IEC 62304標(biāo)準(zhǔn),Axivion套件的靜態(tài)代碼分析功能已通過認(rèn)證,可用于安全等級(jí)高達(dá)C類的醫(yī)療系統(tǒng)。同時(shí),Axivion的專業(yè)服務(wù)團(tuán)隊(duì)致力于為客戶在工具配置和集成方面提供支持。
自2022年8月起,Axivion公司已加入Qt Group旗下。



深圳市優(yōu)飛迪科技有限公司成立于2010年,是一家專注于產(chǎn)品開發(fā)平臺(tái)解決方案與物聯(lián)網(wǎng)技術(shù)開發(fā)的國(guó)家級(jí)高新技術(shù)企業(yè)。

十多年來,優(yōu)飛迪科技在數(shù)字孿生、工業(yè)軟件尤其仿真技術(shù)、物聯(lián)網(wǎng)技術(shù)開發(fā)等領(lǐng)域積累了豐富的經(jīng)驗(yàn),并在這些領(lǐng)域擁有數(shù)十項(xiàng)獨(dú)立自主的知識(shí)產(chǎn)權(quán)。同時(shí),優(yōu)飛迪科技也與國(guó)際和國(guó)內(nèi)的主要頭部工業(yè)軟件廠商建立了戰(zhàn)略合作關(guān)系,能夠?yàn)榭蛻籼峁┩暾漠a(chǎn)品開發(fā)平臺(tái)解決方案。

優(yōu)飛迪科技技術(shù)團(tuán)隊(duì)實(shí)力雄厚,主要成員均來自于國(guó)內(nèi)外頂尖學(xué)府、并在相關(guān)領(lǐng)域有豐富的工作經(jīng)驗(yàn),能為客戶提供“全心U+端到端服務(wù)”。

Qt客戶案例:符合醫(yī)療軟件架構(gòu)要求的高標(biāo)準(zhǔn)源代碼檢查解決方案的圖3

登錄后免費(fèi)查看全文
立即登錄
App下載
技術(shù)鄰APP
工程師必備
  • 項(xiàng)目客服
  • 培訓(xùn)客服
  • 平臺(tái)客服

TOP

1