William PENSEC

Progrès du manuscrit

Écriture : 60 / 60

Relecture Vianney : 60 / 60

Relecture Guy : 48 / 60

Validation : 48 / 60

Sections names	Written	Read Vianney	Read Guy	Validated
Chapitre 1 - Introduction - Context	✔	✔	✔	✔
Chapitre 1 - Introduction - Objectives	✔	✔	✔	✔
Chapitre 1 - Introduction - Outline	✔	✔	✔	✔
Chapitre 2 - SoA - Introduction	✔	✔	✔	✔
Chapitre 2 - SoA - IFT - How hardware DIFT works	✔	✔	✔	✔
Chapitre 2 - SoA - IFT - Different types of IFT	✔	✔	✔	✔
Chapitre 2 - SoA - IFT - Different levels of DIFT	✔	✔	✔	✔
Chapitre 2 - SoA - PA - RE	✔	✔	✔	✔
Chapitre 2 - SoA - PA - SCA	✔	✔	✔	✔
Chapitre 2 - SoA - PA - FIA	✔	✔	✔	✔
Chapitre 2 - SoA - CM against FIA - Physical layer	✔	✔	✔	✔
Chapitre 2 - SoA - CM against FIA - Software	✔	✔	✔	✔
Chapitre 2 - SoA - CM against FIA - Hardware	✔	✔	✔	✔
Chapitre 2 - SoA - Summary	✔	✔	✔	✔
Chapitre 3 - Introduction	✔	✔	✔	✔
Chapitre 3 - D-RI5CY - ISA	✔	✔	✔	✔
Chapitre 3 - D-RI5CY - DIFT design	✔	✔	✔	✔
Chapitre 3 - D-RI5CY - Case study	✔	✔	✔	✔
Chapitre 3 - Use cases - BO	✔	✔	✔	✔
Chapitre 3 - Use cases - FS	✔	✔	✔	✔
Chapitre 3 - Use cases - Summary	✔	✔	✔	✔
Chapitre 3 - VA - Fault model	✔	✔	✔	✔
Chapitre 3 - VA - BO	✔	✔	✔	✔
Chapitre 3 - VA - FS	✔	✔	✔	✔
Chapitre 3 - VA - CC	✔	✔	✔	✔
Chapitre 3 - Summary	✔	✔	✔	✔
Chapitre 4 - Introduction	✔	✔	✔	✔
Chapitre 4 - SoA Tools	✔	✔	✔	✔
Chapitre 4 - FISSA - Software Archi	✔	✔	✔	✔
Chapitre 4 - FISSA - Supported FM	✔	✔	✔	✔
Chapitre 4 - FISSA - TCL Gen	✔	✔	✔	✔
Chapitre 4 - FISSA - FI Sim	✔	✔	✔	✔
Chapitre 4 - FISSA - Analyser	✔	✔	✔	✔
Chapitre 4 - FISSA - Extending	✔	✔	✔	✔
Chapitre 4 - Use case - Configuration	✔	✔	✔	✔
Chapitre 4 - Use case - Experimental results	✔	✔	✔	✔
Chapitre 4 - Discussion	✔	✔	✔	✔
Chapitre 4 - Summary	✔	✔	✔	✔
Chapitre 5 - Introduction	✔	✔	✔	✔
Chapitre 5 - Fault model	✔	✔	✔	✔
Chapitre 5 - Simple parity - Presentation	✔	✔	✔	✔
Chapitre 5 - Simple parity - Implem	✔	✔	✔	✔
Chapitre 5 - HC - Presentation	✔	✔	✔	✔
Chapitre 5 - HC - Implementation	✔	✔	✔	✔
Chapitre 5 - SD - Presentation	✔	✔	✔	✔
Chapitre 5 - SD - Implementation	✔	✔	✔	✔
Chapitre 5 - Evaluation	✔	✔	✔	✔
Chapitre 5 - Summary	✔	✔	✔	✔
Chapitre 6 - Introduction	✔	✔	✘	✘
Chapitre 6 - FM	✔	✔	✘	✘
Chapitre 6 - Strategies - 2	✔	✔	✘	✘
Chapitre 6 - Strategies - 3	✔	✔	✘	✘
Chapitre 6 - Strategies - 4	✔	✔	✘	✘
Chapitre 6 - Strategies - 5	✔	✔	✘	✘
Chapitre 6 - Experimental results	✔	✔	✘	✘
Chapitre 6 - Discussion	✔	✔	✘	✘
Chapitre 6 - Summary	✔	✔	✘	✘
Chapitre 7 - Conclusion - Synthesis	✔	✔	✘	✘
Chapitre 7 - Conclusion - Perspectives	✔	✔	✘	✘
Chapitre 8 - Publications	✔	✔	✘	✘