Ngày 16/8/2010, tại trường Đại học Công nghệ, nhận lời mời của Phòng thí nghiệm mục tiêu Hệ thống tích hợp thông minh, Giáo sư Zebo Peng - Đại học Linköping, Thuỵ Điển đã đến thăm trường Đại học Công nghệ, Phòng thí nghiệm SIS và trình bày xê-mi-na khoa học với tiêu đề "Xây dựng các hệ thống nhúng tin cậy từ các thành phần không tin cậy - những thách thức về thiết kế và kiểm tra" (tiếng Anh: Building Reliable Embedded Systems with Unreliable Conponents - the Design and Test Challenges).  Đây là một trong những vấn đề đang giành được nhiều quan tâm của các nhà khoa học trên thế giới trong lĩnh vực thiết kế các hệ thống điện tử nhúng (bao gồm cả phần cứng lẫn phần mềm) cho các ứng dụng đòi hỏi sự độ tin cậy cao.

Nội dung báo cáo đã thu hút sự quan tâm của nhiều giảng viên, nghiên cứu sinh và học viên cao học đang thực hiện nghiên cứu liên quan đến lĩnh vực công nghệ thông tin và điện tử - viễn thông.

Phòng thí nghiệm SIS xin giới thiệu tóm tắt nội dung trình bày và tiểu sử của Giáo sư Zebo Peng (bằng tiếng Anh) dưới đây.

Building Reliable Embedded Systems with Unreliable Components

-- the Design and Test Challenges

Zebo Peng

Linkoping University, Sweden

Abstract

More and more embedded systems are used nowadays for safety-critical applications with stringent reliability requirements. At the same time, with silicon technology scaling, integrated circuits are implemented with smaller transistors, operate at higher clock frequency, and run at lower voltage levels. As a result, they are subject to more faults and interferences. Additionally, in nano-scale technology, physics-based random variations play an important role in many device performance metrics, and have led to many new defects. We are therefore facing the challenge of how to build reliable and predictable embedded systems with unreliable components.

Traditionally, research on fault tolerance has mainly dealt with permanent faults. However, in nano-scale technology, we have more often transient faults which affect the circuits for a short period of time without causing any permanent damage. These faults are caused by cosmic radiation, alpha-particles, electromagnetic interference, static electrical discharges, power supply fluctuations, temperature variation, etc. Recent studies have indicated that the rate of transient faults is increasing rapidly in modern electronic systems. While several hardware architecture solutions, proposed to tolerate permanent faults, may be used for tolerating transient faults, they are only efficient if the number of transient faults is not very large. An alternative to such purely hardware-based solutions is to use software-based techniques such as re-execution, replication, and check-pointing. However, these techniques often introduce significant time overhead which can cause tasks in a real-time application to miss their deadlines.

This presentation will discuss the design of embedded systems for safety-critical applications by considering both fault-tolerance and real-time requirements at the same time. It will present several key challenges and some solutions to the design and optimization of such systems. In particular, it will present time-redundancy based fault-tolerance techniques that are triggered by fault occurrences and the trade-off between selective hardening in hardware and process re-execution in software. The presentation will also address several challenges associated with the testing of such systems and some emerging solutions.

Short Biography of Prof. Zebo Peng

Zebo Peng received his Ph.D. degrees in Computer Science from Linkoping University in 1987. He has been Professor of Computer Systems and Director of the Embedded Systems Laboratory at Linkoping University since 1996. He was Director of the Swedish National Graduate School in Computer Science in 2006-2008.

Prof. Peng's research interests include design and test of embedded systems, electronic design automation, SoC testing, fault tolerant design, hardware/software co-design, and real-time systems. He has published over 250 technical papers and four books in these areas. He received four best paper awards, two at the European Design Automation Conferences (1992, 1994), one at the IEEE Asian Test Symposium (2002), and one at the Design, Automation and Test in Europe Conference (2005), as well as a best presentation award at the International Conference on Hardware/Software Codesign and System Synthesis (2003). Two of his publications have been selected as the most influential papers of 10 years of DATE (the Design, Automation, and Test in Europe Conference).

Prof. Peng serves currently as Associate Editor of the IEEE Transactions on VLSI Systems, the VLSI Design Journal, and the EURASIP Journal on Embedded Systems. He has served on the program committee of a dozen international conferences and symposiums, including ATS, DATE, DDECS, DFT, ETS, IOLTS, RTCSA, and VLSI-SOC, and was the Program Chair of ETS'07 and DATE'08. He served as the Chair of the IEEE European Test Technology Technical Council (ETTTC) in 2006-2009, and has been a Golden Core Member of the IEEE Computer Society since 2005.

(Xê-mi-na thu hút được sự quan tâm của các giảng viên, nghiên cứu sinh và học viên cao học đến từ Khoa CNTT và Khoa ĐTVT)

(Giáo sư Zebo Peng - Đại học Linköping, Thuỵ Điển đang thuyết trình tại trường Đại học Công nghệ)