Table of Contents

1. Basic Model: Single Server, Single Flow.

Part 1. (min,plus) Functions and Algorithms
2. The (min,plus) Functions Semi-ring.
3. Sub-classes of Functions.
4. Efficient Computations for (min,plus) Operators.

Part 2. Network Calculus: Local Analysis
5. Network Calculus Basics: a Server Crossed by a Single Flow.
6. Single Flow Crossing Several Servers.
7. Multiple Flows Crossing One Server.
8. Packets.
9. A Hierarchy of Service Curves.

Part 3. Network Calculus: Global Analysis
10. Modular Analysis: Computing with Curves.
11. Tight Worst-case Performances.
12. Stability in Networks with Cyclic Dependencies.

About the Author

Anne Bouillard is a Research Engineer at Nokia-Bell Labs, France. From 2006 to 2010, she was Associate Professor at ENS Paris-Saclay, France. Her main research interests are discrete event systems, performance evaluation and probabilities.

Marc Boyer is a Researcher at ONERA, France, and he regularly cooperates with Airbus on research projects. Previously, he was Assistant Professor at INPT, France, and his main research focuses on worst-case performance in avionic embedded networks.

Euriell Le Corronc is Assistant Professor at Paul Sabatier University, France. Her main research interests are discrete event systems, (max,plus) algebra and network diagnosis.