International Conference «Mathematical and Information Technologies, MIT-2016»
Gruzenkin D. Chernigovskiy A.S. Tsarev R.Y.Requirements for N-version Software Modules Design and DevelopmentReporter: Gruzenkin D.
N-version programming as an approach to provision of fault tolerance in safety-critical systems proved itself positively for a row of various practical tasks [1–4]. Theoretical analysis and practical experiments demonstrate a substantial increase of reliability in case of using N-version software systems in contrast to traditional one-version software [5, 6]. General theoretical approach to N-version software design supposes that potential faults appearing in different versions are completely independent [7]. Independence of potential faults is determined by using different methods and algorithm of the task solving [8]. As for program realization, the problem of potential faults independence lies at the level of source codes. At the stage of software run, fault independence can be lost due to possible interactions disregarded at the stage of execution of the modules versions within the whole software. To reports list |