Markov Chains and Multi-Criteria Models

Moderators: TverdokhlebovVladimir (Russian Federation), DolgovYurii (Moldova)

· BerdnikovaAlla, ManzhosYuriy (Ukraine). Information technology analysis of complex systems

· ButenkoValentina, OdarushchenkoOleg, KharchenkoVyacheslav (Ukraine). Analysis of markov chains for high availability systems: metric-based approach

· ChukhrayAndriy (Ukraine). Models and methods of knowledge and skills acquisition adaptive computer support in solving of algorithmic educational problems

· DmitrievaOlga (Ukraine). Development of parallel multistep collocation block methods using hermite interpolation polynomials

· VolochiyBohdan, OzirkovskyLeonid, MulyakOleksandr, ZmysnyiMykhailo (Ukraine). Reliability model of the fault-tolerant hardware/software system based on majority structure with software automatic restart

· KrotovKirill, SkatkovAleksandr (Ukraine). Rationale for a multi-criteria multi-level model of the structure of schedules of group processing the requirements of the parties

13.15 – 14.30. Lunch, café

14.30 – 16.15 SAFETY AND FAULT-TOLERANCE OF SW- AND FPGA-BASED SYSTEMS

Moderators: RomankevichVitalii (Ukraine), TyurinSergey (Russian Federation)

· RomankevichOleksii, RomankevichVitalii, MorozovKonstantin (Ukraine). On a GL-model of the system with sliding redundancy

· KamenskihAnton, PonurovskiyIvan, TyurinSergey (Russian Federation). Syntesis and analysis of self-timed functionally complete tolerant element

· YamatovAjdar, PlesovskihSergei, TyurinSergey (Russian Federation). The technique of building structural schemes of system reliability using with modified gradient for the procedure of the steepest descent

· TyurinSergey, Grekov Artem, Gromov Oleg, PonurovskiyIvan (Russian Federation). Adaptable logical FPGA-elements

· TyurinSergey, GorodilovAlexei, PonurovskiyIvan (Russian Federation). Improving fault tolerance of FPGA by reconfiguration of operable elements

· FedoseevaAlina (Ukraine). Representation of the technological process of manufacture of drugs in tablet form with technological block-scheme and timed Petri nets

NETWORKS, CLOUD- AND WEB-SYSTEMS DEPENDABILITY AND RESILIENCE-1

Cloud- and Web-Systems Dependability and Resilience

Moderators: GorbenkoAnatoliy, StrjukOleksiy (Ukraine)

· Abdul-Hadi Alaa Mohammed(Iraq). Availability model of network-basedsystems: security issue

· GorbenkoAnatoliy (Ukraine). Analysis of dependable service-oriented systems development features

· SavenkoOleg, LysenkoSergii, KryschukAndrii (Ukraine). Model of the computer system diagnosis process for botnet presence in corporate area network

· StarovOleksii (Ukraine), VilkomirSergei (USA). Cloud services and tools for mobile testing

· BryukhovetskiyAlexey, SkatkovAleksandr, BerezenkoPavel (Ukraine). Detection of vulnerabilities in critical applications based on decision trees

· MelenetsAndrey (Ukraine). Detection of vulnerabilities in critical applications based on decision trees

Date: 2015-12-18; view: 804