[好文分享] 關鍵任務設備和形式化方法( formal methods )

當 AI 自駕和 IoT 普遍進入工廠和家庭，軟體的品質保證和網路的安全防護成為今日科技發展的重點。

歐美官方已成立多個資訊安全機構如 EU Cyber Resilience Act 、CYMANII ( The Cybersecurity Manufacturing Innovation Institute ) 。他們正在立法如果你的產品有軟體缺陷，並且你造成了損害，導致某人死亡，那麼你的董事會就要承擔責任 。

如此，身負關鍵任務設備的軟體開發團隊要怎麼保證軟體沒有致命的瑕疵？在 IoT For All Podcast 訪談了在 Microsoft 工作過 18 年(15 年在 Xbox團隊，領導 Xbox Live、XNA 和 Xbox One 作業系統的開發 )有 30 年開發資歷的 Boyd Multerer 。

請參考此文，涵蓋 Podcast 的影片與所有對談內容(英文)。

Boyd Multerer 對於關鍵任務軟體開發團隊給了建議。

以下摘要 :

你需要更注意

1. 如何打包和更新
2. 如何進行遠端交付
3. 如何進行金鑰管理遠端傳送到正確的設備，授權正確的人員
4. 如何隔離每個核心功能以免任何瑕疵/變動引起連鎖反應

要求團隊和所有底層供應商做好以數學為基礎的形式化方法( formal methods 多倫多大學免費課程)驗證，確保其所提供的部件沒有瑕疵。

慎選 CTO，其對這方面需有豐富的知識和正確的認知

搜尋

搜尋

不受 FB 演算法影響，歡迎透過 e-mail 訂閱網站更新

支持 Soft & Share

❤️您應該有留意到，我們的網頁並不會出現干擾人的跳出煩人的廣告或是在內容中嵌入廣告，因為我們發現這樣對閱讀網頁的內容體驗真的是不好!

如果您覺得我們提供的內容服務還不錯，歡迎透過對以下產品/服務的購買投資來支持本站的營運走得更遠

如果暫時還不需要以下的付費服務，幫我們把這個網站分享給有需要的朋友，您的小小舉動會對 Soft & Share 有莫大的幫助！感謝您的支持！

🎈如果您點選優惠連結後，還是沒有看到優惠價格，請將瀏覽器的 cookie 清除 ( 清除 udemy 網站的就可以了 )，然後重新點選優惠連結並登入 Udemy 就可以了

• ❤️歡迎透過我們的 A-Z 關鍵字索引 或 Udemy 策展找到您想要的課程
• ❤️更多付費服務（電子書/其他線上課程平台/軟體服務 ）……