Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
Theoretical Computer Science
Any work-conserving policy stabilizes the ring with spatial re-use
IEEE/ACM Transactions on Networking (TON)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Safe compositional specification of networking systems
ACM SIGCOMM Computer Communication Review
Improved Schedulability Analysis of EDF on Multiprocessor Platforms
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Workload correlations in multi-processor hard real-time systems
Journal of Computer and System Sciences
DEBORAH: a tool for worst-case analysis of FIFO tandems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
| Hi-index | 0.00 |
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.