Search academic texts

Information × Registration Number 0224U032265, 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 Rozrobleno atrybutyvnu modelʹ harantozdatnosti (AMH) prohramnoho zabezpechennya (PZ). Vpershe, zavdyaky otrymaniy atrybutyvniy modeli ta na osnovi metrychnoho pidkhodu, rozrobleno oryhinalʹni metody kilʹkisnoho otsinyuvannya rivnya harantozdatnosti PZ, rozrobleno metody otsinyuvannya rivniv vykonannya metryk ta atrybutiv AMH PZ, rozrobleno analitychna kompleksna otsinka rivnya harantozdatnosti PZ, rozrobleno metody porivnyalʹnoho analizu rivnya harantozdatnosti PZ na zasadi analitychnoho opysu AMH. Otrymani teoretychni rezulʹtaty doslidzhenʹ ta praktychno pidtverdzheni prykladni metody analizu yakosti PZ mayutʹ mizhhaluzevu napravlenistʹ ta mozhutʹ buty vprovadzheni pry rozrobtsi ta proektuvanni PZ konkurentnozdatnykh vitchyznyanykh informatsiynykh ta keruyuchykh KS dlya krytychnykh tekhnolohiy ta infrastruktur v haluzi transportu i enerhetytsi. Ещё 817 / 5 000 An attributive software assurance model (AMG) has been developed. 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 software guarantee capability were developed, methods of evaluation of the levels of performance of metrics and attributes of AMG software were developed, analytical comprehensive assessment of the level of software guarantee capability was developed, methods of comparative analysis of the level of software guarantee capability were developed on the basis of analytical description of AMG. The obtained theoretical research results and practically confirmed applied methods of software quality analysis have an interdisciplinary orientation and can be implemented in the development and design of competitive domestic information and control system software for critical technologies and infrastructures in the field of transport and energy.  Product Description popup.authors Biehun Vasyl V. Mukha Artem A. Redkovska Maryna M. Sespedes Harsiia Natalia V. Sespedes Harsiia Patrick D. Strelnikov Valerii P. Fedukhin Oleksandr V. popup.nrat_date 2024-10-01 Close