Learn 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)
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)
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)
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)
A complementary verification method for real-time application with dynamic task structure has been developed. Here the real-time application is developed by means of Model-Driven Engineering. The basic verification technique is given by model checking. However, the model checking is executed at run-time whenever some reconfiguration of the task set takes(More)
  • 1