Tuesday – April 21st (Ordibehesht 1st) Time: 4pm
The enormous scale of integration in today’s SoC (System-on-Chip) systems makes them increasingly susceptible to Soft Errors (SEs), which form a family of transient faults that cause random bit-flips without creating permanent damages in hardware components.
Since hardware protection mechanisms are very expensive (and in some cases impractical), it is desirable to develop software systems that are resilient to the occurrence of SEs, especially in distributed computing systems (e.g., network protocols, power grid networks). A Self-Stabilizing (SS) system guarantees two properties: (1) in the absence of faults, its behaviors remain in a set of legitimate states from where system executions meet its specifications, called closure, and (2) starting from any state, system executions will eventually reach its set of legitimate states, called convergence. While self-stabilization is an important property of fault-tolerant distributed systems, its design and verification are difficult tasks due to (1) the lack of a central point of administration in distributed systems; (2) inability of system processes in reading and updating the global state of the system atomically, and (3) the interference of actions that implement convergence with the actions that enable closure. Thus, algorithmic methods that generate correct-by-construction SS systems can potentially reduce development costs.
Dr. Ali Ebnenasir is a senior member of the ACM and an Associate Professor in the Department of Computer Science at Michigan Technological University. Ali obtained his PhD in 2005 from Michigan State University, and subsequently received a postdoctoral fellowship from the Software Engineering and Network Systems Lab at Michigan State University. His PhD dissertation was nominated for the ACM Doctoral Dissertation Award by the College of Engineering at Michigan State University. Since August 2006, Ali has been with the Department of Computer Science at Michigan Tech, where he is currently an Associate Professor and the director of the Software Design Lab. His research and teaching interests include formal methods, high assurance and dependable computing, parallel and distributed computing and dependable cyber physical systems. Ali’s research has been supported by grants from the National Science Foundation (NSF), NSF/IEEE-TCPP Initiative on Parallel and Distributed Computing, and Michigan Tech’s Research Excellence Fund. His work has been published in several prestigious journals and conferences such as IEEE Transactions on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM), ACM Transactions on Autonomous and Adaptive Systems (TAAS), IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) and IEEE/ACM International Conference on Distributed Computing Systems (ICDCS).