《電子技術應用》
您所在的位置:首頁 > 嵌入式技術 > 解決方案 > 助力醫療設備向多核設計轉移的操作系統特點

助力醫療設備向多核設計轉移的操作系統特點

2012-03-23

醫療設備制造商在將產品推向市場所面臨的諸多挑戰中,獲得監管部門的批準是必過一關,只有獲得相應核準,制造商才能出售其設備。為此,許多醫療設備制造商在采用多核系統設計時倍加小心,他們擔心多核的復雜性會妨礙其產品順利通過監管機構的審核。

的確,多核處理使軟件系統更趨復雜。但是無論系統運行在一個、兩個或16個處理器之上,當今的系統都已太過復雜,以致無法通過單獨測試來進行驗證。因此,設備制造商應該熟悉針對多核系統開發他們所需的驗證技術。

本文討論基于多核處理器的醫療設備系統的安全要求驗證問題,并分析可助力醫療設備向多核設計轉移的操作系統具有哪些特點。

醫療設備對日益復雜的用戶界面和高清成像(兩者都對計算能力有巨大需求)等特性的需求不斷攀升,這使得對多核處理的需求水漲船高。即便醫療系統支持越來越豐富的先進功能,它們通常也還必須滿足輕便、低功耗和低發熱的要求。

單核難以滿足上述這些要求,因為通過增加處理器時鐘速率提升計算能力的方法存在三個局限性。首先,功耗和發熱的增加速度快于時鐘速率的提升速度。其次,存儲器的速度跟不上處理器的速度。最后,資源、控制和數據間的依賴關系限制了單指令流所允許的并行程度。

關鍵的操作系統要求

對可靠性和可用性都是必要條件的醫療設備來說,可能會需要實時操作系統(RTOS),而這種RTOS需要支持對稱多處理。推薦使用一款可將進程分配給多個內核處理的單一操作系統,因為這種方法會比支持異步處理、且在每個處理器上采用不同操作系統,甚至是在不同核上采用不同操作系統等情況更容易。

選定的RTOS必須能防范由系統引發的故障,而且必須在出現故障時能夠重啟相應組件。在大多數情況下,最優選擇是一個微核架構。其中,應用、設備驅程、文件系統和網絡協議棧都駐留在核外的獨立地址空間,因而它們彼此之間,以及它們與核之間都是隔離的。

多核系統存在大量的進程和線程,因此具有軟件看門狗至關重要。看門狗是一個用戶空間的故障恢復過程,它可以檢測出故障,并立即將系統恢復到安全狀態,或在不犧牲安全性的前提下,重啟失敗的進程。

為確保系統的可靠性,RTOS還應支持:1. 時間分割(最好自適應),以確保關鍵流程不會因CPU周期不夠用而無法完成;2. 優先級繼承,以防止優先級倒置;3. 處理器親和性,它允許設計師將特定的父進程和子進程僅指派給特定內核。

設計者可以確切地決定他們要如何使用系統內可用的多個核。例如,他們可將非關鍵的、但計算密集的進程交由任何可用的內核處理,或是僅分配給一個有限的內核子集,同時將關鍵部分交由一個固定核處理,從而簡化設計、調試和驗證。

開發工具

開發人員需要為支持多核開發、調試和優化而專門設計的工具。一個工具集應支持多核RTOS,該RTOS允許開發者評估負載平衡、識別瓶頸、確定并發可能性、表征和調試運行于多個CPU上的線程間的相互作用;在內核間移動線程或進程,并測度其對系統造成的影響。時序和阻塞是棘手的問題,所以工具集應為設計師提供一種探究處理器和線程正在做什么的手段。

滿足認證要求

符合要求是醫療設備準入市場的必要條件——是投資可以轉化成收入前必須滿足的必要條件。因此,除了合適的OS特性和工具集功能外,醫療設備需要一個精心策劃的審批策略。

多核系統的復雜性可能會妨礙最終產品的認證,因而一些醫療制造商對采用多核處理猶豫不決。但值得注意的是,單核系統也存在固有的復雜性,這意味著,在實踐中,即便是單核系統也不可能僅借助測試就可對其進行驗證。多核和單核系統都是如此復雜,要展示它們的功能安全就需要技術組合,相同的技術能夠且應該同時用于驗證單核和多核系統。

為驗證軟件系統,無論其是運行在單核或多核之上,測試、統計分析和設計驗證要互為補充、統籌考慮。對于經歷過系統通過認證或批準過程的人來說,他們應該熟知所需的必要技術。這些技術包括:

測試。雖然測試只能證明缺陷的存在,而無法證明不存在缺陷,但在任何系統驗證策略中,測試仍是關鍵要素。

統計分析。對于現場用過的設備或部件的使用數據,統計分析可被用作支持可靠性要求。在驗證時,它也可與故障注入一起使用,用以評估系統中殘留的故障。

故障樹分析。以潛在或實際的故障開始,故障樹分析可用于推斷出可能的故障原因。

設計驗證。通過在開發過程中應用并借助Spin和NuSMV等工具進行回顧性分析,設計驗證可為系統的可靠性聲明提供強有力的證據支持。

設計構件。一個具有所有相關設計構件(從項目計劃到可追溯性矩陣)的成熟軟件生命周期,是任何認證案例的標準及必要組成部分。

除了最簡單的醫療設備之外,多核處理很可能是未來醫療設備的發展方向。仔細選擇操作系統,尤其要關注體系結構、處理器對線程親和性的支持以及工具集,可以減輕這些挑戰對系統設計、開發和驗證的影響。

(電子工程專輯)
圖1.隨著設備對計算能力要求的不斷增長,甚至一款相對小型的醫療設備可能也會受益于多核處理技術。

(電子工程專輯)
圖2.使用四核CPU的一種系統概述屏幕截圖。

(電子工程專輯)
圖3、測試、統計分析和設計驗證互為補充以共同驗證軟件系統,無論它是運行在單核或多核上。

本站內容除特別聲明的原創文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118;郵箱:[email protected]
主站蜘蛛池模板: 高清欧美一级在线观看 | 96精品视频在线播放免费观看 | 国产成人久久精品麻豆二区 | 欧美成a人免费观看久久 | 欧美xxxx成人免费网站 | 日本乱理伦片在线观看网址 | 视频一区欧美 | 免费国产成人手机在线观看 | 欧美一级毛片免费看高清 | 99久久精品99999久久 | 一级特黄性色生活片一区二区 | 男女男精品视频网站在线观看 | 国产精品亚洲精品一区二区三区 | 男人的天堂久久爱 | 亚洲精品国产第一区二区多人 | 加勒比色 | 日韩大片高清播放器大全 | 午夜免费片在线观看不卡 | 日韩欧美在线观看视频一区二区 | 欧美一区二区在线免费观看 | 亚洲欧美视频在线 | 日韩三级一区二区 | 亚洲一区免费视频 | 国产香蕉国产精品偷在线观看 | 毛片大片 | 亚洲成人国产精品 | 国产欧美一级片 | 久久两性 | 久久99精品免费视频 | 亚洲天堂免费在线视频 | 久久影视一区 | 99ri在线精品视频 | 99久久精品视香蕉蕉er热资源 | 中文字幕综合 | 久久精品呦女 | chinese宾馆自拍hd | 特级深夜a级毛片免费观看 特级生活片 | 五月激情丁香婷婷综合第九 | 成人1000部免费观看视频 | 亚洲天堂久久精品 | 久久亚洲国产成人影院 |