Sulima J. Methods of estimation and increase in checkability of digital devices for on-line testing of safety-critical systems.

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

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0414U003729

Thesis Registration Form

0414U003729.pdf

Applicant for

Sulima Julian

Specialization

05.13.05 - Комп'ютерні системи та компоненти

Date of defense

26-06-2014

Specialized Academic Board

Д 41.052.01

Odessa National Polytechnic University

Essay

Dissertation is devoted to a problem in checkability of the digital devices (DD) important for ensuring safety of safety-critical systems (SCS) used for maintaining the objects of raised risk in power engineering, transport, etc.

Thesis supervisor

Drozd Olexandr

Official opponents

Кондратенко Юрій Пантелійович
Романкевич Віталій Олексійович

Files

aref.pdf

dis.pdf

Similar theses

0524U000165

Vadym V. Shkarupylo

Methods and means for safety-critical systems’ software and algorithmic constituent design process artifacts control

0524U000048

Anna V. Khakhanova

Federated computing of vector-matrix transactions in cyber-social systems

0424U000015

Oleksandr Melnyk

Methods and means of forming graphic primitives on a hexagonal grid

0422U100014

Saprykin Oleksandr Sergiyovych

Models for automated analysis and diagnosis of polymorphic viruses in computer systems and networks

0421U103964

Uzdenov Taras Amurovych

Task scheduling methods for GRID-systems with inalienable resources