Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on Chip

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

“…Therefore, online model checker is integrated so as to make error prediction and recovery available. In [1] and [2], we have proved the feasibility of this OS design to execute and adapt an OS service running on RSoC even with very limited resources without violating any demanded requirements. We have done some experiments to estimate the performance of our online model checking for invariants and LTL formulas [4].…”

“…For example, if we have one service with two implementations each with just two SESs, we would have four possibilities to execute the service, each with different resource requirements and response time. Our previous work, [1] and [2], prove the feasibility of this design to execute and adapt an OS service to run on RSoC even with very limited resources without violating any demanded constraints. Further, a complete formal description of the design and a linear algorithm to schedule such service were presented.…”

“…It is fault tolerant and it can adapt according to the QoS requirements of the applications. Further, the adopted algorithm [1,2] has a linear complexity.…”

“…The recovery process allows the OS service to continue execution from the point the error occurred with as minimum losses as possible and without violating any constraints. This is achieved by recalculating and finding another configuration efficiently [1,2].…”

Towards biologically inspired decentralized self-adaptive OS services for distributed Reconfigurable System on Chip (RSoC)

“…A centralized novel OS service design for distributed RSoCs was presented in our previous work [1]. Nevertheless, due to centralization, the proposed OS suffers from the problem of a single point of failure.…”