在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

微內核方法簡化測試和驗證

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:GREG ROSE ? 2022-11-01 10:53 ? 次閱讀

在早期,我們生活在一個物理世界中。一切都以主管模式運行,很像公社。不幸的是,由于沒有領導者,很難維持秩序并遏制錯誤和惡意代碼,因此混亂和惡作劇隨之而來。只需要一個糟糕的指針就可以讓最先進的設備屈服,見證火星探測器及其與那塊蕁麻巖石的瘋狂遭遇。

進入單片操作系統,我們開始使用內存管理單元將應用程序彼此隔離和內核隔離。在監控器模式下運行的內核是老板,執行控制和訪問物理地址(內存和 IO)、切換應用程序上下文、傳遞中斷等所需的所有特殊指令。

放置在自己的沙箱中的單個應用程序可以根據內核授予的功能自由執行。但是,應用程序彼此隔離,如果應用程序行為不佳,MMU(警察)將阻止該行為傳播到其他應用程序。單個應用程序可能會崩潰,但整個系統將幸存下來。

新的獨裁政權為混亂和混亂帶來了秩序和安全,但像大多數中央集權政府一樣,它笨拙且效率低下。它是一堆代碼,所有服務(即TCP / IP堆棧,IPC機制)和硬件設備驅動程序都以最高級別的特權運行。因此,使用它們的每個應用程序,無論多么非關鍵,都必須在最高設計保證級別(DAL)進行測試和驗證。對整體質量的任何變化,無論多么小,都需要對整個質量進行重新測試和重新驗證。

我們偉大國家的締造者預見到權力和權威集中的危險。是的,需要一個強大的中央機構來提供國防和規范各州之間的商業,但他們認識到,地方事務最好由最熟悉當地情況的人在當地處理。因此,經過一些斷斷續續的開始,我們的聯邦主義制度開始形成,某些列舉的權力授予中央聯邦政府,其余的權力委托給各州和人民。

顯然,創始人不僅僅是農民、商人和政治家。他們是第一代有遠見的嵌入式系統開發人員,否則他們以無限的智慧如何預見到現代安全關鍵型微內核,這是計算聯邦主義的體現。正如我們的祖先所設想的那樣,現代微內核僅提供應用程序所需的核心服務,例如內存映射、傳遞中斷和執行全局規則。非關鍵服務(如 I/O 和網絡)的驅動程序作為獨立的服務器實現,每個服務器都映射到自己的地址空間。通過這種方式,設備驅動程序不僅與內核隔離,而且與其他設備驅動程序和應用程序隔離,從而最大限度地減少其故障影響。

微內核方法還簡化了測試和驗證,不僅在初始設計階段,而且在將來的修改中。使用微內核體系結構,驅動程序獨立于內核,并在使用它的應用程序的權限級別運行。此外,驅動程序只需經過使用它的最高 DAL 應用程序的設計保證級別的認證。這大大減少了設計和修改驅動程序和應用程序所需的驗證和認證工作量。

另一天,我們將討論分布式設備驅動程序如何處理像 DMA 這樣的特權操作(非常酷,可以把它想象成為人民工作的國土安全部)。同時,為您的應用程序提供一個分散的政府,分配權力和權限,以實現最大的安全性、可靠性和效率。為您的下一個安全關鍵設備購買微內核操作系統

審核編輯:郭婷

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 探測器
    +關注

    關注

    14

    文章

    2657

    瀏覽量

    73289
  • 操作系統
    +關注

    關注

    37

    文章

    6901

    瀏覽量

    123819
  • 監控器
    +關注

    關注

    1

    文章

    272

    瀏覽量

    26690
收藏 人收藏

    評論

    相關推薦

    如何進行電子連接器的測試驗證

    電子連接器的測試驗證是確保其性能和質量的關鍵步驟。以下是對電子連接器進行測試驗證方法: 一、測試
    的頭像 發表于 12-20 09:49 ?470次閱讀

    BGA封裝的測試驗證方法

    隨著電子技術的發展,BGA封裝因其高集成度和高性能而成為主流的集成電路封裝方式。然而,由于其復雜的結構和高密度的焊點,BGA封裝的測試驗證變得尤為重要。 1. 視覺檢查 視覺檢查是BGA封裝測試
    的頭像 發表于 11-20 09:32 ?962次閱讀

    TTL電路的實驗與測試方法

    TTL電路的實驗與測試方法主要包括功能測試、性能測試和可靠性測試。以下是對這些測試
    的頭像 發表于 11-18 10:49 ?998次閱讀

    想要驗證ADC,DAC的SNR和DR指標,可否推薦實際相應的測試方法?

    1. 我們希望驗證ADC,DAC的SNR和DR指標,可否推薦實際相應的測試方法?比如ADC,輸入是滿幅正弦波,輸出是24BIT數字,怎么計算SNR和DR? 2. 有無ADC的差分輸入的推薦電路? 多謝!
    發表于 11-07 07:06

    環路測試的接線方法及原因

    的控制環路)注入一個擾動信號(通常是頻率變化的正弦波信號),并觀察系統的響應來評估其穩定性和性能的測試方法。該測試方法主要用于驗證系統在各種
    的頭像 發表于 10-06 16:49 ?1304次閱讀
    環路<b class='flag-5'>測試</b>的接線<b class='flag-5'>方法</b>及原因

    簡化電池測試設備中的電壓和電流測量

    電子發燒友網站提供《簡化電池測試設備中的電壓和電流測量.pdf》資料免費下載
    發表于 09-23 11:57 ?0次下載
    <b class='flag-5'>簡化</b>電池<b class='flag-5'>測試</b>設備中的電壓和電流測量

    環路測試方法有哪幾種

    環路測試(Loop Testing)是一種軟件測試方法,它通過在軟件內部創建循環來驗證程序的循環結構是否正確。這種方法特別適用于
    的頭像 發表于 09-12 14:35 ?868次閱讀

    Linux內核測試技術

    內核測試技術是實現這一目標的關鍵手段。本文將詳細介紹 Linux 內核測試的各種技術,包括單元測試、集成
    的頭像 發表于 08-13 13:42 ?609次閱讀
    Linux<b class='flag-5'>內核</b><b class='flag-5'>測試</b>技術

    機器學習中的交叉驗證方法

    在機器學習中,交叉驗證(Cross-Validation)是一種重要的評估方法,它通過將數據集分割成多個部分來評估模型的性能,從而避免過擬合或欠擬合問題,并幫助選擇最優的超參數。本文將詳細探討幾種
    的頭像 發表于 07-10 16:08 ?1491次閱讀

    ESP-IDF內核中的內存管理如何驗證

    請教一下,ESP-IDF 內核中的內存管理如何驗證
    發表于 06-19 06:30

    內核實時操作系統的介紹

    內核實時操作系統(Microkernel Real-Time Operating System, μRTOS)是一種專為實時設計的操作系統。它采用內核架構,以提高系統的可靠性、安全
    的頭像 發表于 05-11 17:13 ?580次閱讀

    FPGA開發如何降低成本,比如利用免費的IP內核

    驗證測試:集成IP內核后,需要對整個設計進行驗證測試,以確保內核的正確性和性能。這可以通
    發表于 04-28 09:41

    專用集成電路測試方法有哪些

    專用集成電路(ASIC)測試是確保ASIC芯片功能和可靠性的重要步驟。下面詳細介紹了ASIC測試的幾種方法。 邏輯功能測試(LFT): 邏輯功能測試
    的頭像 發表于 04-19 15:22 ?941次閱讀

    北京清智能科技有限公司發布IC驗證方法,實現雙DUT驗證

    智能在本周宣布新型專利“一種IC驗證中實現雙DUT驗證方法”已于今年3月獲批。該項專利內容由該集團獨立研究,申請日期優先于2024年3月26日。
    的頭像 發表于 04-08 10:07 ?633次閱讀
    北京清<b class='flag-5'>微</b>智能科技有限公司發布IC<b class='flag-5'>驗證</b>新<b class='flag-5'>方法</b>,實現雙DUT<b class='flag-5'>驗證</b>

    fpga驗證測試的區別

    FPGA驗證測試在芯片設計和開發過程中都扮演著重要的角色,但它們各自有著不同的側重點和應用場景。
    的頭像 發表于 03-15 15:03 ?1334次閱讀
    主站蜘蛛池模板: 日韩高清在线日韩大片观看网址 | 亚洲黄色网址 | www在线观看 | 亚洲xx视频 | 色吧欧美 | 在线观看一级毛片 | 日本极度另类网站 | 色五月视频 | 亚洲一区二区电影 | 黄色免费看网站 | 亚洲五月综合网色九月色 | 久久精品五月天 | 国产日本在线观看 | 一级黄色录像毛片 | www一级毛片 | 日韩精品网址 | 婷婷激情综合网 | 国产人成精品免费视频 | 3344在线| 日韩毛片高清免费 | 天天摸日日摸人人看 | 国产色在线 | 亚洲 国产色综合天天综合网 | 久久久免费精品 | 爱爱免费 | 精品久久久久国产免费 | 国产伦一区二区三区免费 | 刺激一区 | 国产真实灌醉美女疯狂弄 | 98色花堂永久地址国产精品 | 黄色三级网站免费 | 天天干天天干天天干天天干天天干 | 亚洲精品视频免费 | 亚洲欧美在线精品一区二区 | 成人黄性视频 | 亚洲成人一级片 | 四虎永久免费地址在线网站 | 亚洲综合五月天婷 | 天天操夜夜操视频 | 四虎永久在线精品视频免费观看 | 色香焦 | 小毛片在线观看 |