كيفية إنشاء تدفق عمل للتحقق الآلي في الهندسة الفضائية الجوية

الاحتياجات

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

اختيار طرق التحقق وتنفيذها

التحليل

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

التفتيش واستعراض الأقران

فالتفتيشات هي فحوصات منتظمة للتصميمات - الدراية، والرسوم البيانية، والرمز، أو الوثائق - مقابل قائمة مرجعية أو معيارية، واستعراضات نظراء رسمية، مثل عمليات التفتيش الشكلي، والكشف عن ما يصل إلى ٦٠ إلى ٨٠ في المائة من العيوب الكامنة قبل بدء الاختبار، وفي الفضاء الجوي، تتبع استعراضات التصميم عملية تحقق تدريجية: استعراض التصميم الأولي واستعراض التصميم الحرفي هي سجلات رئيسية للتفتيش.

الشهية

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

الاختبار

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

نموذج التحقق القائم على أساس نوعي

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

الأدوات والتأهيلات اللازمة للتحقق المتصاعد

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

الوثائق ومجموعة الأدلة المتعلقة بالتحقق

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

إدارة التحقق عبر سلسلة الإمدادات

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

معالجة المسائل غير المتعلقة بالمصالح وإعادة العمل

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

تبادل المعلومات بشأن تقييم السلامة والتحقق منها

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

التحقق من السلامة البيئية

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

العوامل الإنسانية في مجال التحقق

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

التحسين المستمر والدروس المستفادة

أما أكثر المنظمات التي تتطور في مجال الفضاء الجوي، فتعالج التحقق ليس كمرحلة ولكن بوصفه دورة تعلم مستمرة، وبعد كل مرحلة رئيسية من مراحل البرنامج، يستوعب تحليل ما بعد الوفاة حالات الخروج من نظام التحقق - الآثار التي تنزلق إلى مراحل لاحقة أو إلى مرحلة الخدمة، وتصبح القياسات مثل الكثافة العيوب لكل مرحلة من مراحل التحقق، ونسبة الفعالية في الاختبار، وتقلبات الاحتياجات مصممة حسب الزمن، وقد تكون الأسباب الكامنة وراء نقاط الضعف في عملية التحقق المصدق عليها:

Leveraging Digital Twins and Advanced Analytics

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

الجدول الزمني للتنفيذ العملي

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

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