TEMPUS GreenCo-SEREIN-CABRIOLET Winter School WINT-2015 PROGRAM. Ukraine, Chernivtsi-Khmelnitsky-Uzhgorod 14-19, 2015

Transcription

1 TEMPUS GreenCo-SEREIN-CABRIOLET Winter School WINT-2015 PROGRAM Ukraine, Chernivtsi-Khmelnitsky-Uzhgorod 14-19, 2015 Co-organized by National Aerospace named after N.E. Zhukovsky KhAI Yuriy Fedkovych Chernivtsi National Khmelnitsky National In cooperation with RPC Radiy Media Partner Magazine Carte Blanche

2 PARTICIPANTS National Aerospace KhAI Prof Vyacheslav Kharchenko Dr Artem Boyarchuk Dr Oleg Odarushchenko (RPC Radiy) Roman Horbenko (RPC Radiy) PhD student Oleg Illiashenko PhD student Valentina Butenko BSc student Anastasia Strelkina BSc student Alexander Yasko Khmelnytskyi National Dr Serhii Lysenko PhD student Andrii Kryshchuk Odessa National Polytechnic Prof Olexandr Drozd Prof Dmytro Maevsky Dr Olena Maevskayja Dr Miroslav Drozd PhD student Serhii Mileiko PhD student Valery Nikul Donbass State Technical PhD student Andrii Kryvtsov Perm National Research Polytechnic PhD student Anton Kamenskikh Chernihiv State Technological Prof Volodymyr Kazymyr PhD student Alina Posadska PhD student Irina Posadska Petro Mohyla Black Sea State Prof Yuriy Kondratenko PhD student Ievgen Sidenko of Zilina Dr Elena Zaitseva Dr Vitaliy Levashenko Cart Blanche Dnipropetrovsk National of Railway Transport n. a. V. Lazaryan Prof Igor Zhukovyts'kyy PhD student Aleksey Zaets Chernivtsi National Dr George Vorobets PhD student Mykola Skrypskyy Ukrainian Security Industry Federation, association IT-Ukraine Andrii Biriukov Olena Golembovska

3 SCHEDULE Time/date February 15, Saturday February 16, Monday February 17, Tuesday February 18, Wednesday February 19, Thursday 6:45 7:00 7:15 7:30 7:45 8:00 8:15 8:30 8:45 9:00 Registration 9:15 9:30 V. Kharchenko 9:45 O. Odarushchenko 10:00 O. Golembovska 10:15 A. Drozd 10:20 V. Nikul, A. Drozd 10:30 D. Maevsky, 10:45 E. Maevskaya 11:00 S. Mileyko, M. Drozd 11:15 E. Maevskaya, 11:30 O. Zhekov 11:45 12:00 12:15 12:30 12:45 13:00 13:15 13:30 13:45 14:00 14:15 Excursion 14:30 14:45 15:00 15:15 15:30 15:45 16:00 Coffee-break 16:15 16:30 A.Biriukov 16:45 16:50 17:00 V. Butenko 17:15 G. Vorobets E. Zaitseva 17:20 A. Strelkina 17:40 A. Yasko M. Skrypskyy 17:45 V. Levashenko 18:00 Coffee-break A. Kryvtsov 18:30 Coffee- break Coffee- break Coffee- break Coffee- break V. Kazymyr 19:00 Y. Kondratenko I. Zhukovyts'kyy A. Boyarchuk 19:30 A. Posadska I. Sidenko A. Zaets A. Lysenko 20:00 Discussion A. Kamenskikh Discussion A. Kryshchuk 20:30 O. Odarushchenko, R. Horbenko V. Kharchenko Closing session

4 DETAILED SCHEDULE February 15, Sunday 8:00 8:45 8:45 9:30 Registration 9:30 9:45 Vyacheslav Kharchenko. Introduction. Welcome. WINT school opening 9:45 10:00 Oleg Odarushchenko. Welcome note from industrial partner RPC «Radiy» 10:00 10:15 Olena Golembovska. Welcome note from media partner Cart Blanche 10:15 10:20 Alex Drozd. TEMPUS Projects Development: GREENCO & CABRIOLET in ONPU 10:20 10:30 Valery Nikul, Alex Drozd. Comparison of large-scale and pipeline data processing in complexity, throughput and power consumption 10:30 11:00 Dmitry Maevsky, Еlena Maevskaya. Models and technique of software "greenness" assessment via source code analysis 11:00 11:30 Serhii Mileyko, Miroslav Drozd. Green experiments with increasing frequency of calculations in arithmetic units 11:30 12:00 Elena Maevskaya, Oleg Zhekov. Software Reliability Tools. State of the art and development prospects 12:00 13:00 13:00 16:00 Excursion 16:00 16:30 Coffee-break 16:30 16:50 Andrii Biriukov. State of the art in regulation of cyber security in Ukraine. IT-Alliance, USIF. 16:50 17:20 Valentina Butenko. Metric-based selection of techniques and tools for I&C availability assessment using Markov models 17:20 17:40 Anastasia Strelkina. Service for vulnerabilities analysis and security assessment of open source systems 17:40 18:00 Alexander Yasko. Automatic system for energy resources management "Smart " 18:00 18:30 Coffee-break 18:30 19:30 Volodymyr Kazymyr. Temporal logic and verification of critical systems

5 19:30 20:00 Alina Posadska. Usage of temporal logic for process control of network planning in real time 20:00 20:30 Discussion February 16, Monday 6:45 7:30 15:30 16:00 16:00 17:00 17:00 17:20 George Vorobets. Prospects for development of start-up of student projects within a model-oriented interaction S2B & B2S between the department of CSN in ChNU and Yukon Software LTD 17:20 17:40 George Vorobets, Sergii Balovsyak. State of the art and perspectives of implementation of the start-up project of department CSN ChNU - Application of new methods of digital filtering to process information signals and images 17:40 18:00 Mykola Skrypskyy. Management of users and services for "cloud" server computing 18:00 18:30 Andrii Kryvtsov. Software optimization: green compilers 19:00 19:30 Yuriy Kondratenko, Galyna Kondretenko, Vitaliy Stoyanov. Main theoretical aspects and experience of Industry Cooperation for solving routing problems in fuzzy environment 19:30 20:00 Anastasiya Kravchenko, Ievgen Sidenko, Yuriy Kondratenko. Design and reconfiguration of fuzzy DSS with hierarchical structure 20:00 20:30 Anton Kamenskikh. A self-timed Green Computing February 17, Tuesday 6:45 7:30 15:30 16:00 16:00 17:00

6 17:00 17:45 Elena Zaitseva. Multi-state system in reliability analysis 17:45 18:30 Vitaliy Levashenko. Knowledge discovery in database 19:00 19:30 Igor Zhukovytsk yy. Project SEREIN in Dnepropetrovsk National of Railway Transport 19:30 20:00 Aleksey Zaets. Problems of cyber security in the use of mobile and GSM-devices in automated systems of industrial railway transport 20:00 20:30 Discussion February 18, Thursday 6:45 7:30 15:30 16:00 16:00 17:00 17:00 18:30 Oleg Odarushchenko, Roman Horbenko, RPC «Radiy» MCU-based GreenCo Controller 19:00 19:30 Artem Boyarchuk. TEMPUS SEREIN and TEMPUS CABRIOLET projects monitoring results 19:30 20:00 Serhii Lysenko. Progress of the CP-1 course "Formal (Intellectual) Methods for System Security and Resilience" within SEREIN Project 20:00 20:30 Andrii Kryshchuk. Multiagent information technology for malware detection in a corporate area network February 19, Friday 6:45 7:30 15:30 16:00 16:00 17:00 17:00 18:30 Vyacheslav Kharchenko. Synergy analysis of ITs. Brain storming 19:00 20:30 Vyacheslav Kharchenko. Closing session

7