Soft Error Analysis of FPGA under ISO Standard

Slides:



Advertisements
Similar presentations
PhD Student: Carlos Arthur Lang Lisbôa Advisor: Luigi Carro VLSI-SoC PhD Forum Low overhead system level approaches to deal with multiple and long.
Advertisements

IHP Im Technologiepark Frankfurt (Oder) Germany IHP Im Technologiepark Frankfurt (Oder) Germany ©
FPGA (Field Programmable Gate Array)
1 ICS102: Introduction To Computing King Fahd University of Petroleum & Minerals College of Computer Science & Engineering Information & Computer Science.
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
Software Quality Assurance (SQA). Recap SQA goal, attributes and metrics SQA plan Formal Technical Review (FTR) Statistical SQA – Six Sigma – Identifying.
Software Testing and Quality Attributes Software Testing Module ( ) Dr. Samer Hanna.
Overview Lesson 10,11 - Software Quality Assurance
Overview Memory definitions Random Access Memory (RAM)
Lucas Phillips Anurag Nanajipuram FAILURE MODE AND EFFECT ANALYSIS.
Testing safety-critical software systems
Part II AUTOMATION AND CONTROL TECHNOLOGIES
What Exactly are the Techniques of Software Verification and Validation A Storehouse of Vast Knowledge on Software Testing.
SEDS Research GroupSchool of EECS, Washington State University Annual Reliability & Maintainability Symposium January 30, 2002 Frederick T. Sheldon and.
, A Contract-Based Methodology for Aircraft Electric Power System Design IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS,pp ,ISSN ,9.
Software Safety: Examples, Definitions, Standards, Techniques Tom Hobson (tdh06u)
Alec Stanculescu, Fintronic USA Alex Zamfirescu, ASC MAPLD 2004 September 8-10, Design Verification Method for.
Memory and Programmable Logic Dr. Ashraf Armoush © 2010 Dr. Ashraf Armoush.
1 Software Testing and Quality Assurance Lecture 33 – Software Quality Assurance.
SiLab presentation on Reliable Computing Combinational Logic Soft Error Analysis and Protection Ali Ahmadi May 2008.
Soft errors in adder circuits Rajaraman Ramanarayanan, Mary Jane Irwin, Vijaykrishnan Narayanan, Yuan Xie Penn State University Kerry Bernstein IBM.
West Virginia University Towards Practical Software Reliability Assessment for IV&V Projects B. Cukic, E. Gunel, H. Singh, V. Cortellessa Department of.
European Test Symposium, May 28, 2008 Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI Kundan.
Lach1MAPLD 2005/241 Accessible Formal Verification for Safety-Critical FPGA Design John Lach, Scott Bingham, Carl Elks, Travis Lenhart Charles L. Brown.
ABSTRACT Currently, drivers must utilize a third-party, such as a radio or broadband device, to learn about local traffic conditions. However, this information.
CHAPTER-2 Fundamentals of Digital Logic. Digital Logic Digital electronic circuits are used to build computer hardware as well as other products (digital.
Use of Fieldbus in safety related systems, an evaluation study of WorldFIP according to proven-in-use concept of IEC Jean Pierre Froidevaux WorldFIP.
An Introduction to Software Engineering (Chapter 1 from the textbook)
1 Fault-Tolerant Computing Systems #1 Introduction Pattara Leelaprute Computer Engineering Department Kasetsart University
Hrushikesh Chavan Younggyun Cho Structural Fault Tolerance for SOC.
Proposal for an Open Source Flash Failure Analysis Platform (FLAP) By Michael Tomer, Cory Shirts, SzeHsiang Harper, Jake Johns
Lach1MAPLD 2005/241-W Accessible Formal Verification for Safety-Critical FPGA Design BOF-W Presentation John Lach, Scott Bingham, Carl Elks, Travis Lenhart.
Gill 1 MAPLD 2005/234 Analysis and Reduction Soft Delay Errors in CMOS Circuits Balkaran Gill, Chris Papachristou, and Francis Wolff Department of Electrical.
Toward a New ATM Software Safety Assessment Methodology dott. Francesca Matarese.
©2008 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. This material is protected under all copyright laws as they currently exist.
CODES: component degradation simulation tool ESA Project 22381/09/NL/PA.
1 Introduction to Engineering Fall 2006 Lecture 17: Digital Tools 1.
Software Engineering — Software Life Cycle Processes — Maintenance
Functional Safety in industry application
Logic Gates Unit 16.
Introduction for the Implementation of Software Configuration Management I thought I knew it all !
Part II AUTOMATION AND CONTROL TECHNOLOGIES
Project 2: Ultra Traffic Light Controller
Raghuraman Balasubramanian Karthikeyan Sankaralingam
Safety Instrumented Systems
IPF: In-Place X-Filling to Mitigate Soft Errors in SRAM-based FPGAs
SOFTWARE TESTING OVERVIEW
Chapter 8 – Software Testing
Safety Instrumented Systems
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
Automation Topics: Elements of an Automated System
Fault Injection: A Method for Validating Fault-tolerant System
ELEC 7770 Advanced VLSI Design Spring 2012 Introduction
ELEC 7770 Advanced VLSI Design Spring 2010 Introduction
Introduction to Fault Tolerance
Design of a ‘Single Event Effect’ Mitigation Technique for Reconfigurable Architectures SAJID BALOCH Prof. Dr. T. Arslan1,2 Dr.Adrian Stoica3.
InCheck: An In-application Recovery Scheme for Soft Errors
Advancement on the Analysis and Mitigation of
Software Verification and Validation
Software Verification and Validation
Hardware Assisted Fault Tolerance Using Reconfigurable Logic
Guihai Yan, Yinhe Han, and Xiaowei Li
CS149D Elements of Computer Science
Computer Networking A Top-Down Approach Featuring the Internet
Verification & Test Support for Safety Standards
Software Verification and Validation
Functional Safety Solutions for Automotive
Automotive-semiconductors Functional Safety
Review and comparison of the modeling approaches and risk analysis methods for complex ship system. Author: Sunil Basnet.
Fault-tolerant Multicore System on Network-on-Chip
Presentation transcript:

Soft Error Analysis of FPGA under ISO 26262 Standard Mohammad Mahdi Karimi PhD candidate Electrical and Computer Engineering Department

Challenges in fault detection Overview Introduction to ISO 26262 Types of Soft Error Challenges in fault detection Our approach at Functional Safety Analysis of FPGA

Introduction to Safety Standards On May 7, 2016 at 3:40 p.m. on U.S. 27 near the BP Station west of Williston, a 45-year-old Ohio man was killed when he drove under the trailer of an 18-wheel semi. The top of Joshua Brown’s 2015 Tesla Model S vehicle was torn off by the force of the collision….When the truck made a left turn onto NE 140th Court in front of the car, the car’s roof struck the underside of the trailer as it passed under the trailer. The first role of an engineer is to ensure dangerous equipment's will not fail with catastrophic results.

Introduction to ISO 26262 ISO 26262 is the state of the art standard for functional safety of E/E systems for passenger vehicles. Functional safety features of each automotive product development phase is ranging: Specification Design Implementation Verification Validation and Production release

ISO 26262 is a risk based safety standard ISO 26262 Standard ISO 26262 is a risk based safety standard By calculating the risk of existing hazardous operational situations, it provides an automotive specific risk based approach for determining the risk classes using ASIL rates. Nov 2011 ISO 26262 (First ed.) Jul 2016 ISO 19451 (Semiconductors draft Standard) Jan 2018 Upcoming ISO 26262 second edition

Section II: Soft Errors

Technology Scaling Increased functionality increases the number of transistors in the design thus increasing the possibility of error in the design.

Soft Errors Soft errors are Radiation-Induced Transient Errors. Soft errors are logical faults in a circuit’s operation that do not reflect a permanent malfunction of the device. Soft Errors can be caused by: Space Radiation Thermal Neutrons Atmospheric muons Alpha Particles

De-Rating Effect Not all radiation induced faults propagate and produce errors because of the numerous masking effects: Electrical De-Rating Pulses whose amplitude never reaches Vtr are masked. Logic De-Rating According to the state of the circuit the propagation of the fault is subject to logic blocking. Costenaro, Enrico. Techniques for the evaluation and the improvement of emergent technologies’ behavior facing random errors. Diss. Université Grenoble Alpes, 2015.

De-Rating Effect Temporal De-Rating The opportunity window of a fault (SET or SEU) to be latched in a down-stream memorizing element. Functional De-Rating An upset does propagate to downstream state points, but the effect is not significant at the system level Memory De-Rating The portion of time during which the data stored in a memory will eventually be read and thus used by the application.

Our Problem The Problem is to identify the effect of the Soft Error in our system Level analysis The automotive market for FPGAs is ramping up and they consist of many IP core blocks based of their models and applications. Due to ISO 26262, in order to maintain functional safety and reasonable residual risk, system should be analyzed thoroughly and make sure we address every possible safety related transient failures.

Challenges FPGAs consists of millions of elements that their functionality changes based on their application and software. Every subsystem shall be analyzed based on the functional safety goals defined at the system level. Ability for the framework to identify the dependency of system safety goals to every subsystem failure. Creating a framework that is automated in the way that can handle software updates and design changes, and has the ability to scale to larger systems.

Our Approach We will develop a systematic technique that analyses subsystem failure propagation. Each design will be modeled using a hardware description language (e.g., SystemVerilog) as well as compressed mathematical representations where possible. The system would be evaluated based on multiple fault injection techniques (e.g., SystemVerilog test bench, Boolean Satisfiability) to provide diagnostic fault coverage

References Ramanarayanan, R., et al. "Analysis of soft error rate in flip-flops and scannable latches." SOC Conference, 2003. Proceedings. IEEE International [Systems-on-Chip]. IEEE, 2003. ISO 26262 Road vehicles – Functional safety – Part 5: Product development: hardware level. Silburt, Allan L., et al. "Design for soft error resiliency in internet core routers." IEEE Transactions on Nuclear Science 56.6 (2009): 3551-3555. Costenaro, Enrico. Techniques for the evaluation and the improvement of emergent technologies’ behavior facing random errors. Diss. Université Grenoble Alpes, 2015. Evans, Adrian. Abstraction techniques for scalable soft error analysis and mitigation. Diss. Université Grenoble Alpes, 2014.

Thank you mmkarimi@aggies.ncat.edu Mohammad Mahdi Karimi PhD candidate Electrical and Computer Engineering Department mmkarimi@aggies.ncat.edu