ACT: Automated CPS Testing for Open-Source Robotic Platforms
تقترح هذه الورقة إطار عمل "اختبار الأنظمة السيبرانية الفيزيائية المؤتمت" (ACT)، وهو إطار يدمج الاختبار المستمر والمؤتمت لبرمجيات الأنظمة السيبرانية الفيزيائية مفتوحة المصدر مع المنصات الروبوتية وبنية GitHub التحتية لمعالجة نقص الاختبار القوي في البيئات متعددة المساهمين.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تقوم ببناء أسطول من روبوتات التوصيل باستخدام مخططات وقطع يمكن لأي شخص في العالم تحميلها مجانًا. هذا هو عالم الروبوتات مفتوحة المصدر. إنه يشبه نادي "ليغو" (LEGO) ضخم وعالمي حيث يساهم الجميع بقطع من عندهم. ولكن إليك المشكلة: عندما تبني روبوتًا يتفاعل مع العالم الحقيقي (وهو ما يسمى "النظام السيبراني الفيزيائي")، فإن خطأً صغيرًا في الكود البرمجي يمكن أن يتسبب في اصطدام حقيقي، أو كسر في عجلة، أو جعل الروبوت يدور في دوائر إلى الأبد.
في الوقت الحالي، يتم اختبار معظم هذه الروبوتات في بيئات محاكاة—مثل لعب نسخة فيديو من الروبوت. والمشكلة هي أن الروبوت الذي يقود بشكل مثالي في لعبة فيديو قد يصطدم بجدار في الحياة الواقعية لأن المحاكاة لا تستطيع الشعور ببروز حصاة أو تذبذب المحرك.
تقدم هذه الورقة البحثية ACT (الاختبار الآلي للأنظمة السيبرانية الفيزيائية)، وهي طريقة جديدة لاختبار هذه الروبوتات تشبه امتلاك خادم روبوتي يعمل على مدار الساعة، لا ينام ولا يتعب، ويتحقق من كل جزء من أجزاء الروبوت قبل السماو له بالخروج إلى العالم.
إليك كيف يعمل نظام ACT، مقسمًا عبر تشبيهات بسيطة:
1. الإعداد: "صالة ألعاب الروبوت الرياضية"
فكر في ACT كـ صالة ألعاب رياضية متخصصة للروبوتات.
- العداء (المدرب): يستخدم ACT نظامًا حاسوبيًا (متصل بـ GitHub، حيث يوجد الكود) يعمل كمدرب. عندما يقدم المطور قطعة جديدة من الكود (مثل تعليمات جديدة للروبوت)، يقول المدرب تلقائيًا: "حسنًا، لنختبر هذا!".
- الأجهزة (المعدات): الصالة مجهزة بآلات خاصة. فبدلاً من مجرد مراقبة الشاشة، يستخدم ACT كاميرات حقيقية، وأذرعًا متحركة، وأضواء للتفاعل جسديًا مع الروبوت.
2. كيف يتم الاختبار: "اختبار الجهد"
تصف الورقة البحثية أربع طرق رئيسية يتحقق بها ACT مما إذا كان الروبوت سليمًا، باستخدام أساليب إبداعية:
اختبار العين الرمشة (مصابيح LED):
تمتلك الروبوتات أضواء صغيرة (LED) تومض لتظهر أنها تعمل. يستخدم ACT كاميرا مع "مرشح ألوان" خاص (مثل ارتداء نظارات ذات عدسات حمراء) لمراقبة الضوء. إنه يحسب بالضبط عدد المرات التي يومض فيها الضوء في الثانية الواحدة.- التشبيه: تخيل معلمًا يتحقق مما إذا كان الطالب مستيقظًا عن طريق عد عدد مرات رمش عينيه. إذا كان الطالب يرمش ببطء شديد أو لا يرمش على الإطلاق، سيعرف المعلم أن هناك خطبًا ما. يقوم ACT بذلك رياضيًا لضمان أن "عيون" الروبوت مفتوحة.
اختبار إمالة الرأس (حساسات IMU):
تحتاج الروبوتات إلى معرفة ما إذا كانت على تلة أو أرض مستوية. فهي تستخدم مستشعرًا يسمى IMU (يشبه الأذن الداخلية للتوازن). يقوم ACT بوضع الروبوت على منصة مائلة تميله جسديًا إلى الجانب.- التشبيه: الأمر يشبه طبيبًا يميل رأس المريض للتحقق من توازنه. ثم يستخدم ACT كاميرا لالتقاط صورة لشاشة الروبوت، ويقرأ الأرقام التي تعرضها (باستخدام تقنية تسمى OCR، وهي تشبه قدرة الروبوت على قراءة قائمة الطعام)، ويتأكد مما إذا كانت الأرقام تطابق الزاوية التي تمسك بها المنصة.
اختبار "النقرة" (حساسات التصادم):
تحتاج الروبوتات إلى معرفة متى تصطدم بجدار. يستخدم ACT ذراعًا روبوتية مع كتلة دوارة للنقر بلطف على المصدات الأمامية للروبوت.- التشبيه: تخيل والداً ينقر بلطف على ركبة طفله بمطرقة للتحقق من ردود أفعاله. يقوم ACT بالنقر على مستشعرات الروبوت ليرى ما إذا كان يظهر عبارة "آه، لقد اصطدمت بشيء!" على شاشته. إذا لم يستجب الروبوت، أو إذا استجاب للجانب الخطأ، سيعرف ACT أن هناك سلكًا مقطوعًا (خطأ في الأجهزة) أو عقلًا مشوشًا (خطأ في البرمجيات).
اختبار الدوران (المحركات):
تحتاج الروبوتات إلى عجلات تدور بالسرعة الصحيحة. يقوم ACT بتعليق عجلة الروبوت في الهواء وتدويرها. يستخدم كاميرا لتتبع نقطة مرسومة على العجلة.- التشبيه: الأمر يشبه ميكانيكيًا يدور إطار سيارة ويراقب قطعة من الطباشير على الإطار ليرى مدى سرعته. يقوم ACT بعد الدورات للتأكد من أن المحرك لا يدور بسرعة كبيرة جدًا (ما قد يؤدي لكسره) أو ببطء شديد (ما يعني أنه عالق).
3. لماذا هذا مهم: مشكلة "التذبذب" (Flakiness)
أحد أكبر الصداع في الاختبار هو "التذبذب".
- التشبيه: تخيل أنك تقلب عملة معدنية لتقرر ما إذا كان الاختبار قد نجح. أحيانًا تظهر "صورة" (نجاح)، وأحيانًا "كتابة" (فشل)، رغم أن شيئًا لم يتغير. هذا أمر محبط ومربك.
- حل ACT: ACT ذكي بما يكفي ليعرف أن الاختبار قد يحتاج أحيانًا للعمل لفترة أطول للتأكد. إنه يوازن بين السرعة (كيفية الحصول على إجابة بسرعة) والدقة (التأكد من أن الإجابة صحيحة). إنه ينتظر لفترة كافية فقط ليكون متأكدًا بنسبة 99% أن الروبوت معطل بالفعل، وليس مجرد يمر بيوم سيء.
الصورة الكبيرة
اختبر المؤلفون هذا النظام باستخدام روبوت تعليمي صغير (Pololu 3pi+) ووجدوا أن ACT يمكنه رصد الأخطاء التي قد تغفل عنها عمليات المحاكاة. يمكنه التمييز بين مستشعر معطل (أجهزة) وبرنامج مشوش (برمجيات).
باختصار: ACT يشبه مفتش مراقبة جودة آلي وصارم لمستقبل الروبوتات. إنه يضمن أنه عندما يتم تحميل كود مفتوح المصدر ووضعه في روبوت حقيقي، فإن ذلك الروبوت سيكون آمنًا، موثوقًا، وجاهزًا للانطلاق، بدلاً من الاصطدام بجدار بسبب خطأ برمجي صغير غير مكتشف.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.