นักวิจัยจากมหาวิทยาลัยอิลลินอยส์ Urbana-Champaign และ Boeing ได้ก้าวสำคัญในการรับรอง Linux kernel สำหรับมาตรฐานความปลอดภัยในอุตสาหกรรมการบิน ผลงานล่าสุดของพวกเขา ซึ่งได้รับรางวัลชนะเลิศในงานประชุม Digital Avionics Systems Conference 2025 เกี่ยวข้องกับการพัฒนาโครงสร้างพื้นฐานทดสอบเฉพาะทางเพื่อประเมินความสอดคล้องด้านความปลอดภัยของ Linux โดยเน้นไปที่มาตรฐาน RTCA DO-178C ที่เข้มงวดและเกณฑ์ MC/DC (Modified Condition/Decision Coverage) ซึ่งเป็นสิ่งสำคัญ ความพยายามเหล่านี้มีเป้าหมายเพื่อแสดงให้เห็นถึงระดับการรับรองสูงสุด Software Level A สำหรับ Linux ซึ่งอาจเปิดทางให้มีการนำไปใช้ในระบบการบินอย่างกว้างขวางมากขึ้น
นักศึกษาปริญญาเอกด้านวิทยาการคอมพิวเตอร์ Wentao Zhang เป็นผู้นำโครงการนี้ โดยทำงานร่วมกับผู้ร่วมงานของ Boeing ทีมของ Zhang ได้สร้างเครื่องมือทดสอบเฉพาะทางเพื่อวัดความครอบคลุมของโค้ด Linux อย่างแม่นยำ และยืนยันประสิทธิภาพของเครื่องมือเหล่านั้นผ่านการเผยแพร่ในเชิงวิชาการ เพื่อนร่วมงานของเขา ศาสตราจารย์ Darko Marinov และ Tianyin Xu เน้นย้ำถึงความสำคัญของการปรับปรุงความครอบคลุมของการทดสอบ kernel ซึ่งปัจจุบันยังต่ำกว่า 10% พวกเขาเน้นว่าการรับรองความปลอดภัยของ Linux kernel ต้องเผชิญกับความท้าทายทางเทคนิค เช่น การปรับเครื่องมือความครอบคลุมให้ทำงานได้ในสภาพแวดล้อม kernel ซึ่งไม่สามารถเขียนไฟล์ได้
การวิจัยนี้ยังสำรวจผลกระทบเชิงปฏิบัติของซอฟต์แวร์ที่เชื่อถือได้ในอุตสาหกรรมการบิน Xu กล่าวว่างานของพวกเขาแสดงให้เห็นว่างานวิจัยเชิงวิชาการสามารถมีอิทธิพลต่อการนำไปใช้งานจริงในเครื่องบิน ซึ่งส่งผลโดยตรงต่อความปลอดภัยและความน่าเชื่อถือ ทีมงานมุ่งมั่นที่จะดำเนินงานต่อเนื่อง รวมถึงการบรรยายทางเทคนิคในงานประชุมอุตสาหกรรมสำคัญ เช่น Linux Plumber Conference เพื่อเพิ่มความครอบคลุมของการทดสอบ kernel และสนับสนุนชุมชนในการรับรองความปลอดภัย
เงินทุนสำหรับโครงการนี้ได้รับจาก The Boeing Company ความร่วมมืออย่างต่อเนื่องนี้สะท้อนอนาคตที่สดใส ซึ่งระบบปฏิบัติการโอเพนซอร์สอย่าง Linux สามารถตอบสนองมาตรฐานความปลอดภัยที่เข้มงวดสำหรับการบินเชิงพาณิชย์ ซึ่งอาจเปลี่ยนแปลงภูมิทัศน์ซอฟต์แวร์สำหรับระบบเครื่องบินในอนาคตอันใกล้นี้
