CyNC: A MATLAB/SimuLink Toolbox for Network Calculus

Abstract

This paper presents a graphical integrated modelling and performance-analysis tool based on deterministic network calculus (DNC) and implemented as an open source toolbox for the MATLAB/SimuLink environment. The paper introduces briefly the main concepts from network calculus and especially recent results for systems with cyclic dependencies, which appear in cases of cyclic data/work flow or counter directional resource and work flows. A number of network element types are supported including various arbitration/scheduling disciplines such as: Fixed Priorities, FIFO, TDMA, round robin/token passing and EDF along with packetization, flow control and flow convergence. These are all presented in the paper together with auxiliary tools like worst case backlog and delay calculations. Implementation details of general interest are presented along with illustrative examples demonstrating the virtues of the separate modelling elements and the overall tool framework. Discussion is provided concerning issues in system stability and the ability of DNC to provide usefull estimates of stability limits. Likewise current activities to support synchronous communication and flow control within the tool are presented.

A Survey on Network Calculus Tools for Network Infrastructure in Real-Time Systems

“…CyNC, which is short for Cyclic Network Calculus, is a performance-analysis tool for Network Calculus based on Matlab/Simulink environment [22]. There are many types of network elements supporting various scheduling algorithms, including fixed priorities, FIFO, round-robin/token passing, EDF, and WFQ embedded in the toolbox.…”

A SysML Method with Network Dimensioning

“…In [18], Apvrille et al proposed a UML-class notation as a front-end for an early version of WoPANets ; however this approach was restricted to software modeling while ours fits in with a systems approach. Considering UML diagrams, they have been used in [19], [20] punctually and for documentation purposes only. [20] integrates network calculus to Matlab/Simulink for schedulability purposes.…”

“…Considering UML diagrams, they have been used in [19], [20] punctually and for documentation purposes only. [20] integrates network calculus to Matlab/Simulink for schedulability purposes. However, [20] does not address distributed systems nor formal verification and moreover the choice of Matlab/Simulink restricts the work on the design phase.…”

“…[20] integrates network calculus to Matlab/Simulink for schedulability purposes. However, [20] does not address distributed systems nor formal verification and moreover the choice of Matlab/Simulink restricts the work on the design phase. In [15], the idea of associating the network calculus to modeling is proposed for AADL models and considering scheduling issues.…”

The DISCO Stochastic Network Calculator Version 1.0 - \\When Waiting Comes to an End

“…Despite all this progress and development of the SNC, there has been no publicly available tool support for the SNC so far. The only tools available are for the DNC 1 [14,1,13,15]. This is somewhat surprising as SNC analyses can benefit even more from tool support, because besides the analysis of larger scenarios which cannot be done manually any more there is also the issue of numerical optimization of free parameters.…”