| 1 |
03.02.12.The issues of reliability, design and application of embedded programmable systems. 1. The issues of reliability of hardware and software facilities of pilotless systems (Vyacheslav Kortunov). 2. Usage of AVR microcontrollers for solving tasks of logical control in embedded systems (Yuri Sosnovsky). 3. Programmable hybrid integrated circuit: the singularities of technology and application field (Anatoly Plakhteyev). |
| 2 |
20.12.11.Mathematical and applied methods of technical diagnosing of systems, important for safety. 1. Representation of automatic machines by discrete geometrical structures for the decision of problems of technical diagnosing (Vladimir Tverdohlebov). 2. Interpolation methods partially defined machines (Anton Epifanov). 3. The quality of the parameter estimates of the binomial distribution and its influence on the accuracy of solving the basic problems of dependability and technical diagnostics (Valery Dubnitsky). 4. The use of continuous functions in the elements of control systems for nuclear power plant safety diagnosing latent failures (Konstantin Gerasimenko). |
| 3 |
24.11.11.Naturally dependable chips and fault-tolerant systems based on programmable logic: the science and technologies. 1. Functionally complete tolerant elements: the paradigm, the synthesis of FPGA blocks. Theoretical and applied aspects (Sergey Tyurin). 2. Synthesis of configurable logic blocks of FPGA based on the functionally complete tolerant elements (Oleg Gromov). 3. The infrastructure of the internal diagnosing of HDL-models on chip (Ngene Christopher Umerah). |
| 4 |
14.10.11.Cloud computing technology in context of problems reliability and security of business-critical applications. 1. Dynamics of software systems and modeling their reliability (Dmitry Maevskiy). 2. Cluster management system for enterprise backup (Maksim Usichenko). 3. Problems and solutions of implementations cloud computing technology in systems for storing and providing data on potentially dangerous objects (Andrey Melenets). |
| 5 |
30.06.11.Principle of diversity, safety and security problems: methods, technologies and realisation. 1. Variety principle and its application for providing safety of business-critical systems and infrastructures. (Vladimir Zaslavsky) 2. A.P.Stahov's symmetric system of data encoding, based on golden section and diversity principle. (I. Lysenko). 3. Diversity evaluation and multi-version technologies in information and control systems of (A. Siora, V.Kharchenko) |
| 6 |
24.05.11.Methods and technologies for software testing and quality estimation: test-coverage problems and testing process management. 1. An Experimental Investigation of Testing Coverage (Sergiy Vilkomir) 2.Software Quality Estimation and software testing process management (Y.Izbenko). 3. Medical application testing specification (I. Slizovskaya) |
| 7 |
31.03.11.Methods and technologies for functional safety estimation of software and information-management systems on the Safety and Assurance Case-based methodology basis. 1. Assurance Case-based methodology for safety critical software and systems assessment (Robin Bloomfield). 2. Methods and tools for functional safety estimation of information-management system with the parametric Safety Case kernels approach (E.Netkacheva) |
| 8 |
10.02.11.Methods and technologies for safety and reliability estimation and provision of critical and business-critical systems. 1. Scientifically and methodological bases and information technologies of providing and estimation of safety of the informatively-managing systems (Sklyar V.) 2. Software updating methods and facilities for the reliability of the banking informative systems (Lahizha R.) |
| 9 |
27.01.11.Analysis of cyberspaces and problem of technical diagnostics automation. 1. Issues of cyberspaces analysis problems (Hahanov V.) 2. Models and methods of functional verification of the digital systems on the basis of temporal assertions (Zaychenko S.) 3. Neural-network methods and information technology of the automated metallography analysis of metals quality (Yemelyanov V.) |
| 10 |
16.12.10.Risk-analysis and formal methods in tasks of software systems and processes reliability influence on human-machine systems safety. 1. Space-rocket technique safety and computer systems reliability: crash analysis 2000-2009 (Tarasjuk Olga) 2. Software mistakes risks assurance (Dubnitskij V.) 2. Structural-functional modeling applying for guiding documents' assurance control (Shamov S.) |
| 11 |
18-19.11.10.Diagnostics and safety of critical infrastructures: problems and solves. 1. Models and methods of technical diagnostics of complex human-machine systems - CHMS (Tverdohlebov Vladimir). 2. Guaranteed safety of potential-dangerous objects - PDO: assessment and support problems (Prihod'ko Vladimir) 3. Elements of critical infrastructures management by technical meta-state concept (Ivanchenko Oleg) 4. Information technologies of ecological and anthropogenic safety of industry region (Lisichansk, Rubezhnoe, Severodonetsk) (Ryazancev Alexandr) 5. Informational support of decision-making while extraordinary events on potential dangerous objects liquidation (Melenets Andrey) 6. Risk - analysis of I&CS&Is functional safety using linguistic models (Brachnev Evgenij) 7. State services and infrastructures based on Cloud-technologies (Bokhan Konstantin) |
| 12 |
15.10.10.Methods and technologies of quality and reliability assurance of software systems through development and service. 1. Structural dynamics and reliability modelling of software systems. (Maevsky Dmytriu). 2. Development and research of postobject-oriented tools for increasing of maintenance quality of component program systems (Nagornuy Kostantin) |
| 13 |
23.06.10.Development and modeling of embedded and distributed applications: Ada and SOA technologies. 1. Special features of Ada-technologies for modern use. (Mishenko Viktor, Kokhan Ivan). 2. Modeling of web-systems at breakdowns (Bojarchuk Artem) |
| 14 |
05.02.10.Methods of information safety assessment and assurance of computer attack resistance to attacks on vulnerability of computer systems. 1. Metrical factor of information safety. (Potij Alexander) 2. Methods of assessment and assurance of vulnerability of web-systems to attacks on robustness of the components (Furmanov Alexei). |
| 15 |
10.12.09.Ensuring of reliability and functional safety of informatively-managing systems of APP: methods, tools and technologies. 1. Risk-oriented methods of assurance and valuation of functional safety of information. (Sklyar Vladimir) 2. Developing and support of functional safety of software tools of ICS. (Malohatko Sergej) 3. Analysis of tools of decay of power consumption by developing of digital control systems based on FPGA. (Dovgopoluj Vadim) |
| 16 |
24.11.09.Safety ensuring of aviation and energy systems in computer technologies evolution: human and technical factors. 1. Aviation security and decision-making models by human-operator (HF) (Human factor in aviation). (Shmeleva Tatjana) 2. Design and testing of diverse projects of FPGA based on soft-processors for ICS, which are critical for safety of NPP. (Panarin Artem) |
| 17 |
20.10.09.Quantum computing: physical and informational fundamentals, principles of realisation and security ensuring. 1. Quantum informatics – status and perspectives. (Zholtkevych Grygoriy) 2. Quantum computers and quantum cryptology. (Lusenko Igor) |
| 18 |
21.09.09.Critical computing: scientific and educational aspects. 1. Microelectronics Systems Design Research at Newcastle: Asynchronous Systems Design Research. (Alex Yakovlev) 2. Interdependency Modelling in Critical Infrastructures. (Peter Popov) 3. Methods and Tools for Developing Dependable Systems. (Elena Troubitsyna) 4. Modelling Fault Tolerance and Parallelism in Communicating Systems. (Linas Labinis) |
| 19 |
18.06.09.Methods and computer technologies for modeling in tasks of dynamic and safety assessment of aerospace control systems. 1. Computer technologies in tasks of dynamic of critical object's control systems. (Sokolov Yu. N.) Download presentation 2. Methods and means of functional safety assurance and assessment for on-board I&C systems in aviation industry. (Kharybin A.V., Pohil V.S.). Download presentation |
| 20 |
28.05.09. ARM-components and embedded fault-tolerant systems' for commercial and critical applications architectures. 1. ARM – generic architecture for mobile systems. (Plahteev A.P.). 2. Elemental base and architectures of embedded fault-tolerant on-board control systems. (Yurchenko Yu. B.). |
| 1 2
3
4
|
