| 1 |
23.06.2010.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) |
| 2 |
05.02.2010.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). |
| 3 |
10.12.2009.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) |
| 4 |
24.11.2009.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) |
| 5 |
20.10.2009.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) |
| 6 |
21.09.2009.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) |
| 7 |
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 |
| 8 |
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.). |
| 9 |
9.04.09.Computer modeling, digital photo and technologies using in combat aviation. 1. Computer modeling – lecturer experience. Digital photo. Modern technologies in combat aviation. (Milykov V.V.). |
| 10 |
22.01.09.Dependable and safe FPGA-based automats and systems for critical applications. 1. Models and methods of critical applications objects' control on the basis of safe FPGA-controllers with parallel architecture. (Malinovsky M.L.). 2. Multi-version developing of dependable automats on FPGA logic. (Kulanov V.A.). 3. National center of control and testing of space means: from cradle to urgent problems. (Korenkov R.V.). |
| 11 |
29.05.08.Methods and means of information protection using multiversion technologies: 1.The models for providing data's confidentiality and integrity using diversion principle. (Lysenko I.V.) 2.Practical application of crypto protection methods in products of company "Kriptomash".(Gostischev V.V.) |
| 12 |
28.02.08.Methods and systems of information storage and processing using GIS and Data mining technologies: 1. Intellectual data analysis in critical systems and Data mining technology. (Tretyak V.F.) 2. Geoinformation system in the tasks of monitoring and accounting of Ukrainian forestry. (Kochkar' D.A., Bogomolov V.V.) |
| 13 |
10.01.08.Development methods and fault-tolerant solutions for dedicated processors and information processing systems: 1.Models and design methods of computing DSP SoC architectures on the basis of JPEG2000 standard. (Hahanova I.V.) 2. Multi-channel information processing system's reservation methods using time-version redundancy.(Shyrigin O.V.) |
| 14 |
20.11.07.Component-oriented development of dependable software products and management-information system:1. The distributed management-information system in medicine, architecture, principles of component-oriented development and implementation. (Bokhan K.A.) 2. The technology of prototyping the quality attributes of component-oriented solutions in processes of real time management-information system adaptive designing. (Zemlyanoiy A.A) . |
| 15 |
5.10.07.Automaton models and evolutionary techniques in the tasks of developing dependable and safety systems using programmable logic: 1. Mathematical models and the synthesis methods of BLP-automatons for safety EPLD controller with parallel architecture. (Malinovsky M.L.). 2. The methods and program-technical means for development of fault-tolerant digital control systems with programmable logic using genetic algorithms. (Yakimetc N.V.) |
| 16 |
21.06.07.Methods and technologies of dependable controlling systems development using Programmable Logic Controllers (PLC): 1. The experience and prospects of applying the PLC in industrial systems. (Krivinosov A.I., Babeshko E.V.). 2. The architecture, language and the programming technology of parallel operating PLC enhancement. (Bovchaluk S.Y.). 3. The technological visual programming – new technology of PLC's control programs development. (Allashov A.Y.) |
| 17 |
30.05.07.Mathematical methods in the task of software verification and reliability assessment: 1. Problems and methods of formal verification on different stages of software development. (Zheltkevich G.N.). 2. Dependability assessment methods and simulation technique of fault tolerance computer systems subject to tempolabile failure flow and recovery of software. (Odaruschenko E.B.). |
| 18 |
30.01.07.The methods and technologies for assessment and assurance of computerized systems persistency during its development and using: 1. The methods of development and persistency assessment of technical systems on early design stages.(Serkov A.A.). 2. The methods for analysis and development of enduring on-board information-management systems (component- functional approach) (Borodavka N.P.). |
| 19 |
26.12.06.The multi-version principle and its using for dependability (reliability and safety) of computer systems assurance: 1. The multi-version principle and dependability assurance problems of complex systems with high failure cost.(Zaslavsky V.A.). 2. The multiversional service-oriented systems: vertical and horizontal composition. (Gorbenko A.V.). |
| 20 |
16.11.06.Methods and informational technologies of analysis, development support and re-engineering of computer networks: 1. The efficiency analysis of computer networks applied servers. ( Khoshaba A.M.). 2. The models and informational technologies of elaboration and re-engineering of spatial- distributed computer networks. (Shevchenko M.V.). |
| 1 2
3
|
