Sharif Digital Repository

Increasing complexity of modern embedded systems has caused tasks with different criticality levels to run on a shared hardware platform, called mixed-criticality systems. In these systems, it is important to use fault tolerant techniques to achieve reliability targets. Moreover, the limited battery life in many applications and real-time requirements make energy-aware reliability management and guaranteeing deadline constraints a major challenge. Checkpointing with rollback recovery is a good option to ensure reliability of these sys- terns because of its low cost and relatively low time overhead. However, improper use of this technique can impose high energy overhead and cause deadline... 

Ultralight aircraft (VLA category) are usually piloted by novice pilots under Visual Flight Rules (VFR). In this work, we demonstrate how newly developed techniques in robotics could be used to enhance flight safety in this category of aircraft, especially during landing around sunset. In this research we have investigated the ability of Simultaneous Localization And Mapping (SLAM) algorithms in low level flight just before touch-down. Different case-studies show that SLAM algorithm is efficient in detecting the runway threshold. Comparing five different methods of parameterizations for landmarks detection including: (1) Plucker, (2) Anchored Plucker, (3) Homogeneous, (4) Anchored...