ยุโรปกองทุนวิจัยระบบความปลอดภัย

มหาวิทยาลัยดัตช์ได้ลงยุโรป สภาวิจัยให้การสนับสนุนระบบปฏิบัติการยูนิกซ์ชนิดใหม่ที่มุ่งมั่นที่จะเชื่อถือได้และปลอดภัยกว่า Linux หรือ Microsoft Windows

ทุนสนับสนุน 2.5 ล้านยูโร (3.3 ล้านเหรียญสหรัฐ) จะสนับสนุนนักวิจัยสามคนและนักเขียนโปรแกรมสองคน S. Tanenbaum ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่ Vrije Universiteit ในประเทศเนเธอร์แลนด์ Tanenbaum พัฒนา Minix ซึ่งเป็นระบบปฏิบัติการที่อิงกับ Unix ซึ่งมีฐานข้อมูลขนาดเล็กและมีการควบคุมด้านความปลอดภัยอย่างเข้มงวด

[อ่านเพิ่มเติม: How to

การมอบสิทธิ์ครั้งล่าสุดจะช่วยให้สามารถหาข้อมูลเพิ่มเติมเกี่ยวกับการทำให้ระบบปฏิบัติการสามารถแก้ไขได้เมื่อมีการตรวจพบข้อผิดพลาดทำให้คอมพิวเตอร์สามารถเชื่อถือได้มากขึ้น Tanenbaum กล่าวว่า

99 "มันทำให้ฉันรำคาญจนสิ้นเมื่อซอฟต์แวร์ไม่ทำงาน" Tanenbaum กล่าว "การที่ต้องรีบูตเครื่องคอมพิวเตอร์เป็นเพียงความเจ็บปวดคำถามคือ" คุณสามารถสร้างระบบที่ใช้งานได้ดีหรือไม่? ""

ข้อบกพร่องของซอฟต์แวร์จะไม่ถูกลบออก Tanenbaum เขียนไว้ในข้อเสนอโครงการ แต่ระบบปฏิบัติการเช่น Windows และ Linux ได้รับการออกแบบด้วยวิธีที่ทำให้พวกเขาเชื่อถือได้น้อยกว่าที่ควรจะเป็นเช่นนี้

เช่นต้องมีการติดตั้งไดรเวอร์สำหรับคุณลักษณะต่างๆเช่นเสียงและอุปกรณ์ต่อพ่วงอื่น ๆ ภายในเคอร์เนลของระบบปฏิบัติการ, หรือรหัสหลักของคอมพิวเตอร์ หากมีอะไรผิดพลาดก็มักจะแฮงค์เครื่อง

Minix อย่างไรก็ตามได้รับการออกแบบมาเพื่อให้โปรแกรมควบคุมทำงานเหมือนกับแอพพลิเคชันที่อยู่นอกเคอร์เนลซึ่งหมายความว่าหากเกิดความผิดพลาดขึ้นคอมพิวเตอร์จะดำเนินการต่อไป Tanenbaum กล่าว แนวคิดนี้เรียกว่า "microkernel" มากกว่าตรงกันข้ามกับเคอร์เนลเสาหิน

ในรูปแบบของ Tanenbaum ส่วนประกอบอื่น ๆ ของระบบปฏิบัติการจะทำงานในโมดูลที่มีข้อ จำกัด อย่างแน่นหนาซึ่งไม่สามารถแทรกแซงกันได้หากล้มเหลว นอกจากนี้ยังช่วยเพิ่มความปลอดภัยโดยรวม

ระบบปฏิบัติการที่มีความปลอดภัยยิ่งขึ้นทำให้ผู้ผลิตซอฟต์แวร์ไม่ต้องรับผิดชอบต่อความเสี่ยงด้านซอฟต์แวร์มากขึ้น ความคาดหวังของซอฟต์แวร์นั้นต่ำกว่าอุตสาหกรรมอื่น ๆ อย่างมากซึ่งความล้มเหลวขององค์ประกอบเช่นยางรถยนต์ทำให้เกิดการเรียกคืนและการฟ้องร้องตามกฎหมาย Tanenbaum กล่าวว่า

แต่ความรับผิดนั้นอาจได้รับมอบหมายได้ง่ายขึ้นหากซอฟต์แวร์มีความซับซ้อนน้อยกว่า "เราต้องการสร้างซอฟต์แวร์ที่มีความน่าเชื่อถือมาก" Tanenbaum กล่าว "

การระดมทุนจะช่วยให้การวิจัยของ Minix สามารถดำเนินต่อไปได้อีก 5 ปี