Abstract: Embedded control software react to plant and environment conditions in order to enforce a desired functionality, and exhibit hybrid dynamics: control-loops together with switching logic. Control software can contain errors (faults), and fault-tolerance methods must be developed to enhance system safety and reliability. We present an approach for fault detection and isolation that is key to achieving fault-tolerance. Detection approach is hierarchical involving monitoring both the control software, and the controlled-system. The latter is necessary to safeguard against any incompleteness of software level properties. A model of the system being monitored is not required, and further the approach is modular and hence scalable. When fault is detected at the system level, an isolation of a software fault is achieved by using residue methods to rule out any hardware (plant) fault. We also proposed a method to localize a software fault (to those lines of code that contain the fault). The talk will be illustrated through a servo control application.
To create a fair comparison of the algorithms we place their compression functions inside of a single tree-based structure and investigate their performance on mid-range and high performance GPUs when hashing extremely large messages.

Speaker: Prof. Ratnesh Kumar is a professor of Elec. & Comp. Eng. at the Iowa State University. He received the B.Tech. degree in Electrical Engineering from the IIT Kanpur, in 1987, and the M.S. and the Ph.D. degrees in Electrical and Computer Engineering from the University of Texas at Austin, Texas, in 1989 and 1991, respectively. From 1991-2002 he was on the faculty of University of Kentucky, and since 2002 he has been with the Iowa State University. He has held visiting positions at the Institute of Systems Research at the University of Maryland, the Applied Research Laboratory at the Pennsylvania State University, the NASA Ames Research Center, the Idaho National Laboratory (formerly, Argonne National Laboratory West), and the United Technology Research Center. Prof. Kumar was a recipient of the Microelectronics and Computer Development (MCD) Fellowship from the University of Texas at Austin, and was awarded the Lalit Narain Das Memorial Gold Medal for the Best EE Student and the Ratan Swarup Memorial Gold Medal for the Best All-rounder Student from the Indian Institute of Technology at Kanpur, India. He is a recipient of the NSF Research Initiation Award, Summer Fellowship from NASA and ANL, and Sabbatical Fellowship from ARL. He is a coauthor of the book Modeling and Control of Logical Discrete Event Systems. He is an associate editor of Journal of Discrete Event Dynamical Systems, IEEE Control Systems Society, and is a past associate editor of IEEE Transactions on Robotics and Automation, and also of SIAM Journal on Control and Optimization. He has served on the organizing committee for the IEEE Control Systems Society, the International Workshop on Discrete Event Systems, and International Workshop on Software Cybernetics. He is a Fellow of the IEEE for contributions to discrete event system modeling, control, diagnosis and applications.

Pizza and drinks will be provided!