![Page 1: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/1.jpg)
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.
![Page 2: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/2.jpg)
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.
![Page 3: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/3.jpg)
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.
![Page 4: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/4.jpg)
4
Activities� Grant-holders� Seminars� Meetings� Communication� Reports
Grant holders (EU to LA)� INPG: 1
� (hosted by PUCSR)
� POLITO: 1� (hosted by PUCSR)
![Page 5: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/5.jpg)
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.
![Page 6: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/6.jpg)
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.
![Page 7: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/7.jpg)
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.
![Page 8: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/8.jpg)
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.
![Page 9: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/9.jpg)
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.
![Page 10: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/10.jpg)
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.
![Page 11: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/11.jpg)
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.
![Page 12: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/12.jpg)
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.
![Page 13: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/13.jpg)
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.
![Page 14: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/14.jpg)
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
![Page 15: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/15.jpg)
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).
![Page 16: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/16.jpg)
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 €
![Page 17: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/17.jpg)
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.
![Page 18: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/18.jpg)
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
![Page 19: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/19.jpg)
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 €.
![Page 20: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/20.jpg)
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.
![Page 21: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/21.jpg)
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.
![Page 22: Politecnico di Torino - CAD Groupterminated... · Politecnico di Torino ... POLITO – Torino (co-ordinator) PUCSR – Porto Alegre ... A. VHDL Analysis and Manipulation for Fault](https://reader030.vdocuments.net/reader030/viewer/2022020121/5c686e6909d3f2e4258b46b9/html5/thumbnails/22.jpg)
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.