ترى DARPA أن الأدوات الآلية تساعد في تبسيط عملية اعتماد البرامج

ال وكالة المشاريع البحثية الدفاعية المتقدمة تعمل الوكالة على دفع الأدوات التي تطورها لإثبات أن البرامج آمنة تلقائيًا للقطاع التجاري ومساعدة الشركات على التغلب على عملية التحقق المرهقة في البنتاغون، وفقًا لبنجامين بيشوب، نائب مدير الانتقال في مكتب القدرات التكيفية التابع للوكالة.

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

وأوضح في الحدث الافتراضي أنه في حين أن البشر الذين يقومون بالرياضيات يمكنهم إثبات أن البرنامج يعمل كما تم تصميمه، فهناك أدوات يمكنها النظر في البيانات الوصفية للملف، والتي تحتوي على دليل على أن البرنامج آمن، وتتحقق تلقائيًا من سلامته.

وقال بيشوب إن برنامج التصديق السريع الآلي للبرمجيات، أو ARCOS، التابع لـ DARPA، يعمل على تطوير هذه القدرة. الهدف من البرنامج هو أتمتة تقييم أدلة ضمان البرمجيات لتمكين جهات التصديق من التحديد السريع لمخاطر النظام المقبولة، بحسب الوكالة.

وأضاف أن هذه القدرة قابلة للتطبيق، ولكن “ما يهمني حقًا ليس فقط أنها قابلة للتطبيق من الناحية الفنية، ولكن يمكننا القيام بذلك بطريقة يمكن اعتمادها عبر النظام البيئي لوزارة الدفاع؟”

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

يقول بيشوب: “لقد رأينا شركات التكنولوجيا الكبرى أو شركات التكنولوجيا الكبرى تتبنى بعضًا من هذه الأدوات وتنتقل باستخدامها لأنها ترى القيمة في هذه الأساليب”.

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