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.

Short Bio:
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).


April 20th, 2015

The CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST)

RTEST 2015 is an annual symposium targeted at bringing researchers in the fields of real-time systems, embedded systems, and related […]

December 8th, 2015

V2CPS: Verification and Validation of Cyber-Physical Systems

V2CPS: Verification and Validation of Cyber-Physical Systems Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects […]

September 29th, 2015

Optimal Sampling for Linear Control Systems, Talk by Professor Bini

Date: Monday - October 12th  (Mehr 20th) Time: 10 AM Abstract In embedded control systems, reducing the number of sampling instants per […]

September 6th, 2015

Accepted Paper in RTNS 2015

The following paper has been accepted in RTNS 2015: M. Ghassemi, M. Mohaqeqi, and M. Kargahi, “Joint Management of Processing […]

August 10th, 2015

Accepted Papers in RTEST2015

The following papers have been accepted in RTEST 2015: Javad Ebrahimian Amiri and Mehdi Kargahi, “A Predictable Interrupt Management Policy […]

May 15th, 2015

Won the best paper prize of ICEE 2015

Vahid Panahi, Morteza Mohaqeqi, and Mehdi Kargahi, “Preemption-Delay Aware Self-Triggered Controller: A Scheduler-Controller Codesign Approach”, ICEE 2015, IEEE.

April 16th, 2015

Algorithmic Design of Self-Stabilization, Talk by Dr. A. Ebnenasir

  Date: Tuesday – April 21st (Ordibehesht 1st) Time: 4pm Abstract The enormous scale of integration in today’s SoC (System-on-Chip) […]

August 4th, 2014

Towards Dependable Sensor Networks, Talk by Professor Lothar Thiele

  Date: Tuesday – August  10st (Mordad 19st) Time: 4pm Abstract The area of wireless sensor networks had a huge […]