Europe Funds Secure Operating System Research

هبطت جامعة هولندية بأوروبا منحة مجلس الأبحاث لمواصلة العمل على نظام التشغيل من نوع Unix الذي يهدف إلى أن يكون أكثر موثوقية وأمانًا من Linux أو Microsoft Windows.

ستقوم المنحة البالغة 2.5 مليون يورو (3.3 مليون دولار أمريكي) بتمويل ثلاثة باحثين ومبرمجين ، حسب Andrew. S. Tanenbaum ، أستاذ علوم الكمبيوتر في جامعة Vrije Universiteit في هولندا

وضعت شركة Tanenbaum نظام Minix ، وهو نظام تشغيل يعتمد إلى حد ما على نظام Unix يحتوي على قاعدة رمز صغيرة وينفذ ضوابط أمان قوية. إزالة البرامج الضارة من جهاز كمبيوتر يعمل بنظام Windows لديك

ستسمح المنحة الأخيرة بإجراء المزيد من الأبحاث في جعل نظام التشغيل قادرًا على إصلاح نفسه عند اكتشاف خلل ما ، مما يسمح لأجهزة الكمبيوتر بأن تكون أكثر موثوقية ، كما تقول Tanenbaum. وقال تانينباوم "إنه يزعجني بلا نهاية عندما لا يعمل البرنامج." "إن الاضطرار إلى إعادة تشغيل جهاز الكمبيوتر الخاص بك هو مجرد ألم. السؤال هو" هل يمكنك إنشاء نظام يعمل بشكل جيد؟ "

لن يتم القضاء على أخطاء البرامج أبدا ، كتب Tanenbaum في اقتراح المشروع. ولكن نظام التشغيل مثل Windows و Linux مصمم بطرق تجعله أقل موثوقية مما يمكن أن يكون عليه ، كما قال.

على سبيل المثال ، يجب تثبيت برامج تشغيل الميزات مثل الصوت والمكونات الطرفية الأخرى داخل نواة نظام التشغيل ، أو رمز الكمبيوتر الأساسي. إذا حدث خطأ ما ، فإنه عادة ما يعلق الجهاز.

ومع ذلك ، تم تصميم Minix بحيث تعمل برامج التشغيل مثل التطبيقات خارج النواة ، مما يعني أنه في حالة تعطلها ، فإن الكمبيوتر سيستمر ، حسب Tanenbaum. ويطلق على هذا المفهوم اسم "microkernel" بدلاً من عكسه ، وهو نواة متجانسة.

في نموذج Tanenbaum ، تعمل المكونات الأخرى لنظام التشغيل في وحدات مقيدة بإحكام لا يمكن أن تتداخل مع بعضها البعض إذا فشلت. كما أنه يعمل على تحسين الأمان بشكل عام.

كما أن نظام التشغيل الأكثر أمانًا يجعل بائعي البرامج أكثر عرضة للمساءلة عن نقاط ضعف البرامج. وقالت تانينبوم إن التوقعات الخاصة بالبرمجيات أقل بكثير من الصناعات الأخرى ، حيث يؤدي فشل مكون مثل إطار السيارة إلى سحب الدعوات والبدلات القانونية.

ولكن هذه المسئولية يمكن تخصيصها بسهولة أكبر إذا كان البرنامج أقل تعقيدا وأكثر يقول تانينبوم: "نريد أن نجعل برنامجًا موثوقًا به للغاية."

سيسمح التمويل لأبحاث Minix بالاستمرار لمدة خمس سنوات أخرى.