Software reliability systems

Author: Irakli Jojua
Co-authors: Lela Mirtskhulava
Keywords: software, reliability, sistems, copilot, polyspace, bug, finder, code, prover, haskell, C
Annotation:

This paper presents the study of Software reliability systems. We review the reasons of critical software reliability errors, which caused fatal results. We research Software monitor utilization for distributed, fault tolerance systems, realization of fault tolerance mechanism using runtime verification technic and different aspects of using Copilot Language for runtime verification. We demonstrate software reliability testing, using static code analysis tools: Polyspace Bug Finder and Polyspace Code Prover. Basis of demonstrating examples, we show how to check, find out and correct C code errors, how to develop it, to be reliable and meet software development standards, such as MISRA C.

Lecture files:

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