⚡ electrical engineering

Risk Assessments for Evasive Emergency Maneuvers in Autonomous Vehicles

تقدم هذه الورقة إطار عمل جديد للتحقق والتحقق من الصحة قابل للتتبع يدمج بين تحليل المخاطر والقدرة على تحليل الخطورة (HARA)، وتحليل العمليات والأنظمة (STPA)، ونمذجة آلة الحالة المحدودة (Finite State Machine) لتقييم مناورات الحد الأدنى من المخاطر المراوغة في المركبات ذاتية القيادة بشكل منهجي، مبرهنةً من خلال دراسة حالة لتقاطع طرق (T-junction) أن هذا النهج الموحد يحقق تغطية بنسبة 100% للمخاطر وفضاء المعلمات مع تحسين معدلات تجنب الاصطدام بشكل كبير مقارنة بالطرق التقليدية.

المؤلفون الأصليون: Aliasghar Arab, Milad Khaleghi, Koorosh Aslansefat

نُشر 2026-04-30

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Aliasghar Arab, Milad Khaleghi, Koorosh Aslansefat

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تعلم روبوتًا يقود سيارة كيف يتعامل مع حالة طوارئ مفاجئة ومرعبة: شاحنة ضخمة سدت الطريق أمامه للتو، وأنت تندفع نحوها بسرعة عالية. ماذا يجب أن يفعل الروبوت؟ هل يضغط على المكابح بقوة؟ أم ينحرف بشكل عشوائي؟ أم أن هناك "الخطة ب" في حال فشل الانحراف؟

هذه الورقة البحثية تدور حول بناء قائمة مراجعة سلامة فائقة الذكاء للتأكد من أن المركبات ذاتية القيادة (السيارات ذاتية القيادة) يمكنها الإجابة على تلك الأسئلة بشكل صحيح، خاصة في أكثر المواقف خطورة، وهي "الحالات الحدية" (edge-case) حيث قد تفشل القواعد العادية.

إليك شرح طريقة عملهم الجديدة ببساة:

المشكلة: ثلاث قطع مفقودة

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

فجوة "الأداتين": عادة ما يستخدم المهندسون طريقتين مختلفتين للسلامة (تسمى HARA و STPA) بشكل منفصل. الأمر يشبه امتلاك خريطة وبوصلة ولكن دون استخدامهما معاً للملاحة. تنشئ الورقة سير عمل واحداً يجبرهما على العمل كفريق.
فجوة "مشهد الفيلم": غالباً ما تنظر فحوصات السلامة إلى لقطة زمنية ثابتة (وجود خطر) أو إلى النتيجة النهائية (وقوع حادث). لكنها تغفل عن "الفيلم" الذي يحدث بينهما—تلك اللحظات الخاطفة التي تحاول فيها السيارة المراوغة، ثم تفشل، ثم تضطر للانتقال إلى وضع "التحكم في الأضرار". تضيف الورقة آلة حالة محدودة (FSM)، وهي بمثابة مخطط انسيابي يرسم كل "مشهد" محتمل يمكن أن تمر به السيارة، من "أوه لا!" إلى "لقد نجحت في المراوغة!" أو "حسناً، دعنا نقلل من آثار الاصطدام".
فجوة "لعبة التخمين": تقليدياً، يختار المهندسون سيناريوهات الاختبار بناءً على التخمين لما قد يسوء (مثل: "لنختبر الأمر في يوم ممطر"). تستبدل هذه الورقة التخمين بـ مولد منهجي يضمن رياضياً اختبار كل توليفة ممكنة من السرعة، وتماسك الطريق، والتوقيت، بحيث لا تترك أي زاوية دون فحص.

الحل: خط معالجة سلامة موحد

قام المؤلفون بدمج هذه الأدوات الثلاث في خط معالجة واحد سلس:

الخطوة 1 (HARA): تحدد ما الذي يمكن أن يسوء (مثلاً: "الشاحنة تسد الطريق").
الخطوة 2 (STPA): تحدد كيف يمكن لعقل السيارة أن يرتكب خطأً (مثلاً: "السيارة تنحرف متأخرة جداً" أو "السيارة تنحرف في وقت لا ينبغي لها فيه ذلك").
الخطوة 3 (FSM): ترسم "قصة" الحدث. إذا انحرفت السيارة ونجحت، تنتقل إلى حالة "آمن". وإذا انحرفت وفشلت، تنتقل فوراً إلى "التخفيف من الآثار" (محاولة الاصطدام بالشاحنة بزاوية جانبية بدلاً من مواجهتها وجهاً لوجه) أو "التوقف الطارئ".

الاختبار الواقعي: شاحنة التقاطع (T-Junction)

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

أجروا 1,880 محاكاة حاسوبية (وهو عدد هائل مقارم بالعدد القليل المعتاد) تغطي كل سرعة، وكل حالة طريق (جاف، مبلل، جليدي)، وكل توقيت.

إليكم الاكتشاف المذهل الذي توصلوا إليه:
بسبب الهندسة الخاصة بالتقاطع (T-junction)، تكون السيارة دائماً في موقف "ثنائي" (binary):

التجنب الكامل: هناك وقت ومساحة كافيين للانحراف أو التوقف تماماً.
اصطدام لا مفر منه: لا يوجد وقت أو مساحة مطلقاً للتوقف أو الانحراف؛ فالاصطدام أمر حتمي.

"المنطقة الوسطى" تكاد تكون منعدمة. وجدت الورقة أن الخيار "الوسيط"—حيث تحاول السيارة الانحراف لكنها تفشل، مما يضطرها للانتقال إلى وضع "التحكم في الأضرار"—لا يوجد إلا في 1.9% فقط من الحالات الممكنة. بعبارة أخرى، في تقاطع الـ T، إما أن تنجح أو تفشل؛ نادراً ما توجد منطقة "ربما". وهذا واقع فيزيائي لم يكشفه سوى اختبارهم عالي الدقة.

النتائج: لماذا هذا مهم؟

عندما قارنوا بين "المناورة المراوغة الرشيقة" الجديدة (الانحراف) وبين "التوقف الطارئ" التقليدي (الكبح فقط):

معدل النجاح: تجنبت استراتيجية الانحراف الاصطدامات بنسبة 81%، مقارنة بـ 45% فقط لاستراتيجية الكبح وحدها.
سرعة الاصطدام: عندما كان الاصطدام حتمياً، قللت استراتيجية الانحراف سرعة الاصطدام من 18.9 كم/ساعة إلى 9.0 كم/ساعة. فكر في هذا كفرق بين الاصطدام بجدار بسرعة سيارة تسير في طريق سريع مقابل الاصطدام بشخص يركض ببطء؛ هذا يقلل الضرر بشكل جذري.
التغطية: اختبرت طريقتهم 100% من المخاطر والسيناريوهات الممكنة. بينما اختبرت الطرق التقليدية حوالي 1% فقط (مما ترك 99% من الأخطار دون استكشاف).

الخلاصة

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

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

فيما يلي ملخص تقني مفصل لورقة البحث بعنوان: "تقييمات المخاطر للمناورات الإسعافية التملصية في المركبات ذاتية القيادة."

1. بيان المشكلة

تتناول الورقة فجوة حرجة في التحقق من الصحة والاعتماد (V&V) لـ مناورات الحد الأدنى من المخاطر الإسعافية (EMRM) في المركبات ذاتية القيادة (AVs). وبينما تُدرس ميزات السلامة التقليدية مثل الكبح الطارئ المتقدم (AEB) بشكل جيد، فإن المناورات التملصية الرشيقة (التوجيه، الانزلاق الجانبي) تفرض تحديات فريدة تفشل أطر السلامة الحالية في معالجتها بشكل كافٍ.

حدد المؤلفون ثلاثة قيود محددة في الأساليب الحالية:

الافتقار إلى التكامل الشكلي: يتم استخدام تحليل المخاطر وتقييمها (HARA) وتحليل العملية القائم على النظم (STPA) عادةً بشكل منعزل. لا يوجد إطار عمل موحد لربط مخاطر النظام بإجراءات التحكم غير الآمنة (UCAs) ومن ثم بسيناريوهات الخسارة.
عدم كفاية نمذجة انتقال الحالة: لا ينجح كل من HARA وSTPA في نمذجة الانتقالات الديناميكية بين الحالات الخطرة وحالات الخسارة. وهذا أمر بالغ الأهمية لـ EMRM، التي يجب أن تتكيف في الوقت الفعلي مع تصاعد الموقف من خطر إلى تصادم حتمي.
ضعف توليد السيناريوهات: تفتقر الأساليب الحالية إلى نهج مهيكل لتوليد سيناريوهات اختبار ذات تغطية قابلة للقياس في فضاء المعلمات، وغالبًا ما تعتمد على اختبارات عشوائية تفتقر إلى الدقة وتغفل الحالات الحدية.

2. المنهجية: إطار عمل HARA-STPA-FSM المتكامل

يقترح المؤلفون خط عمل (pipeline) جديد للتحقق من الصحة والاعتماد، يوحد ثلاث منهجيات متميزة في سير عمل واحد قابل للتتبع:

أ. التكامل الشكلي لـ HARA وSTPA

HARA المطور (Enhanced HARA): يُستخدم لتحديد الحالات الخطرة ( $H$ ) وتقييم الخسائر المحتملة ( $L$ )، مع التمييز بين الخسائر القابلة للاسترداد (مثل الأضرار الطفيفة) وغير القابلة للاسترداد (مثل الإصابة أو الوفاة).
STPA: يُستخدم لتحديد إجراءات التحكم غير الآمنة (UCAs) ضمن بنية النظام والتي قد تؤدي إلى حالات خطرة.
الربط ( $M_{HARA-STPA}$ ): تقوم دالة ربط مهيكلة بربط سياقات النظام وإجراءات التحكم غير الآمنة (UCAs) بحالات ومقاييس مخاطر محددة، مما يخلق سلسلة تتبع من فشل النظام إلى العواقب الفيزيائية.

ب. نمذجة آلة الحالة المحدودة (FSM)

لمعالجة الفجوة في نمذجة انتقالات الحالة، قدم المؤلفون آلة حالة (FSM) للتحول من الخطر إلى الخسارة.
يحدد هذا النموذج صراحةً دورة حياة النظام أثناء الطوارئ:
- $S_1$ : التشغيل الطبيعي.
- $S_2$ : اكتشاف الخطر.
- $S_3$ : حالة عالية المخاطر تتطلب مناورة عدوانية (وهي مرحلة تنفيذ EMRM الأساسية).
- $S_4$ : الاستعادة الناجحة (التجنب).
- $S_5$ : فشل التخفيف (الانتقال إلى اصطدام محكوم/تقليل الضرر).
- $S_6$ : الاستجابة لما بعد الحادث.
تضمن الـ FSM أن منطق النظام يعطي الأولوية للتجنب، ولكنه يتراجع تدريجيًا وبشكل سلس نحو تخفيف الضرر إذا كان التجنب مستحيلاً من الناحية الفيزيائية.

ج. التوليد الآلي للسيناريوهات

يقود إطار العمل الموحد مولد سيناريوهات مؤتمت.
يستخدم انتقالات الـ FSM وفضاءات المعلمات (مثل السرعة، الوقت حتى التصادم، الاحتكاك) لتوليد حالات اختبار تضمن تغطية مخاطر وUCAs وانتقالات حالات محددة.

మైన دراسة حالة: سيناريو عائق عند تقاطع على شكل حرف T

تم التحقق من صحة إطار العمل باستخدام سيناريو حالة حدية محدد: مركبة ذاتية القيادة تقترب من تقاطع على شكل حرف T حيث تسد شاحنة كبيرة الطريق الرئيسي فجأة.

المعلمات التي تم مسحها: سرعة المركبة، الوقت حتى التصادم (TTC)، احتكاك سطح الطريق، وعرض الممر.
المحاكاة: تم تنفيذ 1,880 عملية محاكاة قائمة على الأشجار العشوائية سريعة الاستكشاف (RRT) لرسم "منطقة القدرة على التخفيف" (حيث يمكن للنظام تجنب التصادم أو تخفيفه بنجاح).

4. النتائج الرئيسية

أسفر تطبيق إطار العمل عن رؤى كمية ونوعية هامة:

رؤية فيزيائية حول هندسة التقاطع (T-Junction): كشفت عمليات المحاكاة عن نتيجة فيزيائية غير متوقعة: في سيناريو سد التقاطع، تجعل الهندسة من التوقف والملاحة أمراً صعباً بالتساوي. وبناءً على ذلك، فإن "وضع التخفيف المتوسط" (حيث يفشل التجنب ولكن يتم تقليل حدة الاصطدام) يشغل فقط 1.9% من فضاء المعلمات الممكنة. النتيجة هي ثنائية في الغالب: إما تجنب كامل أو اصطدام عالي الطاقة لا يمكن تفاديه.
تحسين الأداء: مقارنة باستراتيجية "التوقف الطارئ فقط" الأساسية:
- معدل تجنب التصادم (CAR): ارتفع من 45% إلى 81%.
- سرعة الاصطدام المتبقية: انخفضت من 18.9 كم/ساعة إلى 9.0 كم/ساعة (أي انخفاض بنسبة ~75% في الطاقة الحركية).
- تقليل الخسارة: تحسن متوسط مستوى تقليل الخسارة ( $\Delta Loss$ ) من 3.29 إلى 4.73–4.75 مستوى.
تفوق التغطية:
- حقق إطار العمل المقترح تغطية بنسبة 100% للمخاطر، وUCAs، وخلايا فضاء المعلمات.
- حققت الطرق التقليدية (الاختبار اليدوي المتفرق أو HARA/STPA المنفصل) تغطية ≤1% في نفس فضاء المعلمات.

5. المساهمات الرئيسية

أول توحيد شكلي: هذا هو العمل الأول الذي يدمج رسمياً HARA وSTPA ونمذجة FSM في خط عمل واحد قابل للتتبع للتحقق من صحة ميزات السلامة النشطة ذاتية القيادة.
FSM للانتقال من الخطر إلى الخسارة: قدم طبقة نمذجة محددة تلتقط التصعيد الديناميكي من الخطر إلى الخسارة، مما يسمح بتحليل دقيق لكيفية تراجع ميزات EMRM بسلاسة عندما يفشل التجنب.
توليد سيناريوهات منهجي: يستبدل الاختبار العشوائي بمنهج منضبط يضمن تغطية قابلة للقياس في فضاء المعلمات، مما يسمح باكتشاف الحدود الفيزيائية (مثل منطقة الـ 1.9% المتوسطة) التي قد تغفلها الاختبارات المتفرقة.

6. الأهمية

تثبت هذه الورقة أن ميزات السلامة ذاتية القيادة المعقدة لا يمكن التحقق من صحتها باستخدام أساليب سلامة منعزلة. إن دمج HARA (لسياق المخاطر)، وSTPA (لفشل منطق التحكم)، وFSM (لانتقالات الحالة الديناميكية) أمر ضروري للتحقق عالي الدقة.

لهذه النتائج آثار عميقة على الصناعة:

كفاءة التحقق: تثبت أن الاختبار عالي الكثافة والمؤتمت ضروري للكشف عن الحدود الفيزيائية الحقيقية لمناورات المركبات ذاتية القيادة.
ضمان السلامة: يوفر إطار العمل مساراً صارماً وقابلاً للتدقيق لإثبات أن المركبة ذاتية القيادة لا يمكنها تجنب الحوادث فحسب، بل يمكنها أيضاً تقليل الضرر عندما تكون الحوادث حتمية، وهو مطلب حاسم لاعتماد المستوى الرابع والخامس (Level 4/5) من القيادة الذاتية.
توجيه التصميم: يشير اكتشاف أن هندسة التقاطعات (T-junctions) غالباً ما تلغي "المنطقة الوسطى" للتخفيف إلى أن استراتيجيات التحكم في المركبات ذاتية القيادة يجب أن تكون ثنائية (تجنب عدواني أو كبح شديد وفوري) بدلاً من الاعتماد على مناورات وسيطة معقدة في مثل هذه السيناريوهات المحددة.