Netkachova K. Methods and information technology for assessing functional safety of information and control systems with the use of formal notations

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0413U002071

Thesis Registration Form

0413U002071.pdf

Applicant for

Netkachova Kateryna Igorivna

Specialization

05.13.06 - Інформаційні технології

Date of defense

22-03-2013

Specialized Academic Board

Д 64.062.01

National Aerospace University "Kharkiv Aviation Institute"

Essay

The object - processes of functional safety assessment of informaiton and control systems. The purpose - ensure the reliability of assessment of functional safety of critical software and information and control systems. Novelty - a model of the functional safety assessment of information and control systems was proposed. This model is based on the joint use of varoius formal notations, operations of filtering and conversion. The method of assessment of information and comtrol systems functional safety has been improved. The method of assesing security of multi-component software systems has been deveoped further. Domain - information technology of critical applicaitons.

Thesis supervisor

Kharchenko Vyacheslav Sereevich

Official opponents

Шостак Ігор Володимирович
Потій Ігор Володимирович

Files

aref.doc

dis.pdf

Similar theses

0424U000107

Oleksandra V. Kovyrova

Models and instrumental tools of express diagnostics for using in the biology and medicine

0524U000111

Tetiana A. Honcharenko

Methodological foundations of the formation of a unified information environment for the automation of object-spatial systems in construction projects

0524U000108

Ihor M. Liakh

Methodological foundations of information technology for gene expression data processing and its application in the field of bioinformatics

0524U000074

Andrii Shyshatskyi

Intelligent methods of managing interference protection of radio communication systems under conditions of destabilizing influences

0524U000069

Gnatchuk Elizaveta Gennadievna

Theoretical and applied principles of information technology for supporting medical decision-making considering the civil law grounds