لینکس کرنل 5.20 میں شامل کرنے کے لیے (شاید برانچ کا نمبر 6.0 ہوگا)، آر وی (رن ٹائم تصدیق) کے طریقہ کار کے نفاذ کے ساتھ پیچ کا ایک سیٹ تجویز کیا گیا ہے، جو انتہائی قابل اعتماد سسٹمز پر درست آپریشن کی جانچ کرنے کے لیے ٹولز فراہم کرتا ہے جو اس بات کی ضمانت دیتا ہے۔ ناکامیوں کی غیر موجودگی. رن ٹائم پر ہینڈلرز کو ٹریس پوائنٹس کے ساتھ منسلک کرکے تصدیق کی جاتی ہے جو آٹو میٹن کے پہلے سے طے شدہ ریفرنس ڈیٹرمنسٹک ماڈل کے خلاف عمل درآمد کی اصل پیش رفت کو چیک کرتے ہیں جو سسٹم کے متوقع رویے کی وضاحت کرتا ہے۔
ٹریس پوائنٹس سے حاصل ہونے والی معلومات ماڈل کو ایک حالت سے دوسری حالت میں لے جاتی ہے، اور اگر نئی حالت ماڈل کے پیرامیٹرز سے میل نہیں کھاتی ہے، تو ایک انتباہ پیدا کیا جاتا ہے یا دانا کو "گھبراہٹ" حالت میں رکھا جاتا ہے (اعلی قابل اعتماد نظاموں سے پتہ لگانے کی توقع کی جاتی ہے۔ اور ایسے حالات کا جواب دیں)۔ آٹومیٹن ماڈل، جو ایک حالت سے دوسری حالت میں منتقلی کی وضاحت کرتا ہے، اسے "ڈاٹ" فارمیٹ (گراف ویز) میں برآمد کیا جاتا ہے، جس کے بعد اسے dot2c یوٹیلیٹی کا استعمال کرتے ہوئے C نمائندگی میں ترجمہ کیا جاتا ہے، جو کہ کرنل ماڈیول کی شکل میں لوڈ ہوتا ہے۔ پہلے سے طے شدہ ماڈل سے عملدرآمد کی پیشرفت کے انحراف کو ٹریک کرتا ہے۔
رن ٹائم ماڈل چیکنگ کو مشن کے اہم نظاموں پر درست عمل درآمد کی توثیق کرنے کے ہلکے وزن اور عمل میں آسان طریقہ کے طور پر رکھا گیا ہے، کلاسیکی اعتبار کی توثیق کے طریقوں جیسے ماڈل کی جانچ پڑتال اور رسمی طور پر دی گئی وضاحتوں کے ساتھ کوڈ کی تعمیل کے ریاضیاتی ثبوتوں کی تکمیل کرتا ہے۔ زبان. RV کے فوائد میں ایک ماڈلنگ لینگویج میں پورے سسٹم کے علیحدہ نفاذ کے بغیر سخت تصدیق فراہم کرنے کی صلاحیت ہے، نیز غیر متوقع واقعات پر لچکدار ردعمل، مثال کے طور پر، نازک نظاموں میں ناکامی کے مزید پھیلاؤ کو روکنے کے لیے۔
ماخذ: opennet.ru