في عالم اليوم المتسارع، يُعتبر الأمان الرقمي من الأولويات القصوى في تصميم أنظمة الرقاقات (SoC). وهنا يأتي الدور الثوري لإطار العمل ATLAS، الذي يجمع بين النمذجة المعتمدة على التهديد والتحقق الرسمي بشكل مبتكر.

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

يمثل هذا الإطار خطوة هامة نحو الأمان المعتمد على المعرفة، حيث يقوم بالتدخل الذكي ليجمع بين التحليل القائم على الأصول والقوالب القياسية لنمذجة التهديدات، مما يتيح تحسيناً ملموساً في كشف الضعف. تم تقييم ATLAS على ثلاثة معايير HACK@DAC، واكتشف 39 من 48 CWE، وقام بتوليد خصائص صحيحة لـ 33 من تلك الثغرات.

إن هذه النتائج تشير بوضوح إلى تقدم ATLAS في مجال التحقق من أمان الرقاقات، داعماً رؤية نموذج "آمن من التصميم" (Secure-by-Design). بفضل الذكاء الاصطناعي، يُعد ATLAS نموذجاً يحتذى به في كيفية الاستفادة من الخبرات المعرفية لتعزيز مستوى الأمان في التصميمات الحديثة.