SECTIONS

SCHEDULE

SESSION SCHEDULE

V. S. Kharchenko
Methodological aspects of dependable systems.

A. M. Romankevich
Estimation of reliability of fault-tolerant multiprocessor systems using modern methods of modelling.

A. S. Kulik
Problems of fault-tolerant control and trends of their solution.

M. A. Yastrebenetsky
Ukrainian nuclear power plant safety and instrumentation and control systems functional safety.

I. D. Gorbenko
Problems and state of public keys infrastructure in Ukraine.

O. M. Khoshaba
Increase of reliability of functioning the service-focused systems in computer networks using the multiagent approach.

A. V. Boyarchuk
Web-services updates control system modelling.

A. I. Mikhaylichenko, A. V. Gorbenko, V. S. Kharchenko
Monitoring and processing exceptions of dynamically reconfigurable webservices.

V. S. Kharchenko, A. A. Furmanov, A. V.Gorbenko
Intrusion tolerance of web-systems: IMEA-analysis and multiversion architecture.

A. I. Sirotyuk
Analysis and implementations of medical Web-services.

A. V. Sirotyuk
Ensuring dependability of Web-services using diverse operational systems.

Yu. P. Kondratenko, A. S. Shishkin
The firmware complex analysing the level of elements dependability for the adaptive robotic systems.

O. A. Luchenko, O. I. Gavrilenko, A. S. Kulik
Ensuring active fault-tolerance of technical systems.

I. Ye. Kitaychuk
Automatic control systems design based on the system approach to provide the intolerance.

D. V. Kiryanov
Model of the automatic control system for raising antenna mast in wind stress conditions on the base of fuzzy regulator.

Yu. N. Prokhorova, S. B. Ostroumov
Modern fault-tolerant technologies in computer systems.

Ye. V. Babeshko
Analysis of abilities of modern industrial controllers for fault-tolerant systems development.

N. A. Zakharov
Fault-tolerant architectures of ACSTP and ADP on the base of industrial PLC GE Fanuc.

V. V. Yeliseyev, A. V. Gomon, V. A. Largin, A. S. Nabatov, V. I. Makarova, G. Yu. Pivovarov, V. I. Yaschenko
System of tools for construction of informational and control systems.

Yu. B. Yurchenko
Synchronous «algorithm-in-hardware» frameworks into computing systems for critical application onboard complexes: firmware-designing necessity and hardware realization possibility.

V. V. Sklyar
A risk-oriented approach to assessment and assurance of safety of critical instrumentation and control systems.
I. O. Furman, S. Ya. Bovchalyuk
Mathematical model of heightened reliability parallel control automat.

B. O. Demidov, O. O. Khmelevska
Methodic bases of evaluation and prediction of quality, analysis of effectiveness by purpose of armament and military equipment during their life cycle management.

M. I. Adamenko, G. A. Kuchuk
Ensuring reliability of fire beginning determination systems.

V. V. Yeliseyev
Mathematical model assessing methods of dispatching sets of tasks in heterogeneous PTC.

V. V. Yeliseyev, G. Yu. Pivovarov, A. S. Nabatov, V. A. Ustimov
Equipment of power reactor neutron flux control – ensuring survivability.

A. V. Kharybin, O. N. Odaruschenko
About approach to choosing estimation methodology of structural reliability and survivability of the critical information networks.

N. Khilchenko
Risk-oriented software reliability assessment.

O. S. Timofeyev
Assessing functions criticality and correlation of airborne informationalcontrol systems at potential survivability analysis.

A. V. Potiy
Formal model of information security protection process.

K. V. Kolesnikov, V. Ye. Shadkhin
System analysis of criteria and parameters of protection system designing.

A. V. Potiy, I. V. Largin, Yu. P. Tkachuk
Information security requirements description in notation ARIS eEPC.

R. V. Oliynykov
Approaches to early detection of distributed DoS attacks.

I. D. Gorbenko, O. Ye. Ilyasova
Mathematical modelling of elliptic curves parameters construction processes for cryptographic transformation.

A. V. Lenshyn
Methods assessing information security processes maturity in conditions of uncertainty.

I. V. Lysenko
Using diversity principle for ensuring confidentiality in the context of modern cryptography.

V. P. Tarasenko, A. Yu. Mikhaylyuk, O. K. Teslenko, O. S. Osipov
Methodological and terminological aspects of informational stability of educational computer technologies and networks.

O. M. Odaruschenko, V. I. Bozhko
The analysis of the methods of struggle against deadlocks in critical telecommunication systems.

V. I. Bozhko, O. G. Okhrimenko
Method of critical application distributed informational system structure functional stability assessment.

L. G. Raskin, O. V. Seraya, P. Ye. Pustovoytov
Analysis of computer networks informational dependability.

I. Elyasi Komari, A. V. Gorbenko
Analysis of reliable computer networks reengineering problems.

A. S. Kulik, A. G. Chukhray, A. Yu. Zavgorodniy
Fuzzy search of similar strings in data improving systems of automated administration systems.

O. Yu. Sergeyev, S. V. Somov, I. Yu. Subach
The method of automated information retrieval systems users input requests modification.

A. N. Sidorenko
The logical-linguistic method of discounting rate estimation for investment portfolio management decision making.

A. B. Sorokin, I. I. Tychina
Optimization of orbital group resource distribution plan.

S. F. Tyurin
Foundations of improving critical informational-technological system digital equipment fault-tolerance by use of adaptation to failures.

S. F. Tyurin, A. A. Prokhorov
Ensuring fault-tolerance of the microprocessor systems adapted for functional failures by use of of the correctness control while performing control transfer commands.

A. M. Romankevich, A. A. Kononova
Characteristics of transformation of GL-models from basic bi-stable FTMS to non-basic.

V. A. Romankevich
About some method of designing GL-models of FTMS.

V. S. Kharchenko, O. N. Odaruschenko, E. B. Odaruschenko
Basic multifragments macromodels for estimating reliability of the faulttolerant computer systems of informational-control complexes.

V. S. Kharchenko, V. V. Tarasenko
Abstract models and elements of multiversion automation synthesis.

O. V. Shurygin
Choosing failure-safe structures with time-version redundancy.

N. V. Yakymets, V. S. Kharchenko, N. F. Sidorenko
Recourse-oriented diversification of fault-tolerant PLD-systems.

V. V. Sklyar, V. A. Golovir
Metrics of complexity assessment of FPGA projects that implement NPPs technological equipment control algorithms.

V. V. Sklyar, V. I. Tokarev, A. D. Gerasimenko
The hierarchical reliability assessment model for multi-components I&C systems.

A. V. Kharybin, O. N. Odaruschenko
Technique of synthesis an complex estimation method of optical-fibre transfer lines reliability.

A. A. Ushakov, A. V. Zheltukhin, V. V. Sklyar, B. V. Ostroumov, V. S. Kharchenko
Analysis of the risks of designing and maintaining PLD-based digital systems.

V. S. Kharchenko, N. P. Borodavka
Analysis of airborne information-control systems survivability using multicolor Petri nets.

I. A. Furman, M. L. Malinovsky
New conception of development and structural organization of the safe automated control system for underground trains motion.

V. V. Yeliseyev, G. Yu. Pivovarov, V. I. Yaschenko, V. I. Dedukhno, K. Ye. Gerasimenko
Modern approaches to modernization of NPPs ACSTP by the example of reactor core abnormal cooling system.

Yu. P. Kondratenko, I. V. Yavisheva, I. V. Timchenko
Behavioural VHDL-models of the fire signalling devices for increasing marine transportations dependability.

A. A. Timchenko, M. V. Pidgornyj, S. G. Odnoromanenko
System design of operative fire-fighting automatic control systems.

A. N. Yesmanchuk
Analysis of automated accounting systems of miner advancement at mineral resource industry enterprises.

V. Ye. Chevardin, A. A. Kuznetsov
The model of universal hashing function parameters assessment.

V. Ye. Chevardin
Assessments of existent universal hash function classes.

Yu. V. Stasev, A. A. Kuznetsov, A. A. Yukalchuk
Development and investigation of cryptographically-stable Boolean functions.

O. P. Meletskiy, I. D. Gorbenko
The model of security in keys conformance protocols.

K. A. Bokhan, N. S. Kovalenko, Yu. V. Kiyaschenko
Analysing cases of constructing security systems of objects with compound infrastructure.

A. A. Rezunenko, A. A. Kovalenko
The method of hiding informational messages in the field of static photorealistic images transformation.

O. Ye. Mazulevsky
The method of organizing computer network immunity control.

D. V. Shevchenko
Classification, requirements and criteria of digital signature assessment.

V. A. Tverdokhlebov
Technical diagnosing changes of parameters and properties of systems.

G. A. Polyakov
Problems of multiversional designing high reliable parallel software for control systems of critical technologies and objects.

B. M. Konorev
Assessing software quality of information-control systems for critical application by use of invariants.

V. O. Talalayev
Mobile telecommunication networks of critical application.

V. M. Lokazyuk, V. Ya. Lyashkevich
Informational system of microprocessor devices diagnostic information retrieval.

A. I. Ryazantsev, I. S. Skarga-Bandurova
Principles of grouping information in process diagnostics system.

V. A. Tverdokhlebov
Geometric images of discrete determinate systems behaviour.

A. V. Drozd, M. V. Lobachev
Using work diagnostics in solving computational tasks.

K. S. Rudakov
Methods and tools of modelling and testing local network and its components.

Marko Boskovic, Timo Warns, Wilhelm Hasselbring
Model driven instrumentation for relational event traces.

S. A. Vilkomir
Using MC/DC and RC/DC criteria for specification-based testing of safety-critical software.

A. A. Gordeyev
Uniform model of software verification and assessment by use of defects injection.

T. O. Govoruschenko
Determination of necessity and advisable method of repeated application software testing.

A. A. Barkalov, R. V. Malcheva, G. Mayerzi, A. R. Arutyunyan
The algorithm of improving information transmission reliability in microprocessor networks.

A. I. Lypchanskiy, Wajeb Gharibi
The application of linear programming methods for computer systems design.

A. V. Skatkov, Yu. P. Nyunkina
Game model of datacom network traffic routing, classic and quantum approaches.

E. V. Faure
Nonlinear transformation of discrete stochastic processes.

V. I. Slyusar, M. A. Masesov, I. I. Slyusar
Improving communication reliability in wireless local area networks by using space-time signal processing methods.

V. I. Slyusar, I. V. Titov, I. I. Slyusar, Yu. V. Utkin
Experimental verification of digital antenna array transmitting channel characteristics correction methods.

A. N. Dubik, V. I. Slyusar, A. A. Zinchenko
Using MIMO-systems for improving reliability of telecommunication systems for critical application.

O. V. Pomorova
Neural nets method of computer diagnosis systems.

O. V. Pomorova, O. Ya. Olar
The method of knowledge representation in multicomponent intellectual systems of microprocessor devices diagnostics.

K. A. Polschikov, R. M. Kabakchey
The method of requirements substantiation to expert system of corporate informational network diagnostic tools.

E. G. Gnatchuk
Knowledge base of fuzzy diagnosis expert system of computer devices.

N. N. Gora
System model of checking specialized I&C systems.

D. V. Speransky
Evolutional methods in discrete device tests synthesis problems.

D. Ye. Ivanov, Yu. A. Skobtsov, A. I. El-Hatib
Distributed algorithms of modelling and generating tests.

Ye. Ya. Vavruk, A. O. Melnik
Increasing checkability of signal handling systems by using diagnostic cores.

A. V. Babich
Building and using automation model in Active-HDL environment for network protocols verification.

A. V. Ponomarenko
Universal tests for special classes of finite automata.

M. K. Al Madi, V. A. Andrienko, V. G. Ryabtsev
The method of pareto-optimal tests for storage device diagnosis.

N. G. Korobkov, Ye. N. Korobkova
Improving trustworthiness of logical functions minimization.

M. A. Piskacheva, A. V. Dremlyuga
Models of monitoring commutation station control units.

V. V. Sklyar, Yu. A. Belyj
Metrical assessment of information-control system software changes.

Yu. L. Ponochovny
Modelling informational system software reliability taking into account failures caused by interaction faults.

L. G. Yevseyeva
Mathematical modelling inaccuracy calculation in assembling problems.

Yu. A. Dolgov, T. G. Danilina
Quantitative assessment of some software reliability characteristics.

I. B. Turkin, P. A. Luchshev
Formal model of technological processes's description of complex technical systems's tests.

O. M. Sakada, O. I. Marchenko
The N-versional planner structure.

V. Yu. Dubnitskiy, A. M. Kobylin, I. A. Suprun
Interval computation of software testing efficiency.

M. Yu. Yakovlev, Yu. B. Pribylev, A. P. Volobuyev
About assessment of metrological reliability of aviation radio systems’ measuring instruments.

V. I. Hahanov, V. V. Yeliseyev
Using IEEE-standards for testing program-technical systems.

A. S. Shkil, D. I. Cheglikov, D. Ye. Zinchenko
Implication procedures implementation on graph structure (for VHDLcode fragment verification).

Ye. Ye. Syrevich, A. L. Karasev, Mehana Sami S.
Functional tests quality assessment at HDL-model verification

D. F. Dyadyk, S. I. Garkusha, A. Yu. Stryuk
Adaptive method of video data colour coordinates transformation.

S. A. Koshman, S. N. Derenko, V. A. Krasnobayev
Tabular method of digital information processing in deductions class.

Ya. V. Yansons, A. Yu. Stryuk
The method assessing noise immunity of compressed speech codec signal parameters.

V. M. Lokazyuk, O. V. Ivanov
The method of basic telecommunication services payout calculation for different groups of subscribers.

K. A. Polschikov, V. A. Struts
The method of pool memory resources control in telecommunication networks with programmable services.

G. A. Kuchuk, O. O. Mozhayev, O. V. Vorobyev
Ensuring quality of service in telecommunication networks with fractal traffic nature.

G. F. Krivoulya, O. S. Korobko, A. I. Lypchanskiy, D. E. Shuklin
The structure and construction features of operational system for semantic neuron net model.

V. O. Talalayev, R. V. Gritsky, S. V. Kucher
Mobile telecommunication networks for critical application: informational-conceptual model of object domain.

V. O. Talalayev, Yu. M. Zdorenko, B. L. Tsynitsky
Mobile telecommunication networks for critical application: problems of structurally parametrical analysis and synthesis.

V. I. Slyusar, K. A. Vasilyev, Yu. V. Utkin
Studying N-OFDM signals frequency interleaving possibilities in terms of Hartley basic functions.

V. I. Slyusar, Yu. V. Stolyarchuk
Analysing potential accuracy of the time-dividing signalling method at additional gating ADC counts.

V. N. Kharchenko, A. A. Lavrut, T. V. Lavrut
The method of compound signals synchronization system construction.

O. A. Saula, N. M. Makhanko, V. V. Varich
Noise measuring in voice-frequency telecommunication channels using active identification.

Yu. N. Korzh, A. I. Tyrtyshnikov
Symmetric digital nonrecursive predictive filters efficiency assessment.

A. I. Tyrtyshnikov, S. A. Pivovar
Optimized algorithm of estimating fractal digital filter gain-frequency characteristic from specified weighting factors.

A. V. Fedin
The method of high-frequency tract synthesis of concentrated movable radio communication system optimized on criteria of electromagnetic compatibility.

L. Titarenko, A. Barkalov
Synthesis of signals adaptive spatial processing robust algorithms on the base of the probabilistic approach.

S. B. Prikhodko
Broadband interference influence stability based on the random signals transmission.

V. M. Konovalov, V. Ye. Scherbakov, V. I. Konovalov
Widening actual frequency band of digital delay lines.

Speech of the section chairmens.
Conference decision acceptance.