POLITECNICO DI MILANO Reconfiguration 4 Reliability design methodology for reliability assessment and enhancement of FPGA-based systems Dynamic Reconfigurability.

Slides:



Advertisements
Similar presentations
System-level Architectur Modeling for Power Aware Computing Dexin Li.
Advertisements

Survey of Detection, Diagnosis, and Fault Tolerance Methods in FPGAs
Baloch 1MAPLD 2005/1024-L Design of a ‘Single Event Effect’ Mitigation Technique for Reconfigurable Architectures SAJID BALOCH Prof. Dr. T. Arslan 1,2.
Torino, Italy – June 27th, 2013 A2B: AN I NTEGRATED F RAMEWORK FOR D ESIGNING H ETEROGENEOUS AND R ECONFIGURABLE S YSTEMS C. Pilato, R. Cattaneo, G. Durelli,
D ARMSTADT, G ERMANY - 11/07/2013 A Framework for Effective Exploitation of Partial Reconfiguration in Dataflow Computing Riccardo Cattaneo ∗, Xinyu Niu†,
Fault-Tolerant Systems Design Part 1.
1 SECURE-PARTIAL RECONFIGURATION OF FPGAs MSc.Fisnik KRAJA Computer Engineering Department, Faculty Of Information Technology, Polytechnic University of.
Complex Upset Mitigation Applied to a Re-Configurable Embedded Processor EEL 6935 Lu Hao Wenqian Wu.
ICAP CONTROLLER FOR HIGH-RELIABLE INTERNAL SCRUBBING Quinn Martin Steven Fingulin.
FAULT TOLERANCE IN FPGA BASED SPACE-BORNE COMPUTING SYSTEMS Niharika Chatla Vibhav Kundalia
Software Fault Injection for Survivability Jeffrey M. Voas & Anup K. Ghosh Presented by Alison Teoh.
Berlin, Germany – January 21st, 2013 A2B: A F RAMEWORK FOR F AST P ROTOTYPING OF R ECONFIGURABLE S YSTEMS Christian Pilato, R. Cattaneo, G. Durelli, A.A.
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
Experimental Evaluation of a SIFT Environment for Parallel Spaceborne Applications K. Whisnant, Z. Kalbarczyk, R.K. Iyer, P. Jones Center for Reliable.
Fault Detection in a HW/SW CoDesign Environment Prepared by A. Gaye Soykök.
DSD 2007 Concurrent Error Detection for FSMs Designed for Implementation with Embedded Memory Blocks of FPGAs Andrzej Krasniewski Institute of Telecommunications.
2. Introduction to Redundancy Techniques Redundancy Implies the use of hardware, software, information, or time beyond what is needed for normal system.
Embedded Systems Laboratory Informatics Institute Federal University of Rio Grande do Sul Porto Alegre – RS – Brazil SRC TechCon 2005 Portland, Oregon,
Developing Dependable Systems CIS 376 Bruce R. Maxim UM-Dearborn.
SIMULATING ERRORS IN WEB SERVICES International Journal of Simulation: Systems, Sciences and Technology 2004 Nik Looker, Malcolm Munro and Jie Xu.
Torino (Italy) – June 25th, 2013 Ant Colony Optimization for Mapping, Scheduling and Placing in Reconfigurable Systems Christian Pilato Fabrizio Ferrandi,
Software Dependability CIS 376 Bruce R. Maxim UM-Dearborn.
Towards a Hardware-Software Co-Designed Resilient System Man-Lap (Alex) Li, Pradeep Ramachandran, Sarita Adve, Vikram Adve, Yuanyuan Zhou University of.
Failure Spread in Redundant UMTS Core Network n Author: Tuomas Erke, Helsinki University of Technology n Supervisor: Timo Korhonen, Professor of Telecommunication.
Fault Models and Injection Strategies in SystemC Specifications ANTONIO MIELE Dipartimento di Elettronica e Informazione
Materials One of the main priorities of CAMELS is the optimization of the chalcogenide material. The PCM operation and reliability are in fact dictated.
Nadpis 1 Nadpis 2 Nadpis 3 Jméno Příjmení Vysoké učení technické v Brně, Fakulta informačních technologií v Brně Božetěchova 2, Brno
A comprehensive method for the evaluation of the sensitivity to SEUs of FPGA-based applications A comprehensive method for the evaluation of the sensitivity.
Reconfiguration Based Fault-Tolerant Systems Design - Survey of Approaches Jan Balach, Jan Balach, Ondřej Novák FIT, CTU in Prague MEMICS 2010.
What are the main differences and commonalities between the IS and DA systems? How information is transferred between tasks: (i) IS it may be often achieved.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
Secure Systems Research Group - FAU 1 Active Replication Pattern Ingrid Buckley Dept. of Computer Science and Engineering Florida Atlantic University Boca.
Lach1MAPLD 2005/241 Accessible Formal Verification for Safety-Critical FPGA Design John Lach, Scott Bingham, Carl Elks, Travis Lenhart Charles L. Brown.
Maeda, Sill Torres: CLEVER CLEVER: Cross-Layer Error Verification Evaluation and Reporting Rafael Kioji Vivas Maeda, Frank Sill Torres Federal University.
Dual-Pipeline Heterogeneous ASIP Design Swarnalatha Radhakrishnan, Hui Guo, Sri Parameswaran School of Computer Science & Engineering University of New.
ECE 259 / CPS 221 Advanced Computer Architecture II (Parallel Computer Architecture) Availability Copyright 2004 Daniel J. Sorin Duke University.
POLITECNICO DI MILANO Blanket Team Blanket Reconfigurable architecture and (IP) runtime reconfiguration support in Dynamic Reconfigurability.
Fault Tolerance Benchmarking. 2 Owerview What is Benchmarking? What is Dependability? What is Dependability Benchmarking? What is the relation between.
Hrushikesh Chavan Younggyun Cho Structural Fault Tolerance for SOC.
Aerospace Conference ‘12 A Framework to Analyze, Compare, and Optimize High-Performance, On-Board Processing Systems Nicholas Wulf Alan D. George Ann Gordon-Ross.
In-Place Decomposition for Robustness in FPGA Ju-Yueh Lee, Zhe Feng, and Lei He Electrical Engineering Dept., UCLA Presented by Ju-Yueh Lee Address comments.
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
1 Software Reliability in Wireless Sensor Networks (WSN) -Xiong Junjie
IDEA Improving Damage assessments to Enhance cost-benefit Analyses Call Identifier: Prevention 1. Actions on the economics of investing in disaster risk.
Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM M. Rebaudengo, M. Sonza Reorda Politecnico di Torino Dipartimento di Automatica.
DEPENDABILITY ANALYSIS (towards Networked Information Systems) Ester Ciancamerla, Michele Minichino ENEA {ciancamerlae, In.
Paper by F.L. Kastensmidt, G. Neuberger, L. Carro, R. Reis Talk by Nick Boyd 1.
POLITECNICO DI MILANO A SystemC-based methodology for the simulation of dynamically reconfigurable embedded systems Dynamic Reconfigurability in Embedded.
Radiation Tolerance Studies using Fault Injection on the Readout Control FPGA Design of the ALICE TPC Detector Johan Alme Bergen University College, Norway.
Week#3 Software Quality Engineering.
MAPLD 2005/213Kakarla & Katkoori Partial Evaluation Based Redundancy for SEU Mitigation in Combinational Circuits MAPLD 2005 Sujana Kakarla Srinivas Katkoori.
FPGA: Real needs and limits
MARP 6 A. Apollonio, U. Gentile
Intrusion Tolerant Systems Workshop: Anomaly Detection Group
University of Napoli Federico II
FPGA: Real needs and limits
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
BLUEMED Meeting Lucia Ramundo, Politecnico di Milano
Model-Driven Analysis Frameworks for Embedded Systems
Fault Injection: A Method for Validating Fault-tolerant System
Fault Tolerance Distributed Web-based Systems
Design of a ‘Single Event Effect’ Mitigation Technique for Reconfigurable Architectures SAJID BALOCH Prof. Dr. T. Arslan1,2 Dr.Adrian Stoica3.
Improving Quantum Circuit Dependability
Fault Tolerance Distributed
Hardware Assisted Fault Tolerance Using Reconfigurable Logic
Automated Analysis and Code Generation for Domain-Specific Models
Dynamic Partial Reconfiguration of FPGA
Xilinx Kintex7 SRAM-based FPGA
Gustavo Rau de Almeida Callou
Luca Simoncini PDCC, Pisa and University of Pisa, Pisa, Italy
Presentation transcript:

POLITECNICO DI MILANO Reconfiguration 4 Reliability design methodology for reliability assessment and enhancement of FPGA-based systems Dynamic Reconfigurability in Embedded Systems Design Reconfiguration 4 Reliability Team

2 Outline Motivations Activities Goals Sub-projects: Methodology for reliable reconfigurable systems design Design of Totally Self-Checking components Design of a Fault Injection environment General information

Motivations SRAM-based FPGAs are particularly sensible to radiation effects not only in critical environment, but also at terrestrial level alpha particles hitting devices cause temporary and permanent faults temporary faults can be modeled as Modification in the data being processed user-memory corruption Modification of the functionality being performed configuration-memory corruption Embedded systems implemented on FPGAs need “robustness” to radiations, achieved by means of by-design fault tolerance

4 Activies Designing reliable systems implemented on FPGAs, able to cope with the effects of faults caused by radiations Appling already known and well studied detection and recovery techniques to the particular FPGA scenario Exploiting dynamic partial reconfiguration to trigger the reconfiguration of the affected portion of the architecture … while the rest of the system is still working … without needing to entirely reprogram the system Enabling the assessment of reliable system properties by means of fault injection and simulation

5 Goals Creation of a methodology for the design of reliable reconfigurable embedded systems Implementation of a library of Totally Self-Checking components Implementation of a fault injection environment for FPGA systems

Design Space Exploration Definition of a framework for the design space exploration aiming at Estimating the costs and benefits deriving from the possible different solutions Exploring the solution space on the based of several metrics E.g.: size of the subsystems, size of the data widths Identifying most promising solutions Implementing the selected solution 6

Totally Self-Checking Components Design Design of a library of standard Totally Self-Checking components to be provided to the methodology for FPGA based reliable system design Examples: Checkers Voters Controllers... 7

Fault Injection Environment Implementing a fault injection platform for analyzing fault effects (the adopted fault model is the Single Event Upset -- SEU) and the effectiveness of the applied fault detection/tolerance techniques Important issues: Observability and controllability of fault injection Non intrusiveness Efficiency in simulation (e.g., check-points) 8

9 General Information Webpage Mailing List Contact For more information on Reliability 4 Reconfiguration: For a complete list of information on how to contact us: Related work – wiki: