National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (Project 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR)

SAFEGUARD Summer School (SSS12)

Ukraine, Odessa, June, 14-20, 2012

Welcome & Objectives

On support of Computer Systems Institute of Odessa National Polytechnic University

National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking (Project 158886-TEMPUS-1-2009-1-UK-TEMPUS-JPCR) Schools for MSc- and PhD-students

SAFEGUARD Autumn School (SAS11) Ukraine, Sevastopol, Sept., 12-16, 2011

SAFEGUARD Summer School (SSS12) Ukraine, Odessa, June, 14-20, 2012

Objectives and participants of SSS12

To give lectures and to carry on trainings by invited speakers from EU (Italy, Pisa, ISTI), Ukrainian (Donetsk, Kharkiv, Khmelnitsky, Odessa, Sevastopol) universities and industrial partners (RPC Radiy/STC of Safety Infrastructure-Oriented Research and Analysis) Presentation of lecturers To give MSc- and PhD-student presentations on their research topics in the context of the project Presentation of students To present and discuss SAFEGUARD project up to date To disseminate MSc-, PhD-courses and training modules for involved partners and other Ukrainian universities (specially for students) To be priced as the most active student (whyboy ) ? relax and enjoy!
SSS , June, 14-20, 2012

Agenda of SSS12
Date Activities Breakfast

June, 14 Thursday

June, 15 Friday Welcome Lecture 1

June, 16 Saturday
Lecture 4

June, 17 Sunday 9:00 10:00

Lecture 6

June, 18 Monday
Lecture 7

June, 19 Tuesday
Lecture 9

June, 20 Wednesday

Morning session 1
Coffee-break Morning session 2 Lunch Evening session Arrival

Lecture 2

11:30 12:00 Training Lecture 5 (KhAI team) 13:30 14:30 KhNU team ONPU team

Departure Lecture 8 Lecture 10 Awards Ceremony SSS Closing Coffeebreak 16:00 16:30 Free-time Dinner 19:00 20:00

Lecture 3 Coffeebreak 16:00 16:30 Discussion

Discussion Discussion Excursion, Dinner 17:00 17:30 Excursion, Odessa Opera Theater 17:30 22:00 Shabo 15:00 19:00 Coffeebreak 16:00 16:30 Free-time Dinner Dinner 19:00 20:00

Arrival Evening time

Departure

Free-time
Reception Dinner 19:00 19:00 22:00 SAFEGUARD, 20:00 June,

SSS

14-20, 2012

19:00 20:00

Schedule, June, 15, 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 for safety critical I&C systems 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 Discussion, free-time 19:00 20:00 Dinner Euro 2012! England Sweden(19.00) Ukraine-France (21.45)

SSS , June, 14-20, 2012

SAFEGUARD objectives
General objectives of SAFEGUARD
1.To produce a new generation of engineering and research staff capable of performing constructive development in safeware ITengineering (= safety & IT & Critical Infrastructure). 2. Satisfy the needs of Ukrainian enterprises and institutions of different critical domains. 3. Safety and IT culture!

Specific objectives of SAFEGUARD

1. Education (5MS-, 2PhD-, 3TM-Courses = Speciality+) 2. Engineering (Techniques and tools) 3. Infrastructure (networks of centres (commercial aspect)
SSS , June, 14-20, 2012

SAFEGUARD courses
MC1 Safeware engineering foundations

MS-courses

MC2 High availability systems and technologies

MC3 Co-design of safety-critical embedded systems

MC4 Service-oriented business-critical systems and technologies

MC5 Distributed critical systems and infra-structures

PhD-courses
Courses of TEMPUSMASTAC

PC1 Formal methods-based technologies for safeware

PC2 Scalable diversity-based technologies for safety-critical applications

TM- courses
TM1 Safety-case-oriented systems requirement analysis TM2 Safety-case-oriented system measurement and data analysis TM3 Safety-case tools and innovative technologies of application

SSS , June, 14-20, 2012

Progress to date: results

MSc courses development: completed, piloting in progress PhD courses development: completed, piloting in progress TM modules development: programs and modules (major part) completed, utilities was received (from Adelard, ISTICNR, City); pilotingve started at June 2012

Network/Consultancy bureaus: concept is developed and approved; part of equipment (variation parts) was implemented
Course publishing: 5 lecture books was published, publishing of all materials (3 lecture books +10(or 8 depending on TMs) pract. books) is foreseen for June October 2012
SSS , June, 14-20, 2012

New books
CASE ASSESSMENT OF CRITICAL SOFTWARE-BASED SYSTEM/ V. Kharchenko (ed.) Vol. 1. Quality, Vol. 2. Reliability,Vol.3. Safety, 2012, 823p. INFORMATION TECHNOLOGIES FOR CRITICAL INFRASTRUCTURES A. Skatkov (ed.), 2012, 329p.

Progress to date: main activities (1)

Dissemination
a) Conferences May 2010-2012, DESSERT conferences; May 2010, ICONE18, China; October 2010, IAEA Meeting, Canada; ICONE19, Japan; August 2011, ICEE conference, special SAFEGUARD workshop, UK; Sept. 2010, January, June 2011, Febr., 2012, CriCTechS , Ukraine; September 2011, IEEE EWDT Symposium, Ukraine; November, 2011, DT, Slovakia; December 2011, ITSG, UK; April 2012, TopSafe, June 2012, ESREL-PSAM, Finland b) Safeguard Schools (SAS2011, SSS2012,...) c) TV support Kharkiv, Odessa, Region TV, UT-2; d) Publications and web-support International Information & Security Journal, 2011, e) Piloting topics of SAFEGUARD course modules (all universities)
SSS , June, 14-20, 2012

Progress to date: main activities (2)

Study visits to EU partners:
April 2010, Newcastle-City (5 persons); September 2010, NapU-ISTI-CNR (5 persons); November 2010, City-ADELARD (2 persons); May 2011, Adelard, KTH-Abo (2 persons); Aug. 2011, Newcastle-City (5 persons); September, 2011, ISTI (2 persons); November, 2011, Nap U (4 persons); December, 2011 - May, 2012, Newcastle-City (3 trips, 7 persons) June, 2012, Stockholm (4 persons)

Visits to Ukraine (lectures and seminars):

May 2010, Adelard, Nap U, City U; April 2011, Adelard; May 2011, City U September 2011, Nap U, ISTI, November 2011, Newcastle U, May, 2012, City U, Newcastle U, ICTI June, 2012, ICTI
SSS , June, 14-20, 2012

Progress to date: main activities (3)

Coordination meetings and seminars of Ukrainian partners: October 2010, February, 2012 KhAI; April 2011, PNTU; May 2011, Radiy; June, 2011; SevNTU; September 2011, May, 2012 SBI Visits of MSc- and PhD-students for training (November, 2011- February, 2012): - Miroslav Drozd, Sergiy Mileyko (Odessa NPU), University of Newcastle-upon-Tyne, UK; - Oleg Illiashenko, Sergiy Parfenov (National Aerospace University KhAI), Sergiy Parfenov (Khmelnitsky NU), ISTI-CNR, Pisa, Italy; - Dmitriy Voronin, Vyacheslav Loviahin (Sevastopol NTU), Naples University, Italy;

- Valentina Zhadan (Poltava NTU), Lyubov Reva (National Aerospace University KhAI), Outcomes of training in City University London, UK
SSS , June, 14-20, 2012

Conclusion. Next steps

Workplan of SAFEGUARD project is successfully performed as a whole. There are some problems concerning finalization of publishing of materials of some courses (we have 3-4 months to finish). Next (June, 2012 - January, 2013) is very important: - Finalization of courses and TMs and disseminations: - Equipment (video conference part) receiving and implementation; - Publishing of: multicourse lecture books; lecture course and practicum books; - SAFEGUARD Schools (embedded into other events): Odessa, June, 14-19; Sevastopol, July, 10-17, - Internships of PhD-, MSc-students - Final WS (January, 9-13, 2012, Carpathians (?))

SSS , June, 14-20, 2012

Thank ONPU/ICS very much! Thank all lecturers very much!

Thank you very much! Is it SAFEGUARDs too?

Successful work and nice time to all participants!