7/31/2019 0 SSS2012 Welcome

1/14

National Safeware Engineering Network of Centresof Innovative Academia-Industry Handshaking

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

SAFEGUARD Summer School (SSS12)

Ukraine, Odessa, June, 14-20, 2012

Welcome & ObjectivesOn support of Computer Systems Institute

of Odessa National Polytechnic University

7/31/2019 0 SSS2012 Welcome

2/14

National Safeware Engineering Network of Centresof Innovative Academia-Industry Handshaking

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

Schools for MSc- and PhD-students

SAFEGUARD Summer School(SSS12)

Ukraine, Odessa, June, 14-20, 2012

SAFEGUARD Autumn School(SAS11)

Ukraine, Sevastopol, Sept., 12-16, 2011

7/31/2019 0 SSS2012 Welcome

3/14

Objectives and participants of SSS12

To give lectures and to carry on trainings by invitedspeakers from EU (Italy, Pisa, ISTI), Ukrainian(Donetsk, Kharkiv, Khmelnitsky, Odessa, Sevastopol)universities and industrial partners (RPC Radiy/STC ofSafety Infrastructure-Oriented Research and Analysis)

Presentation of lecturers To give MSc- and PhD-student presentations on their

research topics in the context of the projectPresentation of students

To present and discuss SAFEGUARD project up to date

To disseminate MSc-, PhD-courses and trainingmodules for involved partners and other Ukrainianuniversities

(specially for students) To be priced as the mostactive student (whyboy )

? relax and enjoy!

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

4/14

Agenda of SSS12

SSS SAFEGUARD, June, 14-20, 2012

Activities

Date

June, 14Thursday

June, 15Friday

June, 16Saturday

June, 17Sunday

June, 18Monday

June, 19Tuesday

June, 20Wednesday

Breakfast 9:00 10:00

Morningsession 1

Arrival

WelcomeLecture 1

Lecture 4 Lecture 6 Lecture 7 Lecture 9

DepartureCoffee-break 11:30 12:00

Morningsession 2

Lecture 2 Lecture 5Training

(KhAI team)Lecture 8 Lecture 10

Lunch 13:30 14:30

Eveningsession

Arrival

Lecture 3 KhNU team ONPU team

Discussion

AwardsCeremony

SSSClosing

DepartureEvening

time

Coffee-break

16:00

16:30

Discussion

Excursion,Shabo

15:00 19:00

Coffee-break

16:00 16:30

Coffee-break

16:00 16:30

DiscussionDinner

17:00 17:30

Free-time Free-timeFree-timeExcursion,

Odessa OperaTheater

Reception

19:00 22:00

Dinner

19:00 20:00

17:30 22:00

Dinner

19:00 20:00

Dinner

19:00 20:00

Dinner

19:00 20:00

7/31/2019 0 SSS2012 Welcome

5/14

Schedule, June, 15, Friday

09:00 10:00 Breakfast10:00 10:30 Opening of Summer School

Welcome. Director of Computer Systems Institute Svetlana AntoshchukVyacheslav Kharchenko. SSS objectives. Representation of participants

10:30 11:30 Lecture 1. Vyacheslav Kharchenko. Multi-version

technologies for safety critical I&C systems11:30 12:00 Coffee-break12:00 13:30 Lecture 2. Vladimir Hahanov. Cyber-Space and

quantum calculations13:30 14:30 Lunch14:30 16:00 Lecture 3. Oksana Pomorova. The components of

artificial intelligence as a means of the software quality assessment16:00 16:30 Coffee-break16:30 19:00 Discussion, free-time19:00 20:00 DinnerEuro 2012!EnglandSweden(19.00)Ukraine-France (21.45)

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

6/14

SAFEGUARD objectives

General objectives of SAFEGUARD

1.To produce a new generation of engineering and research staffcapable of performing constructive development in safeware IT-engineering (= safety & IT & Critical Infrastructure).

2. Satisfy the needs of Ukrainian enterprises and institutions ofdifferent 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

7/31/2019 0 SSS2012 Welcome

7/14

SAFEGUARD coursesMC1Safeware engineering

foundations

MC2High availabilitysystems andtechnologies

MC3 Co-designof safety-critical

embedded systems

MC4 Service-orientedbusiness-critical systems

and technologies

MC5 Distributedcritical systems and

infra-structures

PC1 Formal methods-basedtechnologies for safeware

PC2 Scalable diversity-basedtechnologies for safety-critical

applications

TM1 Safety-case-orientedsystems requirement

analysis

TM2 Safety-case-orientedsystem measurement and data

analysis

TM3 Safety-case tools andinnovative technologies of

application

MS-courses

PhD-courses

TM- courses

Courses of TEMPUS-MASTAC

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

8/14

Progress to date: results

MSc courses development: completed, piloting in progress

PhD courses development: completed, piloting in progress

TM modules development: programs and modules (majorpart) completed, utilities was received (from Adelard, ISTI-CNR, City); pilotingve started at June 2012

Network/Consultancy bureaus: concept is developed andapproved; part of equipment (variation parts) was

implemented

Course publishing: 5 lecture books was published, publishingof all materials (3 lecture books +10(or 8 depending on TMs)pract. books) is foreseen for June October 2012

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

9/14

New books

CASE ASSESSMENT OFCRITICAL SOFTWARE-BASEDSYSTEM/ V. Kharchenko (ed.)Vol. 1. Quality, Vol. 2.Reliability,Vol.3. Safety, 2012, 823p.INFORMATION TECHNOLOGIES

FOR CRITICALINFRASTRUCTURESA. Skatkov (ed.), 2012, 329p.

7/31/2019 0 SSS2012 Welcome

10/14

Disseminationa) 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 supportKharkiv, Odessa, Region TV, UT-2;d) Publications and web-supportInternational Information & Security Journal, 2011,e) Piloting topics of SAFEGUARD course modules(all universities)

Progress to date: main activities (1)

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

11/14

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 USeptember 2011, Nap U, ISTI, November 2011, Newcastle U,May, 2012, City U, Newcastle U, ICTIJune, 2012, ICTI

SSS , June, 14-20, 2012

7/31/2019 0 SSS2012 Welcome

12/14

Progress to date: main activities (3)Coordination meetings and seminars ofUkrainian 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

7/31/2019 0 SSS2012 Welcome

13/14

Conclusion. Next stepsWorkplan of SAFEGUARD project is successfully performed as awhole.

There are some problems concerning finalization of publishingof 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 andimplementation;- 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

Th k ONPU/ICS h!

7/31/2019 0 SSS2012 Welcome

14/14

Thank you very much!

Is it SAFEGUARDs too?

Thank ONPU/ICS very much!

Thank all lecturers very much!

Successful work and nice time to

all participants!