في عالم البرمجيات الحساسة للسلامة، يعتبر الحفاظ على التوافق بين التصميم المعماري والسلوك الفعلي تحدياً كبيراً، خاصة عند التعامل مع البرمجيات التي تتطلب معايير صارمة مثل ISO 26262. قد يسبب انحراف العمارة (Architectural Drift) مشاكل كبيرة في الأداء والسلمية.

تقدم دراسة جديدة منهجية متطورة تتيح كشف انحراف العمارة عن طريق تحليل تتبع التنفيذ (Runtime Trace Analysis). تعتمد هذه المنهجية على تقنيات جمع تتبع الأداء المدعومة بالعتاد، حيث يتم تجميع المعلومات عن تبادلات الرسائل بين مكونات البرمجيات.

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

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

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