Sergiienko V. The invariant-oriented information technology of independent verification of software for information control systems, critical to safety

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

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0412U000698

Thesis Registration Form

0412U000698.pdf

Applicant for

Specialization

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

02-03-2012

Specialized Academic Board

Д 64.062.01

National Aerospace University "Kharkiv Aviation Institute"

Essay

The object - processes of dependability and safety assessment for critical information and control systems during qualification; the purpose - providing reliable estimations of characteristics of the critical software that affect the safety of I&C systems; novelty - method of justification-based independent verification based on invariants integrity chesking ; method of "point" seeding of test software faults and model for assessment of latent faults probability of critical I&C system software were improved; method of model-checking verifiation had the further development; the branch - information and control systems.

Read more

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