Verification of Reconfigurable NoC under Quality of Service Constraints
Hela Ben Salah, Adel Benzina, Mohamed Salah Khalgui · 2016
The reconfigurable NoCs are designed to deal with the intensive frequency of the exchanged messages rate at run-time. The overload scenarios are then frequent and the Quality of Service (QoS) is not satisfied. To fulfill a higher level of adaptiveness at run-time, we expose the problem of the run-time NoC reconfiguration under QoS constraints. The contributions of this paper are twofold. First, we present a run-time reconfiguration in NoC based on reconfiguring the faulty network devices. It can dynamically add or remove one or a set of messages so that critical messages can be routed correctly. We introduce a priority level of messages to ensure the delivery of the most important ones to satisfy (m, k) based QoS constraints. Secondly, through a case study, we present a formal approach based on Reconfigurable Timed Net Condition/Event Systems (R-TNCES) to verify temporal logic properties with the model Checker SESA. Using this approach in any given configuration of the NoC, we can deduce if the QoS will be guaranteed or not.