Post-Doctoral Research Visit F/M Analysis and design of reliable domain-specific processors

Contract type : Fixed-term contract

Renewable contract : Yes

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit

About the research centre or Inria department

The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.

Context

Host team: The project will be held in the TARAN (formerly CAIRN) team of the IRISA/INRIA laboratory. The TARAN team, with more than 35 members from Inria, UR1, and ENS Rennes, has participated in several national and European R&D projects (H2020 ARGO, FP7 Alma, FP7 Flextiles) and has strong industrial collaborations (e.g., Safran, Thales, Alcatel, Orange, STMicroelectronics, Technicolor, and various SMEs). TARAN has recognized experience in several domains related to the project, such as embedded system design, fault tolerance, safety-critical systems, computing architectures, design tools for specialized hardware architectures.

Acquiring new skills:  As a new member of the TARAN team, you will be integrated in a research group with excellent prestige and deep knowledge of embedded systems. The TARAN research group can provide you with a more solid understanding and knowledge of computer architectures and hardware design. For instance, the host team has high-quality papers published in reliability and fault tolerence, using RISC-V-based processors and dedicated hardware designs, subjects that you will be able to learn much more about and increase my background in this area.

Assignment

Context: The dense transistor integration on the silicon and the systems architecture complexity have increased the system sensitivity to faults. Since the 1980s it is known that the terrestrial cosmic rays cause several defects in electronic components, from logical faults up to the circuit destruction. The occurrences of this phenomenon, called SEE (Single Event Effect), have significantly increased in the 90s due to the downscaling of the transistor technology and the increase in the memory sizes. Up to now, most of the mitigation solutions have focused on the Single-Event Upsets (SEUs), as they have been identified as the dominant issue. The Single-Event Transients (SETs) were not considered as a major problem, because of digital logic characteristics, such as logic masking, electrical masking and locking. However, as the transistor sizes, capacitances and supply voltages decrease, the threshold required for a transient impulse to disturbe the circuit has become increasingly low. Combined with the high operating frequencies, the possibility that a SET in the combinational logic will be stored on the storage element is increased. Therefore, SETs will rapidly exceed the SEU error rate in integrated systems, whereas the probabilities for multiple faults (Multiple-Bit Upset - MBU) are highly increased.

To deal with these problems, the architectures must have mechanisms to detect faults and to remedy their impacts on the application. However, to select an efficient error detection and correction mechanism, the potential faults and their impacts on the processor are required to be analyzed in order to drive the design of fault tolerant mechanisms removing the unnecessary performance, area and energy overhead.

Main activities

Goal:  The topic of this position is to study the behavior of the domain-specific processors under the presence of faults, develop error models in higher abstract layers that the existing ones at the transistor level, and propose effective protection mechanisms across different design layers.

To achieve this goal, we will develop a cross-layer framework to perform vulnerability analysis through fault injection methodologies applied at differerent system layers. The methodology should decide where to insert faults in order to have a realistic simulation of the radiation impact on the processor components, whereas the development should take into account how to avoid exhaustive exploration in order to reduce the time of the experiments. As a first step, the fault injection methodology will be based on scripts that modify the processor’s component by inserting faults at the gate level. The experiments can be performed by configuring adequately each time the fault injection occurs. The results gather from the experiments will be used to obtain information to develop error higher abstraction models at the architecture level and to characterize the sensibility of the different components of the processor to transient errors and drive the protection mechanisms.

Skills

Required expertise

  • Good knowledge of computer architecture, hardware and embedded systems
  • Good knowledge with FPGA design and/or High-Level Synthesis.
  • Programming experience in HDL, tcl, bash scripting, C/C++ and python

A Phd in Computer Science, Computer Engineering, or Electrical Engineering is required.

Note that we also receive applications on the same topic for an enginnering position (master is required).

Languages and skills:

  • Very good communication skills in oral and written English.
  • Open-mindedness, strong integration skills and team spirit.
  • Mostly importantly, we seek highly motivated people. 

Please send:

  • Your CV along with your Bachelor/Master transcripts
  • A motivational letter
  • Reference letters
  • Any additional documents/links that you think can show your experience (reports, notes, papers, github repositories…)

Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Possibility of teleworking (90 days per year) and flexible organization of working hours
  • Partial payment of insurance costs

Remuneration

monthly gross salary amounting to 2746 euros