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

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

მოცემულ ნაშრომში განიხილულია პროგრამული უზრუნველყოფის მდგრადობის სისტემები, ის სავალალო შედეგები, რომლებიც გამოწვეულ იქნა პროგრამული უზრუნველყოფის გაუმართაობის გამო. ასევე გამოკვლეულ იქნა პროგრამული უზრუნველყოფის მონიტორინგის გამოყენება განაწილებულ, შეცდომების მიმართ ტოლერანტულ სისტემებში, Runtime Verification ტექნიკის გამოყენებით შეცდომების მიმართ ტოლერანტული მექანიზმების რეალიზაცია და Copilot ენის გამოყენების ასპექტები Runtime Verification-თვის. ნაშრომში ნაჩვენებია პროგრამული უზრნველყოფის მდგრადობის შემოწმება Polyspace Bug Finder-ისა და Polyspace Code Prover-ის გამოყენებით. მოყვანილი მაგალითების საფუძველზე განხილულია, თუ როგორ არის შესაძლებელი ამ პროგრამების გამოყენებით C კოდში არსებული ხარვეზების გამოსწორება და პროგრამული უზრუნველყოფის განვითარების სტანდარტთან (MISRA C) შესაბამისობაში მოყვანა.

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

სამაგისტრო ნაშრომი [ka]