91在线观看视频-91在线观看视频-91在线观看免费视频-91在线观看免费-欧美第二页-欧美第1页

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

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

3天內不再提示

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

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:GREG ROSE ? 2022-11-01 10:53 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

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

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

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

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

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

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

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

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

審核編輯:郭婷

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

    關注

    15

    文章

    2706

    瀏覽量

    74397
  • 操作系統
    +關注

    關注

    37

    文章

    7152

    瀏覽量

    125626
  • 監控器
    +關注

    關注

    1

    文章

    331

    瀏覽量

    27618
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    如何配置和驗證Linux內核參數

    在Linux系統運維和性能優化中,內核參數(sysctl)的配置至關重要。合理的參數調整可以顯著提升網絡性能、系統穩定性及資源利用率。然而,僅僅修改參數是不夠的,如何驗證這些參數是否生效同樣關鍵。
    的頭像 發表于 05-29 17:40 ?306次閱讀

    CAN芯片邏輯響應驗證測試

    在CAN芯片研發階段,需要做諸多涉及通訊錯誤管理驗證的問題。在ISO-16845國際標準中,規定完善的測試標準,如錯誤幀檢測,傳輸幀相關檢測,錯誤管理邏輯驗證等,本文主要分享有效便捷的方法
    的頭像 發表于 04-30 18:24 ?236次閱讀
    CAN芯片邏輯響應<b class='flag-5'>驗證</b><b class='flag-5'>測試</b>

    焊點剪切力測試必看:原理與流程全解析!

    本文介紹了利用Beta S100推拉力測試機進行焊點剪切力測試方法與應用。Beta S100測試機具備高精度、多功能性及便捷操作的特點,
    的頭像 發表于 03-10 10:45 ?488次閱讀
    <b class='flag-5'>微</b>焊點剪切力<b class='flag-5'>測試</b>必看:原理與流程全解析!

    什么是燈具的耐壓測試方法

    耐壓測試概念耐壓測試,亦稱為高壓測試,是一種通過在絕緣體兩端施加預定的高電壓并保持一定時間,通過監測流經絕緣體的電流大小來評估其絕緣性能的檢測方法。耐壓
    的頭像 發表于 01-03 16:59 ?735次閱讀
    什么是燈具的耐壓<b class='flag-5'>測試</b><b class='flag-5'>方法</b>?

    瑞芯平臺Android系統串口測試方法,觸覺智能RK3562開發板演示

    瑞芯方案主板Android系統串口測試方法,通用RK3568、RK3566、RK3588、RK3576等。觸覺智能RK3562開發板演示
    的頭像 發表于 12-24 11:51 ?954次閱讀
    瑞芯<b class='flag-5'>微</b>平臺Android系統串口<b class='flag-5'>測試</b><b class='flag-5'>方法</b>,觸覺智能RK3562開發板演示

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

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

    納芯助力車載高速媒體傳輸芯片互聯互通測試驗證活動

    2024年12月2日至6日,“車載高速媒體傳輸芯片互聯互通測試驗證活動”在天津順利舉辦。本次活動由中國汽車芯片標準檢測認證聯盟(以下簡稱“中汽芯盟”)主辦,中汽研軟件測評(天津)有限公司、蘇州納芯
    的頭像 發表于 12-19 11:11 ?813次閱讀

    Verilog 測試平臺設計方法 Verilog FPGA開發指南

    Verilog測試平臺設計方法是Verilog FPGA開發中的重要環節,它用于驗證Verilog設計的正確性和性能。以下是一個詳細的Verilog測試平臺設計
    的頭像 發表于 12-17 09:50 ?1151次閱讀

    BGA封裝的測試驗證方法

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

    TTL電路的實驗與測試方法

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

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

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

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

    的控制環路)注入一個擾動信號(通常是頻率變化的正弦波信號),并觀察系統的響應來評估其穩定性和性能的測試方法。該測試方法主要用于驗證系統在各種
    的頭像 發表于 10-06 16:49 ?2711次閱讀
    環路<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 ?1803次閱讀

    Linux內核測試技術

    內核測試技術是實現這一目標的關鍵手段。本文將詳細介紹 Linux 內核測試的各種技術,包括單元測試、集成
    的頭像 發表于 08-13 13:42 ?1328次閱讀
    Linux<b class='flag-5'>內核</b><b class='flag-5'>測試</b>技術
    主站蜘蛛池模板: 色视频网站人成免费 | 天天爽夜夜爽天天做夜夜做 | 国产福利观看 | h视频在线观看免费网站 | 国模娜娜扒开嫩木耳 | 午夜影视啪啪免费体验区入口 | 亚洲男人精品 | 成人毛片在线播放 | 久久这里只有精品任你色 | 色噜噜狠狠色综合欧洲 | 国产叼嘿网站免费观看不用充会员 | 手机看片1024精品日韩 | 亚洲欧美视频在线观看 | 亚洲精品456人成在线 | 亚洲综合国产一区二区三区 | 天天摸天天操天天爽 | 久久伦子沙发 | www.黄视频| 羞羞漫画喷水漫画yy漫画 | 性做久久久久久网站 | 4438x五月天 4438x亚洲最大 | 国产亚洲人成网站观看 | aa看片| 男女交性永久免费视频播放 | 久久永久免费 | 禁漫羞羞入口 | h黄视频在线观看 | 色偷偷综合 | 色猫成人网 | 中文字幕二区三区 | 狠狠躁夜夜躁人人爽天天天天 | 久操视频网站 | 欧日韩视频777888 | 色惰网站| 亚洲成人激情电影 | 天天干夜夜骑 | 四虎永久免费网站免费观看 | 国产香蕉精品视频在 | 亚洲w码欧洲s码免费 | 亚洲天堂免费看 | 天堂一区二区在线观看 |