Новини та події проекта

« Повернутися

SAFEGUARD Summer School (SSS-2012)

National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking Project TEMPUS-SAFEGUARD

(Project 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR)


Ukraine, Odessa, June, 14-20, 2012
On support of Computer Systems Institutes of Odessa National Polytechnic University


1 Participants

1.1 EU partners

ISTI-CNR, Pisa, Italy
Dr. Mario Fusani has been appointed with the National Research Council of Italy (CNR) at the ISTI Institute for Information Science and Technology (ISTI-CNR), Pisa – since 1971 (Senior Researcher and Research Associate). His activity is mainly concerned with research and technology transfer. Нe has been working in Software Engineering, mainly in analysis and verification techniques, process engineering and requirements engineering. He has been participating in international standardization activities: ISO/IEC-JTC1-SC7-WG10 (process engineering) since 1993, CENELEC-TC9X-WG14 (rail safe systems) since 2009 and ISO 26262 WG 16 (safety in automotive) since 2011. Regarding technology transfer, he has been working in defining quality models for software products and processes, in project evaluation, product certification, process assessment, project improvement, process improvement, standards evaluation. He founded, at ISTI-CNR, a Center for systems and software evaluation and certification, active since 1984.

1.2 Ukrainian partners

1.2.1. National Aerospace university (KhAI), Kharkiv
Vyacheslav Kharchenko. Dr. Sc., Prof., Honoured Inventor of Ukraine, Head of Computer Systems and Networks Dept, and Centre of Dependable Systems, Services and Technologies KhAI. Chair of the International Conference "Dependable Systems, Services and Technologies" (DESSERT2006-2012). Invited lecturer of a lot of international conferences and universities (Germany, USA). Holder of grants of UK scientific society, Slovakian academy of science and others. Honoured inventor of Ukraine, national coordinator of international projects MASTAC, SAFEGUARD, KhAI-ERA(C), etc. Supervisor of 31 PhD and 3 Dr.Sc. Author of more than 300 papers and reports, 12 national standards, 664 inventions, 34 books (published in Ukraine, Russia, USA, Germany and other countries). His experience is related to dependable computing and communication for critical applications.
Eugeny Brezhnev, PhD (2000), associate professor of the Computer System and Networks Dept. Author of more than 60 papers and reports published in Ukraine, USA, United Kingdom, Bulgaria, Slovakia, Finland.  Co-chair of the 2nd WS Critical Infrastructure Safety and Security (WS CrISS2012). His experience is closely related with critical infrastructure analysis, both safety and security complicated by ambiguity and incompleteness of initial data. His activities are also connected with I&C system's risk analysis and decision-making under uncertainty.
Oleksandr Biloborodov, Master student of Computer Systems and Networks Dept. His research activities are related to system security and intrusion-tolerance, Web services, Cloud Computing. Winner of The Ukrainian contest of student scientific works in 2012. Holder of Kharkiv Major Grant  (2011), Microsoft Grant (2012). Author of 5 scientific papers and reports. Research interests: development of web service and web site employing diversity to obtain security gain, He plays the trumpet in university wind band.

1.2.2. Odessa National Polytechnic University (ONPU), Odessa
Svetlana Antoshchuk, Dr. Sc., Prof., Director of Computer Systems Institute, Head of Information Systems Dept and Head of Specialized Scientific Council in defense of doctor and candidate theses. Her main research interests include Information Computing Systems for Education and Intelligent Information Systems Development. She published more than 130 journal papers and delivered more than 50 presentations at international conferences.
Sergey Nesterenko, Dr. Sc., Prof., Vice-rector of ONPU, Head of Computer Intellectual Systems and Networks Dept. His research fields are complex computer systems modelling, methods of network monitoring and management, computer aid design of computer networks. He is author of 10 inventions and more than 200 papers devoted to analyses and design of computer systems and networks. He actively participates in many international projects. In this academic he coordinates two international projects. First project – East-West European Network on higher Technical education (EWENT) is devoted to implementation of mobility schemes in European universities. Second project – Building capacity for University-Enterprise partnerships towards competency based training (Tempus Caps4Com project).
Oleksandr Drozd, Dr. Sc., Prof., Prof. of Computer Intellectual Systems and Networks Dept. Author of 162 inventions and 170 papers devoted to design and on-line testing of the digit components of computer systems, 23 inventions are used in batch manufacturing. He has defended 7 PhD students in field of on-line testing for approximate data processing. Now he researches the problems of safety-critical embedded systems in reliability of on-line testing and checkability of the digital components.
Oleksandr Martinuk, PhD, Assoc. professor of Computer Intellectual Systems and Networks, Head of Training and Consulting Center "Innoteh" of ONPU. His research interests are in the area of Synthesis of the tests for verified the projects and checking the implementation of computer systems and networks. He develops design of integrated model for the automata networks hierarchy and extended hierarchical fuzzy Petri nets. Author of 50 papers and reports.
Dmitry Maevsky, PhD, Assoc. professor, Head of the theoretical bases and general electrical engineering Dept. An area of scientific interests is a theory of software reliability. Author of new conception of software reliability theory, based on the theory of non-equilibrium processes. He has more than 30 published advanced studies on these subjects.
Miroslav Drozd, postgraduate student. Author of 10 papers devoted to a problem in on-line checkability of the critical I&C system digit components. During November-December, 2011 had an internship in Newcastle University (United Kingdom) supported by the TEMPUS-SAFEGUARD Project.
Serhii Mileiko, master student. Hi is winner of Ukrainian student Olympiad "Technical diagnostics of computer systems and networks" (2011, 2012). Holder of Odessa area Governor Grant. During November-December, 2011 had an internship in Newcastle University (United Kingdom) supported by the TEMPUS-SAFEGUARD Project.

1.2.3. Khmelnitsky National University (KhNU), Khmelnitsky
Oksana Pomorova, Dr.Sc., Prof., Head of System Programming Dept. IEEE member from 2005. Teaching - Computer Modeling, Technology of Software Design, Artificial Intelligence Systems. Guest lectures: Dept of Computer Systems and Networks, Chernivtsy National University; Kielce University of Technology (Poland). Research Interests: intelligent methods and means of computer systems diagnosing, verification and validation of critical software; modeling and design of knowledge bases for testing and diagnosing specialized computer systems.
Sergii Parfenov, master student. Research Interests: Software Quality Assessment and Robotics. During November-December, 2011 had an internship in Institute of Information Science and Technologies "A. Faedo" ISTI-CNR in terms of the TEMPUS-SAFEGUARD Project. As a result the model of the safety control subsystem for automatic train protection systems was developed.

1.2.4. Sevastopol National Technical University (SNTU)
Alexander Skatkov, Dr. Sci., Prof., Prof. of Cybernetic and Computer Technique Dept. Honorary Education Worker of Autonomous Republic of Crimea, Ukraine, member of the State Accreditation Commission of Ukraine. His scientific interests are in the following areas: analytical modeling and simulation of irregular structure systems; operations research, system analysis and design of computing systems and networks. Author more than 300 works including monograph titled "Information Technologies for Critical Infrastructures".

1.3. Guests

1.3.1. Kharkiv National University of Radioelectronics (KhNURE), Kharkiv
Vladimir Hahanov, Dr.Sc., Prof., Dean of Computer Engineering Faculty He has prepared 4 Dr.Sc. and 22 PhD. Author of 430 papers including 12 books and 2 inventions. Chief-editor of 2 journals: "Radio Electronics and informatics", "Computer aided control systems and devices". Chair of the international symposium "IEEE East-West. Design and Test". IEEE Computer Society Golden Core Member. Member of High Examination Board of Ukraine Education Ministry. Scientific supervisor of "Design & Test" R&D Lab. Chief Scientist of Aldec Inc., cooperation with Cadence, Microsoft, Intel, Kaspersky lab. Scientific consultant of Echostar, USA.

1.3.2. Donetsk National University (DNU)
Vadim Skobtsov, PhD, Assoc. Professor, Head of discrete mathematics and applied algebra laboratory of IAMM NASU. He is Assoc. Professor (as visitor) of Donetsk National Technical University and Donetsk National University. The research activities and interests: diagnostics and reliable design of digital systems (developing simulation and test pattern generation methods for digital systems at different representation levels), automata theory and its application, artificial intelligent methods (evolutionary computing and its application), image recognition and processing (medical images related to human vascular diseases). Author of more than 80 publications, including 1 monograph.

1.4 Organize Committee

Vyacheslav Kharchenko, Chair
Oleksandr Gordieiev, Co-chair
Chris Phillips, Co-chair
Vitaliy Emeliyanov
Artem Boyarchuk
Oleg Illiashenko

2 Objectives of STraS-2012

  • To present and discuss TEMPUS "SAFEGUARD" project
  • To carry out of lectures by professors of the European universities, devoted to development master and postgraduate courses in the field of critical systems and infrastructures.
  • To present scientific and technical reports of students and post-graduate students dedicated the results received during training under the project in the Great Britain and Italy.



14.06,     Thursday

    09:00 – 22:00    Arrival, check-in       
    09:00 – 10:00    Breakfast
    13:30 – 14:30    Lunch
    19:00 – 22:00    Reception

15.06,     Friday

    09:00 – 10:00    Breakfast
    10:00 – 10:30    Opening of Summer School. Welcome. Director of Computer Systems Institute Svetlana Antoshchuk. Vyacheslav Kharchenko. SSS objectives. Representation of participants
    10:30 – 11:30    Lecture 1. Vyacheslav Kharchenko. Multi-version technologies of safety critical I&C system
    11:30 – 12:00    Coffee-break
    12:00 – 13:30    Lecture 2. Vladimir Hahanov. Cyber-Space and quantum calculations
    13:30 – 14:30    Lunch
    14:30 – 16:00    Lecture 3. Oksana Pomorova. The components of artificial intelligence as a means of the software quality assessment
    16:00 – 16:30    Coffee-break
    16:30 – 19:00    Discursion, free-time
    19:00 – 20:00    Dinner

16.06,     Saturday

    09:00 – 10:00    Breakfast
    10:00 – 11:30    Lecture 4. Dr. Mario Fusani. Safety Requirements Engineering from a quality perspective
    11:30 – 12:00    Coffee-break
    12:00 – 13:30    Lecture 5. Alexander Skatkov Decision-support System on the CI Dependability Ensuring Using the Concept of "Potential" & Information Technologies of the "Complementary" IT-Resources Allocation.
    13:30 – 14:30    Lunch
    14:30 – 15:00    KhNU team. Sergiy Parfenov. The method of the intelligent software quality assessment at the design stage
    15:00 – 17:00    Discursion, free-time
    17:00 – 17:30    Dinner
    17:30 – 22:00    Excursion to Odessa

17.06,     Sunday

    09:00 – 10:00    Breakfast
    10:00 – 11:30    Lecture 6. Oleksandr Biloborodov. Intrusion-tolerance of Web systems: challenges and solutions
    11:30 – 12:00    Coffee-break
    12:00 – 13:30    Lecture 7. Eugeny Brezhnev Smart grid technologies: challenges and solutions
    13:30 – 14:30    Lunch
    14:30 – 15:00    ONPU team. Serhii Myleiko, Miroslav Drozd  Research of errors kinds in digital circuits designed with use of low power technologies
    15:00 – 19:00    Excursion to Shabo
    19:00 – 20:00    Dinner

18.06,     Monday

    09:00 – 10:00    Breakfast
    10:00 – 11:30    Lecture 8. Vadim Skobsov. Evolutionary algorithms in test pattern generation problem for digital devices
    11:30 – 12:00    Coffee-break
    12:00 – 13:30    Lecture 9. Dmitry Maevsky Software reliability. Attempt of new approach
    13:30 – 14:30    Lunch
    14:30 – 16:00    Discursion, free-time
    16:00 – 16:30    Coffee-break
    16:30 – 19:00    Free-time
    19:00 – 20:00    Dinner

19.06,     Tuesday

    09:00 – 10:00    Breakfast
    10:00 – 11:30    Lecture 10. Oleksandr Drozd. On-line testing of safety-critical embedded systems   
    11:30 – 12:00    Coffee-break
    12:00 – 13:30    Lecture 11. Oleksandr Martinuk Experience of using test generators
    13:30 – 14:30    Lunch
    14:30 – 16:00    Awards Ceremony SSS Closing
    16:00 – 16:30    Coffee-break
    16:30 – 19:00    Free-time
    19:00 – 20:00    Dinner


Sports camp "CHAYKA" of Odessa National Polytechnic University

 Results of STraS-2012

  • 36 participants (20 students and 16 invited speakers), 7 universities (KhAI, ISTI-CNR, ONPU, KhNU, SNTU, KhNURE, DNU).
  • 10 lectures and 1 training
  • 2 PhD- and MSc-students reports about the results of the internships in the Great Britain and Italy
  • Analysis of SAFEGUARD project up to date
  • Discussions
  • Excursion to Odessa and Shabo (including The Odessa Opera Theater, Opera "Rigoletto" and tasting the best vine of Shabo)




  • Bookmark and Share
  • Clip to Evernote