Learn More
Online model checking is a lightweight verification technique to ensure at runtime the safety of the current execution trace of the system application under test. Doing model checking online suffers from the limited execution time allocated to each checking cycle. In this paper, we focus on accelerating online model checking so that as large the model space(More)
The introduction of embedded systems equipped with FPGA having a GPP contained inside them (Reconfigurable SoC (RSoC)) create a lot of challenges to OS for resource management. In distributed RSoCs, different applications may run on different RSoCs with variant resource requirements. Due to the variety of applications, a continuous change in demands from OS(More)
This paper presents a novel flexible, dependable, and reliable operating system design for distributed reconfigurable system on chip. The dependability and reliability are achieved by integrating on-line model checking technique. Each OS service has different implementations which are further partitioned into small blocks. This operating system design(More)
In distributed reconfigurable systems on chip embedded systems, many factors other than a scheduler are involved in the success or failure of real time applications/tasks. A scheduler which is just aware of timing is no longer suitable. Other factors such as resource managing, load balancing, execution adaptation and fault prediction are in fact of great(More)
Distributed embedded systems are exposed to variable applications and requirements. This results in a dynamic and unpredictable changes in the availability of resources. Existing operating system implementations for embedded devices are struggling to address the challenges of efficiently utilizing modern target platforms with heterogeneous computational(More)
Distributed RSoCs are the next step towards a new generation of embedded systems. Applications running on heterogeneous distributed RSoCs require an OS which dynamically adapts to their variable demands. In this paper, we present a novel decentralized OS service design, which enables OS adaptiveness, resource sharing, and reconfigurability on distributed(More)