CPN-based model of parallel matrix switchboard
D Kutuzov, A Osovsky, O Stukach… - … Moscow Workshop on …, 2018 - ieeexplore.ieee.org
The article describes a model of a parallel matrix switching system based on colored Petri
Nets (CPN). The CPN-based model developed by us describes the parallel switching …
Nets (CPN). The CPN-based model developed by us describes the parallel switching …
On reconfiguration theory of discrete-event systems: From initial specification until final deployment
M Khalgui, O Mosbahi, Z Li - IEEE Access, 2019 - ieeexplore.ieee.org
This paper presents an overview on different research activities that we did in the recent
decade for develo** reconfigurable discrete-event systems (RDESs) from initial high-level …
decade for develo** reconfigurable discrete-event systems (RDESs) from initial high-level …
Verification of reconfigurable noc under quality of service constraints
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 …
exchanged messages rate at run-time. The overload scenarios are then frequent and the …
Formal methodology for modeling, verifying and optimizing reconfigurable NoC modes
The paper proposes a formal verification process for reconfigurable Network-on-chip in
MPSoC. The reconfiguration of the MPSoC can lead to the addition of messages that can …
MPSoC. The reconfiguration of the MPSoC can lead to the addition of messages that can …