Search academic texts

Registration Number

0224U032264, 0120U000212 , R & D reports

Title

Models, methods and tools for creating and analyzing fault-tolerant, reliable and secure systems critical use: assessment of the possibility of extending the service life with permissible ones values of risks

popup.stage_title

Розробка теоретичних основ створення гарантоздатних комп’ютерних систем (ГКС)

Head

Федухін Олександр Вікторович,

Registration Date

28-08-2024

Organization

Institute of Mathematical Machines and System Problems NAS Ukraine.

popup.description2

Various CS vulnerabilities that are a threat to information security were investigated, the issue of using N-version programming was considered in order to detect and avoid design errors in the software of any system. The attributive model of the guarantee capacity of the CS has been improved. A detailed decomposition of the attributive model into attributes, metrics and criteria for assessing the level of implementation of individual characteristics was performed. For the first time, thanks to the obtained attributive model and based on the metric approach, original methods of quantitative assessment of the level of guarantee capacity of the CS have been developed. 

Product Description

popup.authors

Biehun Vasyl V.
Mukha Artem A.
Redkovska Maryna M.
Sespedes Harsiia Natalia V.
Sespedes Harsiia Patrick D.
Strelnikov Valerii P.
Strelnikov Valerii P.
Fedukhin Oleksandr V.

popup.nrat_date

2024-10-01