Fernanda Lima Kastensmidt joined the Instituto de Informática faculty in 2005. She received a PhD in 2003 and MSE in 1999 both in Computer Science from Universidade Federal do Rio Grande do Sul (UFRGS) in Porto Alegre, RS, Brazil. Dr. Fernanda’s current research focuses on soft error mitigation techniques for SRAM-based FPGAs and integrated circuits, such as microprocessors, memories and network-on-chips (NoCs), and the analysis and modeling of radiation effects in those circuits.
She currently advises MSE and PhD thesis at the Computer Science Graduation Program (PPGC) http://ppgc.inf.ufrgs.br/ and at the Microelectronics Program (PGMICRO) http://www.ufrgs.br/pgmicro/.
She has published the book Fault-Tolerance Techniques for SRAM-based FPGAs in 2006.
She is IEEE member.

Payload NanoSatC-BR1

NanoSatC-Br1 is the first CubeSat project of Brazil, developed at the Southern Regional Space Research Center (CRS/CCR/INPE-MCT) in collaboration with the Space Science Laboratory of the Federal University of Santa Maria (LACESM/CT - UFSM), Santa Maria, RS, Brazil and other Institutes and Universities, as UFRGS. Part of the payload of the NanoSatC-Br1 was developed at UFRGS by the coordination of professor Fernanda Lima Kastensmidt. The objective is to qualify under radiation the use of embedded processors in commercial FPGAs in nano satellites. The commercial FPGA ProASIC3E is used with a 32-bit like MIPS microprocessor running a fault-tolerant code able to detect errors in the processor due to radiation effects. All the interfaces and protocols for communication with the on board computer were also implemented and validated by our researcher group. The NanoSatC-BR1 was successfully launched on June 19th, 2014.
More information about the payload project: http://www.inf.ufrgs.br/~fglima/nanosatbr1/projeto.htm
And more information about the NanoSatC-BR1: http://www.inpe.br/crs/nanosat/index.php
\\News at Adverso Magazine


  • Radiation Effects
  • SET characterization in logic circuits and clock trees
  • Fault tolerant techniques in FPGAs, in Software for embedded processors and in Digital Logic and transistor level
  • Satellite system applications
  • NoC Desing, Modeling, Testing, Fault tolerance
  • Projects with Nanosatellites
  • Projects with radiation ground testing for TID and SEE


coming soon: Fernanda Lima Kastensmidt, Paolo Rech. FPGAs and Parallel Architectures for Aerospace Applications, Springer, 2015.

Jose Rodrigo Azambuja, Juergen Becker, Fernanda Kastensmidt, Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors, Springer, 2014.

Fernanda Lima Kastensmidt, Ricardo Reis, Luigi Carro, Fault-Tolerance Techniques for SRAM-Based FPGAs (Frontiers in Electronic Testing), Springer, 2006.

Ricardo Reis, Raoul Velazco, Pascal Fouillat (Editors). Radiation Effects in Embedded Systmes, Springer, 2010 Ed. Chapter: Fault Tolerance in Programmable Circuits. Autrors: Fernanda Lima Kastensmidt, Ricardo Reis.

VEasy: a Tool Suite for Teaching Functional Verification: Teaching the principles of Functional Verification in an intuitive way [Paperback] Samuel Nascimento Pagliarini (Author), Fernanda Lima Kastensmidt (Author), LAP LAMBERT Academic Publishing (June 27, 2012), ISBN-10: 3659143324


IEEE NSREC - , Short Course, 2007
SEE Mitigation Strategies for Digital Circuit Design Applicable to ASIC and FPGAs
Author:Fernanda Lima Kastensmidt

AHS - NASA/ESA Conference on Adaptive Hardware and Systems, Tutorial, 2011
Building reconfigurable hardware for Space using commercial-­off-­the shelf FPGAs: challenges and possible solutions
Authors: Fernanda Lima Kastensmidt & Massimo Violante
Summary: The use of reconfigurable hardware in space is often advocated as the solution for fixing design bugs when the system is in orbit, for expanding the lifetime of systems already deployed in the field by improving year after year the functionalities it implements, and for boosting the execution of computing-­intensive applications. For these purposes, reconfigurable field programmable gate arrays (FPGAs) are the enabling technology, as they offer an effective mean for implementing efficient user-­customizable hardware that can be modified when the system is already deployed in the field. When facing the problem of selecting the best reconfigurable FPGAs for implementing reconfigurable hardware, designers have a number of choices with their advantages and disadvantages. The purpose of this tutorial is to outline the problems arising from the use of reconfigurable FPGAs in space, and to present possible solutions. During the tutorial the following topics will be covered.

1. The impact of the space radioactive environment on re-configurable FPGAs (40 minutes) a. The transistor-level point of view. b. The circuit-level point of view.

2. Mitigation techniques for effective use of re-configurable FPGAs in space (50 minutes). a. Hardening by design: the Atmel ATF280E case. b. Hardening by architecture: i. The Xilinx Virtex case. ii. The Microsemi ProASIC case.

3. The key role of design tools (30 minutes): a. Synthesis tool. b. Place & route tools. c. Validation tools.

SERESSA - International School on the Effects of Radiation on Embedded Systems for Space Applications
SEE and TID effects and Mitigation Techniques for FPGAs
Author: Fernanda Lima Kastensmidt
Seressa started on 2006 in Brazil and since then it has occurred in many different countries such as Argentina, Japan, South Korea, Canada, EUA, Mexico, Brazil and others.

Using Programmable System on Chip for Aerospace Applications
Author: Fernanda Lima Kastensmidt
It presents APSoC susceptibility to soft errors and a set of mitigation techniques that can be applied in such devices.

Belas School
Using Programmable SoC for Reliable Applications: Qualification Methodologies, Fault Tolerance Techniques and Radiation Tests
Author: Fernanda Lima Kastensmidt
It presents FPGA and APSoC susceptibility to soft errors and a set of mitigation techniques that can be applied in such devices.

====== CONTACT ====== Universidade Federal do Rio Grande do Sul Instituto de Informática - http://www.inf.ufrgs.br Av. Bento Gonçalves, 9500 - Campus do Vale - Bloco IV Bairro Agronomia - Porto Alegre - RS - Brasil CEP 91501-970 Caixa Postal: 15064 E-mail: fglima (at) inf.ufrgs.br Phone: +55 51 3308-7036

homepage.txt · Last modified: 2017/04/24 10:04 by fglima
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki