• Sedigheh Asyaban

    Sedigheh Asyaban

    Sedigheh Asyaban did her PhD thesis on analysis and scheduling of mixed-criticality systems. From Feb. 2012 to Sep. 2017

    This thesis is on exact worst-case response time characterization of mixed-criticality real-time tasks executing according to some given fixed-priority scheduler. Further, it discusses analysis and scheduling of mixed-criticality systems with stochastic energy provisioning.

  • Mitra Nasri

    Mitra Nasri

    Mitra Nasri did her PhD thesis on analyzing and improving quality of service of real-time embedded systems in dynamic environments .From Sep. 2009 to Jan. 2015

    Mitra Nasri did her PhD thesis on analyzing and improving quality of service of real-time embedded systems in dynamic environments. Her thesis is mostly concerned about improving quality of service and accuracy of real-time systems, where the accuracy is defined as the closeness of system state to the goal state. In many industrial real-time embedded systems working in highly dynamic environments, system safety which depends on guaranteeing deadlines may not be sufficient; rather, to improve system’s quality of service (QoS), the instants of input and output operations are of high importance to deal with the rapid changes of the environment. For example, in control systems, measures such as sampling delay (delays before input), I/O delay (delays between input and output operations), their jitters, and quality of data considerably affect their accuracy.

    To improve the accuracy, she has introduced two groups of scheduling algorithms; preemptive and non-preemptive. In the first group, the goal is to increase system accuracy by modifying priorities of the tasks at run-time. In this group she has developed several scheduling algorithms with different properties to reduce delays (sampling and I/O delays) and to limit jitters to user defined values. For most of the algorithms in this group, she has provided schedulability tests to verify sufficient (and in some cases, necessary) conditions of schedulability of hard real-time systems. In the second group, she introduced non-work-conserving scheduling algorithms with guaranteed schedulability in special cases of harmonic tasks. For some of those algorithms, she has provided sufficient conditions for a jitter free schedule. Finally, she has developed a framework to construct customized harmonic periods from given period ranges. Using this framework, feasible task sets for the developed algorithms can be obtained.

  • Morteza Mohaqeqi

    Morteza Mohaqeqi

    Morteza Mohaqeqi did his PhD thesis on probabilistic thermal analysis and management of embedded real-time systems.From 2010 to 2015

    Morteza Mohaqeqi did his PhD thesis on probabilistic thermal analysis and management of embedded real-time systems. Inter effects between performance parameters, dynamic and leakage power consumption, and temperature variation were considered. For thermal modeling and analysis of stochastic real-time systems, an analytical approach was adopted. To this aim, on the basis of a Markovian model of a stochastic real-time system, steady-state thermal characteristics of the processor was derived, which is used for power and reliability calculation. For thermal management of the real-time system, an optimal control approach, namely model-predictive control (MPC) was employed. In that work, the controller determines the speed of processor and cooling system to minimize the average power consumption, while respecting the performance constrains. Also, the existing theory of stochastic control was used for thermal management of a multicore real-time system. The goal of that work was controlling the temperature gradient of the processor through migration mechanism.


  • Khadijeh Faramarzi (Thesis Title: The PFPASAP Algorithm for energy harvesting Real-Time Systems with a Non-ideal Supercapacitor.)-2016
  • Mehdi Mohammadpour Fard (Thesis Title: Developing a Toolset for Code Power Analysis in Embedded Systems)-2016
  • Alireza Salami (Thesis Title: System-Level Quality of Control Management in Stochastic Real-time Systems)-2015
  • Ahad Mozaffari-Fard (Thesis Title: Temperature Control in Real-Time Systems working in Dynamic Environments)-2015
  • Zeinab Abbasi (Thesis Title: The Impact of Temperature on Real-Time System Dependability: Analysis and Control)-2014
  • Vahid Panahi (Thesis Title: Enhancement of Quality of Control using Resource Management in Real-Time Control Systems)-2014
  • Nafise Moti (Thesis Title: Improving the dependability of real-time systems using GPGPUs)-2014
  • Mostafa Derakhshandeh-Fard (Thesis Title: Visual and Persistence Modeling for Parallel DEVS Atomic Models in CoSMoS)-2014
  • Mehdi Tavakkoli (Thesis Title: A Heuristic Method for Maximizing Profit of Cloud Providers)-2014
  • Javad Ebrahimian-Amiri (Thesis Title: Resource Management for Accuracy Improvement in Real-Time Systems: A Prototypical Implementation)-2013
  • Sajjad Taheri (Thesis Title: Performance Improvement of Real-time Systems using Memory Management Techniques)-2013
  • Nastaran Motevalli (Thesis Title: Temperature Management in Multicore Processors: A System-level Approach)-2013
  • Nastaran Farahmand (Thesis Title: Performance Enhancement of Battery-operated Energy-Aware Embedded Systems)-2013
  • Mahmoud Gholipour (Thesis Title: Resource Usage Enhancement in Distributed Real-Time Systems)-2013
  • Soghra Manoochehri (Thesis Title: Lifetime Managements in Battery-Operated Embedded Systems)-2013
  • Mohammad-Ali Fard-Bastani (Thesis Title: Hacking the Kernel for Predictability Enhancement of Operating Systems)-2012
  • Fatemeh Gharehdaghi (Thesis Title: Temperature Management in Real-Time Systems using Task Scheduling)-2012
  • Leili Farzinvash (Thesis Title: Performability Enhancement of Real-Time Systems in Hybrid Vehicles through Dynamic Voltage Scaling)-2009
  • Morteza Mohaqeqi (Thesis Title: A Resource Allocation Algorithm for Performance Improvement in Distributed Soft Real-Time Systems)-2011
  • Faeze Eshragh (Thesis Title: Joint Reliability and Performance Modeling based on System Software Architecture)-2011
  • Maryam Dehghan (Thesis Title: Performance Improvement of Energy Harvesting Real-Time Systems)-2011
  • Mohammad-Javad Izadi (Thesis Title: An Actor-based Model for Modeling and Verification of Real-Time Systems)-2010
  • Hamid Karimi (Thesis Title: Fault-Tolerant Real-Time Scheduling in Wireless Sensor Networks)-2010