Linux çekirdeği 5.20'ye dahil edilmek üzere (belki de şube 6.0 olarak numaralandırılacaktır), RV (Çalışma Zamanı Doğrulaması) mekanizmasının uygulanmasıyla birlikte, son derece güvenilir sistemlerde doğru çalışmayı kontrol etmek için araçlar sağlayan bir dizi yama önerilmektedir. başarısızlıkların olmaması. Doğrulama, sistemin beklenen davranışını tanımlayan otomatın önceden belirlenmiş bir referans deterministik modeline göre yürütmenin fiili ilerleyişini kontrol eden izleme noktalarına işleyiciler eklenerek çalışma zamanında gerçekleştirilir.
İzleme noktalarından gelen bilgiler, modeli bir durumdan diğerine taşır ve yeni durum modelin parametreleriyle eşleşmezse bir uyarı oluşturulur veya çekirdek "panik" durumuna yerleştirilir (yüksek güvenilirliğe sahip sistemlerin algılaması beklenir) ve bu tür durumlara yanıt verin). Bir durumdan diğerine geçişleri tanımlayan otomat modeli, "nokta" formatına (graphviz) aktarılır, ardından dot2c yardımcı programı kullanılarak bir çekirdek modülü biçiminde yüklenen bir C gösterimine çevrilir. Yürütme ilerlemesindeki önceden tanımlanmış modelden sapmaları izler.
Çalışma zamanı modeli kontrolü, görev açısından kritik sistemlerde doğru yürütmeyi doğrulamak için daha hafif ve uygulaması daha kolay bir yöntem olarak konumlandırılır ve model kontrolü ve resmi olarak verilen spesifikasyonlarla kodun uyumluluğunun matematiksel kanıtları gibi klasik güvenilirlik doğrulama yöntemlerini tamamlar. dil. RV'nin avantajları arasında, tüm sistemin bir modelleme dilinde ayrı bir uygulaması olmadan katı doğrulama sağlama yeteneğinin yanı sıra, örneğin kritik sistemlerde bir arızanın daha da yayılmasını engellemek için öngörülemeyen olaylara esnek yanıt verme yeteneği yer alır.
Kaynak: opennet.ru