1

TOSCA

Matteo Sonza Reorda

Politecnico di Torino

Goal� Create an international network of

researchers in the field of safety-critical applications for computer-based systems.

2

Outline� Introduction� Activity plan� Organization� Deadlines

Introduction� TOSCA is an ALFA (Latin America

Academic Training) project for co-operation among higher education institutions of the European Union and Latin America.

3

Partners� INPG – Grenoble� IST - Lisboa � POLITO – Torino (co-ordinator)� PUCSR – Porto Alegre� UDR – Montevideo � UNLP – La Plata

Objectives� TOSCA aims at offering to the

participating institutions:� a forum to discuss recent advances in the

fault-tolerant system design� a support for circulating experiences � a set of training activities for researchers to

improve their skill and fasten the research development in the area.

4

Activities� Grant-holders� Seminars� Meetings� Communication� Reports

Grant holders (EU to LA)� INPG: 1

� (hosted by PUCSR)

� POLITO: 1� (hosted by PUCSR)

5

Grant holders (LA to EU)� PUCSR: 3

� (hosted by INPG)� (hosted by IST)� (hosted by POLITO)

� UNLP: 2� (hosted by INPG)� (hosted by POLITO)

� UDR: 2� (hosted by IST)� (hosted by POLITO)

Seminars� 1 by Matteo Sonza Reorda at PUCSR� 1 by Fabian Vargas at INPG� 1 by Raoul Velazco at PUCSR� 1 by Joao Paulo Texeira at PUCSR.

6

Meetings� 2002: Montevideo� 2003: Torino� 2004: Grenoble.

Communication� A website will be created in order to:

� inform all the partners about the development of the program

� distribute the teaching and research material produced by the partners

� POLITO is in charge of this task.

7

Reports� Annual reports will document the

activity developed by the partners� POLITO is in charge of gathering and

assembling this material from the other partners.

Training programme� Tasks:

A. VHDL Analysis and Manipulation for Fault Tolerance

B. Fault Tolerance Validation through Fault Injection

C. Fault Tolerance Validation through Irradiation

D. Fault Modeling on VHDL descriptions.

8

VHDL Analysis and Manipulation for Fault Tolerance

� The researchers will study the techniques useful to analyse and modify a digital circuit designed in a VHDL description language.

VHDL Analysis and Manipulation for Fault Tolerance

� grant-holder from PUCSR to POLITO: insertion of Fault Tolerance structures in a VHDL design

� grant-holder from PUCSR to INPG: interface integration of designed FPGAs to be exposed in an irradiation environment

� grant-holder from POLITO to PUCRS: mutation test based techniques for VHDL design of safety-critical applications

� grant-holder from UDR to INESC: functional test generation for high-level descriptions.

9

VHDL Analysis and Manipulation for Fault Tolerance

� Seminar: � Matteo Sonza Reorda will present a

seminar in PUCSR aiming at describing the state-of-the-art in the design of Fault Tolerant circuits exploiting VHDL.

Fault Tolerance Validation through Fault Injection

� The researchers will study the techniques adopting Fault Injection environments for the dependability evaluation of a safety-critical application.

10

Fault Tolerance Validation through Fault Injection

� grant-holder from UNLP to POLITO: the experimental analysis of a Fault Injection campaign on a safety-critical applications based on a FPGA circuit

� grant-holder from UDR to POLITO: the experimental analysis of a Fault Injection campaign on a safety-critical applications based on microprocessor system

� grant-holder from INPG to PUCRS: the design of radiation-hardened systems for space applications and on the introduction of EDAC codes for on-line fault detection.

Fault Tolerance Validation through Fault Injection

� Seminar: � Fabian Vargas will present a seminar in

INPG aiming at describing the state-of-the-art in VLSI design, testing and prototyping of safety-critical applications.

11

Fault Tolerance Validation through Irradiation

� To study the effect of radiation on electronic systems and the evaluation of the techniques adopted to practically evaluate such effects on safety-critical applications.

Fault Tolerance Validation through Irradiation

� grant-holder from UNLP to INPG: the experimental analysis of the effect of radiation on Fault Tolerant Fuzzy Controller and Neural Network.

12

Fault Tolerance Validation through Irradiation

� Seminar:� Raoul Velazco will present a seminar in

PUCRS aiming at describing the state-of-the-art in the effect of radiations on electronic systems.

Fault Modeling on VHDL descriptions

� Study the fault modeling and the high-level testing approach of safety-critical systems.

13

Fault Modeling on VHDL descriptions

� grant-holder from UNLP to INESC: Fault Modeling on VHDL descriptions.

Fault Modeling on VHDL descriptions

� Seminar:� Joao Paulo Texeira will present a seminar

in PUCRS aiming at describing the state-of-the-art in the Fault Modeling and high-level testing of safety-critical applications.

14

Activity summary: Year 1I II III IV V VI VII VIII IX X XI XII

MeetingsCreation of WebSiteUpdate of WebSiteSeminarsCall for grant applicationGrant-holder 1: PUCSR -> POLITO Grant-holder 2: UNLP -> INPG Grant-holder 3: PUCSR -> INPG Grant-holder 4: UDR -> POLITO Grant-holders ReportsProject Reports

Activity summary: Year 2I II III IV V VI VII VIII IX X XI XII

MeetingsUpdate of WebSiteSeminarsCall for grant applicationGrant-holder 3: PUCSR -> INPG Grant-holder 4: UDR -> POLITO Grant-holder 5: UDR -> INST Grant-holder 6: UNLP -> POLITOGrant-holder 7: INPG -> PUCSRGrant-holders ReportsProject Reports

15

Activity summary: Year 3I II III IV V VI VII VIII IX X XI XII

MeetingsUpdate of WebSiteCall for grant applicationGrant-holder 7: INPG -> PUCSRGrant-holder 8: POLITO -> PUCSRGrant-holder 9: PUCSR -> ISTGrant-holders ReportsProject Reports

Financing� The total cost of TOSCA is estimated at

196,145 €� UE undertakes to finance a maximum of

145,410 € (equivalent to 74% of the estimated total eligible cost).

16

Duration� 36 Months starting from 1/02/2002.

Payment arrangements� Payment will be done to:

� Politecnico di Torino� Advance: 38,841 €� First year: 66,708 €� Second year: 23,866 €� Final payment: 15,995 €

17

General rules on cost eligibility� Expenditure can only be considered as

eligible if it is directly related to approved activities and fully documented and explained

� All expenses must be incurred within the contract period.

Travel� All flights must be in coach class� Rail travel may be in first class� Private car or taxi: the amount to be

considered eligible shall be limited to the cost of one equivalent first class rail fare

� Hired car: possible only if no other suitable transport is available (always class A or B with more than 2 travelers)

� Travel insurance costs shall be eligible.

18

Accommodation� Accommodation and subsistence costs

shall be financed as daily lump sums:� 125 € in Europe� 135 € in Latin America.

Grant-holder mobility� Mobility grants will be financed as lump

sum up to maximum amount of:� Advanced training: 750 €/month� Additional training: 650 €/month

19

Travel expenditure of grant-holders

� The travel of the grant-holder from his institution of origin to the host institution shall be financed as a lump sum to a maximum amount of:� Intercontinental travels: 1500 €� EU/EU: 600 €� LA/LA: 800 €

Language improvement� Each grant-holder may benefit from a

grant to attend one language improvement course up to a maximum fixed amount of 1,000 €.

20

Welcome support to grant-holders

� Host institutions may include a maximum amount of 1,000€/year/grant-holder in concept of:� Registration fee� Medical insurance� Exam rights� Academic fees.

Costs NOT eligible� Professor or tutor fees� Entertainment or representational

expenses� Exchange or currency devaluation costs� Travel costs outside of the countries of

the participants.

21

Payment� Payment will be done by Politecnico di

Torino to the accounts of the partners institutions.

Audits� An annual audit will be carried out

every 12-month period� A final audit will be carried out at the

project end.

22

Audit report� The audit report must cover in

particular:� Analysis and checking of the nature,

legality and regularity of expenditure� Checking of the utilization of advances� Audit of third-party accounts.