Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain

تخيل أن لديك طائرة بدون طيار (درون) ذكية ذاتية القيادة. إنها ليست مجرد لعبة؛ بل هي آلة معقدة يمكنها تغيير سلوكها أثناء التشغيل. إذا رأت طائراً، فإنها تتفادى المسار. وإذا انخفضت البطارية، فإنها تقرر الهبوط. هذا ما يسميه الخبراء النظام ذاتي التكيف (Self-Adaptive System). إنه يشبه طائرة درون تمتلك عقلاً يتساءل باستمرار: "كيف حال أدائي؟ هل أحتاج إلى تغيير خطتي؟"

ولكن هنا تكمن المشكلة: هذه الطائرة الذكية تعيش في عالم خطير.

1. مخاطر السلامة: الأشياء قد تتعطل. قد ينكسر مروحة، أو تنفد البطارية. هذا يسمى "خطأ" (Fault).
2. مخاطر الأمن: قد يحاول الأشرار اختراقها. يمكنهم إغراق شبكتها ببيانات غير ضرورية لإرباكها، أو خداع مستشعراتها. هذا يسمى "هجوم" (Attack).

تقليدياً، كان المهندسون يعالجون هاتين المشكلتين بشكل منفصل. فريق يتحقق من الأجزاء المكسورة (السلامة)، وفريق آخر يتحقق من المخترقين (الأمن). ولكن في نظام ذكي ومتغير، يمكن للمخترق أن يتسبب في كسر جزء ما، ويمكن للجزء المكسور أن يجعل النظام عرضة للمخترقين. لا يمكنك النظر إليهما بشكل منفصل بعد الآن.

الحل: سلسلة أدوات SAFT-GT

بنى مؤلفو هذه الورقة البحثية "سكينًا سويسريًا" للمهندسين يسمى سلسلة أدوات SAFT-GT. فكر فيها كأنها محقق مخاطر فائق الذكاء يعمل في الوقت الفعلي.

إليك كيف تعمل، باستخدام بعض التشبيهات الممتعة:

1. "شجرة العائلة" للكوارث (أشجار الهجوم والأخطاء - Attack-Fault Trees)

لفهم كيف تحدث الكارثة، عادة ما يرسم المهندسون "شجرة".

• شجرة الخطأ (Fault Tree): هي مثل شجرة عائلة للحوادث. في الأعلى توجد الكارثة الكبرى (مثلاً: "اصطدام الدرون بشخص"). وتوضح الفروع الأسباب: "مروحة مكسورة" أو "فقدان السيطرة".
• شجرة الهجوم (Attack Tree): هي مثل "خطة الشرير". توضح كيف يمكن لمخترق تحقيق هدفه: "اختطاف الدرون" يتطلب "إيجاد شبكة الواي فاي" و"إرسال رسائل كثيرة جداً".

السحر في هذه الورقة هو دمجها في شجرة هجوم وخطأ واحدة (AFT). إنها تشبه شجرة تكون جذورها مزيجاً من الأجزاء المكسورة والمخترقين الأشرار، وكلها تؤدي إلى نفس الكارثة.

2. "الطيار الآلي" لتقييم المخاطر

الجزء الأكثر روعة هو أن هذه الأداة لا تظل ثابتة على الرف. بل تعيش داخل عقل الطائرة (حلقة MAPE-K).

تخيل أن الطائرة تسير في طريق ما.

• المراقب (The Monitor): ترى عينا الطائرة حالة طريق جديدة (إعادة تشكيل النظام).
• المحقق (SAFT-GT): بدلاً من جلوس إنسان على كرسي لرسم خريطة مخاطر جديدة، تستيقظ الأداة فوراً. تنظر إلى أجزاء الطائرة الحالية، وتتحقق من قاعدة بيانات عالمية ضخمة للثغرات البرمجية المعروفة (مثل "ملصق مطلوب" للثغرات)، وتسأل: "مهلاً، هل قمنا للتو بتشغيل كاميرا جديدة؟ هل هذه الكاميرا معرضة لخدعة معينة من المخترقين؟"
• الخطة: تقوم ببناء "شجرة كارثة" جديدة في ثوانٍ. تحسب الاحتمالات: "حسناً، مع هذه الكاميرا الجديدة، احتمال حدوث اصطدام في الساعة القادمة ارتفع بنسبة 10%".
• الإجراء: يرى عقل الطائرة هذا الرقم. إذا كانت المخاطر عالية جداً، فقد تقرر الطائرة: "لن أطير فوق الحشود اليوم"، أو "سأنتقل إلى وضع أكثر أماناً وبطئاً".

3. "السباق السريع"

قد تعتقد: "انتظر، رسم هذه الأشجار والتحقق من قواعد البيانات يبدو بطيئاً. ستتحطم الطائرة قبل أن تنتهي!"

لقد اختبر المؤلفون هذا الأمر. ووجدوا أنه بينما تستغرق الأداة بضع دقائق للقيام بالعمل الثقيل (مثل البحث في ملايين التقارير عن الأخطاء)، إلا أنها سريعة بما يكفي لتكون مفيدة. الأمر يشبه طباخاً يجهز المكونات: لا تحتاج لأن تكون الوجبة جاهزة في جزء من الثانية، لكن يجب أن تكون جاهزة قبل أن يجوع الزبون. الأداة سريعة بما يكفي لمواكبة تغييرات الطائرة.

4. "اختبار التذوق من الخبراء"

لم يكتفِ المؤلفون ببناء هذا في فراغ. بل دعوا مجموعة من خبراء السلامة والأمن (مختبري التذوق) لتجربته.

• الحكم: قال الخبراء: "هذا مفيد حقاً!" لقد أعجبهم أنها تستطيع التعامل مع الواقع الفوضوي والمتغير للأنظمة الحقيقية.
• النقد: كان بعض الخبراء متشككين بشأن الوثوق بحاسوب لتخمين احتمالات هجوم مخترق (بما أن المخترقين بشر لا يمكن التنبؤ بهم، وليسوا مجرد رمي نرد عشوائي). كما أشاروا إلى أن الأداة تعتمد على الأخطاء المعروفة؛ فإذا استخدم مخترق خدعة جديدة وسرية (هجوم "اليوم صفر" - Zero-Day)، فقد تفشل الأداة في اكتشافها ما لم يقم إنسان بإضافتها يدوياً.

الصورة الكبيرة

تتعلق هذه الورقة ببناء درع ديناميكي للآلات الذكية.

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

باختصار:

• الطريقة القديمة: تحقق من الأجزاء المكسورة. تحقق من المخترقين. افعل ذلك مرة واحدة في البداية. وتمنى الأفضل.
• الطريقة الجديدة (SAFT-GT): تسأل الآلة باستمرار: "هل أنا آمنة الآن؟" إنها تجمع بين الخوف من التعطل والخوف من الاختراق، وتحسب الاحتمالات، وتغير خطتها فوراً للنجاة.

إنه الفرق بين سيارة تحتوي فقط على وسائد هوائية (سلامة سلبية) وسيارة ترى مخترقاً يحاول سرقة المكابح، فتحسب المخاطر، وتقرر القيادة إلى منطقة آمنة بدلاً من ذلك.