شهدت مجالات اللغة والرؤية تقدمًا كبيرًا مما أدى إلى ظهور نماذج أساسية شاملة للزمن المتسلسل والديناميكا الفيزيائية. ومع ذلك، تبقى هذه النماذج أقل نضجًا بالنسبة للأنظمة الحرجة مثل الأنظمة السيبرانية-الفيزيائية (Cyber-Physical Systems - CPS). إن النماذج الديناميكية التي تعتمد على معلمات عالمية يجب أن تظل فعالة حتى مع التغيرات الحرجة، الانخفاضات، وتحديثات دورة الحياة، مع ضرورة دعم أدلة التحقق القابلة للتعقب.
وتشير التوجهات الحالية إلى أن الاعتماد على معلمات عالمية قد يقيد القدرة على التكيف ويمثل العيوب بشكل يتعارض مع الحفاظ على المعرفة المحدودة والتحليلات المحسوبة. فبدلاً من استخدام نموذج متكيف عالميًا واحد، يمكن تحقيق أدلة موثوقة حول النماذج المحلية الصالحة بشكل محدود.
تقدم HYDRA كمعمارية مرجعية لهذه الفلسفة، حيث تجمع بين المتخصصين المحليين المجمدين، والتحكيم في الوقت الفعلي، ورصد الفجوات بشكل صريح. توضح HYDRA كيف يمكن للنماذج القابلة للتدقيق والتقييم الرسمي للمكونات المحدودة أن تدعم سلامة حالة نظام Certifiable State Integrity، في حين تبقى متطلبات الشهادات الكاملة والتبديل والتحقق التجريبي مسوؤليات منفصلة.
النموذج المثالي لسلامة النظام: كيف تتحقق من صحة الأداء محلياً بدلاً من الاعتماد على النطاق العالمي؟
تسليط الضوء على أهمية استخدام نماذج محلية للتحقق من صحة الأنظمة في البيئات الحساسة. تقدم HYDRA كمعمارية مرجعية لإدارة وتعزيز سلامة النظام.
المصدر الأصلي:أركايف للذكاء
زيارة المصدر الأصلي ←جاري تحميل التفاعلات...
