Search academic texts

Information × Registration Number 0220U000292, 0115U000035 , R & D reports Title Development of theoretical bases and applied methods for creating computer tools and systems with guaranteed reliability and security for critical infrastructures and technologies popup.stage_title Head Fedukhin Alex, Registration Date 28-01-2020 Organization The Institute of Mathematical Machines and System Problems of NAS Ukraine popup.description2 In the paper the further development of the theory of ensuring the security of the COP is outlined and the following topical scientific problems are solved. 1. On the basis of the analysis of modern problems of creation of computer-aided computer systems (GCS), the conclusions are made about the need to apply a comprehensive approach to their solution on the platform of a new fault-tolerant structure. 2. The attribution model of the COP (AMGKS) guaranteeability is improved by incorporating the attribute reliability into the model, which determines the probability of obtaining a reliable result during the calculations. 3. A detailed decomposition of AMGKS into attributes, metrics and criteria for evaluating the level of realization of individual characteristics has been performed. 4. For the first time, the AMCGS has been able to develop an original methodology for quantifying the level of security of a COP. 5. Expert and two analytical methods of quantitative estimation of the weight coefficients of the metrics of some arbitrary attribute of the COP's guarantee were first proposed. 6. For the first time, on the basis of a metric approach, an original scalar mathematical model of quantitative evaluation of the overall level of the COP's warranty was developed. 7. For the first time, due to the consideration of AMGKS as a set of attributes with their metric quantitative indicators, a procedure for comparative evaluation of the COP by the achieved level of assurance of different variants of their implementation in the design process was developed. Requirements for the software of fault-tolerant COPs are formulated and the possibility of achieving a high degree of security of the control programs through the use of methods of prevention, detection and maintenance of error tolerance is proved. 8. For the first time a new class of dual-channel CSs with quasi-content structure (CMC) and the possibility of its reconfiguration with component failures have been proposed. The simulation results of the RELIABmod software package also confirm that, in the case of both non-renewable and renewable CCCs, its JBR increases with the number of duplicate nodes that make up the structure. 9. Methods of investigation of the reliability of the COP according to the results of tests in the conditions of small failure statistics are developed. The analysis of information transformations in risk management is carried out, the structures of information systems on the safety of potentially dangerous objects are developed, the information technologies in ensuring the safety of life in modern conditions of international tension are analyzed. 10. The technology of life cycle management of the COP with developed external infrastructure has been developed. Product Description popup.authors Бєгун Василій Васильович Муха Артем Редковська Марина Миколаївна Сеспедес Гарсія Наталія Василівна Сеспедес Гарсія Патрик Давидович Стрельніков Валерій Павлович Стрельніков Павло Валерійович Фідаров Тамерлан Зелімханович Федухін Олександр Вікторович Ярошенко В'ячеслав Миколайович Ященко Віталій Олександрович popup.nrat_date 2020-04-02 Close