პროგრამული უზრუნველყოფის მდგრადობის სისტემები

ავტორი: ირაკლი ჯოჯუა
საკვანძო სიტყვები: პროგრამული, უზრუნველყოფის, მდგრადობის, სისტემები, უზრუნველყოფა, მდგრადობა, კოპილოტი, სისტემა, პოლისპეისი, ჰესკელი, C
ანოტაცია:

მოცემულ ნაშრომში განიხილულია პროგრამული უზრუნველყოფის მდგრადობის სისტემები, ის სავალალო შედეგები, რომლებიც გამოწვეულ იქნა პროგრამული უზრუნველყოფის გაუმართაობის გამო. ასევე გამოკვლეულ იქნა პროგრამული უზრუნველყოფის მონიტორინგის გამოყენება განაწილებულ, შეცდომების მიმართ ტოლერანტულ სისტემებში, Runtime Verification ტექნიკის გამოყენებით შეცდომების მიმართ ტოლერანტული მექანიზმების რეალიზაცია და Copilot ენის გამოყენების ასპექტები Runtime Verification-თვის.

მიმაგრებული ფაილები:

პროგრამული უზრუნველყოფის მდგრადობის სისტემები (პრეზენტაცია) [ka]
პროგრამული უზრუნველყოფის მდგრადობის სისტემები [ka]