Volkoviy A. Models, methods and tools for development of multi-version software of critical information control system

Subject of research – critical information control systems (ICS) software development processes based on multi-version technologies. Goal of research – reducing risk of undetected faults and increasing reliability of software for ICS due to redundancy and diversity of products and processes. Pursued researches are based on methods of graph theory and set theory for models of multi-version processes and defects of multi-version software; methods of metrics-probabilistic analysis of reliability and expert evaluation approach for multi-version software evaluation method and technology choice technique. In the thesis models, methods and tools for critical software development with process and product diversity are proposed. Scientific results are: method of making profiles of multi-version software, which determines of set of requirements for software; multi-version software life cycle model, that formalizes processes of divers development; the method of multi-version software reliability evaluation for calculating diversity metrics and software reliability indexes on different stages of life cycle; method of multi-version soft-ware development, which allows to choice technology taking into account requirements and project constraints; tools, which are basis of information technology for supporting multi-version software development processes. Degree of application – industrial. Main results are assume to use in organizations and enterprises engaged in development, implementation and certification of specialized ICS.