Linux nüvəsinə 5.20 (bəlkə də filial 6.0 nömrələnəcək) daxil etmək üçün RV (Runtime Verification) mexanizminin tətbiqi ilə bir sıra yamaqlar təklif olunur ki, bu da yüksək etibarlı sistemlərdə düzgün işləməyi yoxlamaq üçün alətlər təqdim edir. uğursuzluqların olmaması. Doğrulama, sistemin gözlənilən davranışını təyin edən avtomatın əvvəlcədən müəyyən edilmiş istinad deterministik modelinə uyğun olaraq icranın faktiki gedişatını yoxlayan izləmə nöqtələrinə işləyiciləri əlavə etməklə icra müddətində həyata keçirilir.
İz nöqtələrindən gələn məlumat modeli bir vəziyyətdən digər vəziyyətə keçir və yeni vəziyyət modelin parametrlərinə uyğun gəlmirsə, xəbərdarlıq yaradılır və ya nüvə “çaxnaşma” vəziyyətinə salınır (yüksək etibarlılıq sistemlərinin aşkarlanması gözlənilir) və belə vəziyyətlərə cavab verin). Bir vəziyyətdən digərinə keçidi təyin edən avtomat modeli “nöqtə” formatına (graphviz) ixrac edilir, bundan sonra dot2c yardım proqramından istifadə edərək C təsvirinə tərcümə olunur və bu, nüvə modulu şəklində yüklənir. əvvəlcədən müəyyən edilmiş modeldən icra tərəqqisinin sapmalarını izləyir.
Run-time model yoxlanışı kritik vəzifəli sistemlərdə düzgün icranın yoxlanılması üçün daha yüngül və asan həyata keçirilən metod kimi yerləşdirilib, model yoxlanışı və formal sənəddə verilmiş spesifikasiyalara kodun uyğunluğunun riyazi sübutları kimi klassik etibarlılığın yoxlanılması üsullarını tamamlayır. dil. RV-nin üstünlükləri arasında bütün sistemin modelləşdirmə dilində ayrıca tətbiqi olmadan ciddi yoxlama təmin etmək, həmçinin gözlənilməz hadisələrə çevik reaksiya vermək, məsələn, kritik sistemlərdə nasazlığın sonrakı yayılmasının qarşısını almaqdır.
Mənbə: opennet.ru