當 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 。
Continue reading “[好文分享] 關鍵任務設備和形式化方法( formal methods )”
你必須登入才能發表留言。