Registration Number
0225U002644,
(0123U102106)
, R & D reports
Title
Methods and case-technologies of evidence-based assessment of software systems cybersecurity to ensure protection of critical IT infrastructure
popup.stage_title
Теоретичні та експериментальні дослідження з розробки кейс-орієнтованих методів оцінювання, інтерфейсів та технології верифікації ПСКЗ
Head
Illiashenko Oleh O., Кандидат технічних наук
Registration Date
25-03-2025
Organization
National Aerospace University "Kharkiv Aviation Institute"
popup.description1
Ensuring guaranteed completeness and validity of cybersecurity and functional safety assessment of critical software systems in order to reduce the risks of violation of critical infrastructures cyber assets through the development and implementation of a complex of formal and semi-formal methods, models, software tools and information technology for the assessment and verification of such systems, taking into account the multitude of physical and design defects , backdoors and vulnerabilities of hardware, electronic FPGA projects and software platforms that can be attacked and lead to system failure
popup.description2
A comprehensive approach to verifying and finding vulnerabilities in FPGAs and hardware using insertion modeling is considered. The mathematical apparatus of the
algebra of behaviors makes it possible to present the FPGA and hardware models in a comprehensible algebraic form and to use the appropriate methods of finding vulnerabilities and formal verification. Algebraic models have been developed for the description and detection of vulnerabilities in the specifications of electronic
projects at various stages of the life cycle, which, unlike the known ones, are based on the semantics of insertion modeling in the language of the algebra of behavior and allow to ensure the guaranteed completeness of verification and testing of HDL components, electronic projects for FPGAs in general, logic programmable systems of critical applications (PSCA) user applications. A verification sequence has been developed using algebraic models and testing methods by generating tests from models built at various stages of development, which, unlike known ones, are based on the automatic generation of a Message sequence chart, which allows for guaranteed completeness of verification and testing of HDL components, electronic projects for FPGAs in general, the logic of user applications of PSCA. A set of components for ensuring the cybersecurity of FPGA as a Service platforms is proposed, which meets modern threats of such systems and includes regular software updates, security monitoring and analysis, audit and penetration testing, compliance with security standards, and personnel training.
Product Description
popup.authors
Illiashenko Oleh O.
Babeshko Yevhen V.
Letychevskyi Oleksandr О.
Odarushchenko Oleh M.
Tetskyi Artem H.
popup.nrat_date
2026-06-23
