Abstract
Embedded real-time systems are more and more distributed communicating systems. Then, to ensure correctness of application, respect of task dead-line must be ensured, but communication delays must also be bounded. Network calculus is a theory designed to compute such bounds (it have been successfully applied on A380 AFDX backbone). In order to disseminate, and to experiment new results, a tool is needed. Unlike other tools, its purposes are to be open, to allow the user to see the class of function manipulated (sub-additive, star-shaped, concave), the theorems used to get results, etc. To get a code as close as possible to the mathematical context, we chose to use a rewriting language, Maude.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity, An algebra for discrete event systems. John Wiley and Son, Chichester (1992) ISBN: 978-0471936091, http://cermics.enpc.fr/~cohen-g//SED/book-online.html
Bisti, L., Lenzini, L., Mingozzi, E., Stea, G.: DEBORAH: a tool for worst-case analysis of FIFO tandems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 210–226. Springer, Heidelberg (2010)
Boyer, M., Navet, N., Olive, X., Thierry, E.: The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with network calculus. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 6415, pp. 180–194. Springer, Heidelberg (2010)
Boyer, M.: NC-maude home page, http://www.onera.fr/staff/marc-boyer/tools.php
Boyer, M.: NC-maude: maude for computation of worst bounds on real-time (embedded) networks. Technical Report 1/16417, ONERA (2010)
Bouillard, A., Thierry, É.: An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems 17(4) (October 2007), http://www.springerlink.com/content/876x51r6647r8g68/
Chang, C.-S.: Performance Guarantees in communication networks. In: Telecommunication Networks and Computer Systems. Springer, Heidelberg (2000)
COINC home page, http://www.istia.univ-angers.fr/~lagrange/software.php
Cruz, R.L.: A calculus for network delay, part I: Network elements in isolation. IEEE Transactions on Information Theory 37(1), 114–131 (1991)
Cruz, R.L.: A calculus for network delay, part II: Network analysis. IEEE Transactions on Information Theory 37(1), 132–141 (1991)
The DISCO network calculator home page, http://disco.informatik.uni-kl.de/content/Network_Calculator
Grieu, J.: Analyse et évaluation de techniques de commutation Ethernet pour l’interconnexion des systèmes avioniques. PhD thesis, Institut National Polytechnique de Toulouse (INPT), Toulouse (Juin 2004)
Gollan, N., Zdarsky, F.A., Martinovic, I., Schmitt, J.B.: The DISCO Network Calculator. In: 14th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, Germany, GI/ITG (March 2008)
Le Boudec, J.-Y., Thiran, P.: Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001), http://lrcwww.epfl.ch/PS_files/NetCal.htm
Lenzini, L., Martorini, L., Mingozzi, E., Stea, G.: Tight end-to-end per-flow delay bounds in fifo multiplexing sink-tree network. Performance Evaluations 63, 956–987 (2005)
Lenzini, L., Mingozzi, E., Stea, G.: Delay bounds for FIFO aggegates: a case study. Computer Communications 28, 287–299 (2004)
Lenzini, L., Mingozzi, E., Stea, G.: End-to-end delay bounds in fifo-multiplexing tandems. In: Glynn, P. (ed.) Proc. of the 2nd International Conference on Performance Evaluation Methodologies and Tools (ValueTool 2007), Nantes, France, October 23-25, ICST (2007)
Pegase home page (2010), http://sites.onera.fr/pegase
RealTime-at-Work. Realtime-at-work home page, http://www.realtimeatwork.com
Schiøler, H.: CyNC home page, http://www.control.auc.dk/~henrik/CyNC/
Scilab consortium. Scilab hme page, http://www.scilab.org
Schiøler, H., Jessen, J.J., Dalsgaard, J., Larsen, K.G.: Network calculus for real time analysis of embedded systems with cyclic task dependencies. In: Proceedings of the 20th Int. Conf. on Computers and Their Applications (CATA 2005), pp. 326–332 (2005)
Schiøler, H., Nielsen, J.D., Larsen, K.G., Jessen, J.: CyNC: A method for real time analysis of systems with cyclic data flows. Journal of Embedded Computing 2(3-4), 347–360 (2006)
Schmitt, J.B., Zdarsky, F.A.: The DISCO network calculator - a toolbox for worst case analysis. In: Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006), Pisa, Italy. ACM, New York (November 2006)
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS), pp. 101–104 (2000)
Thiele, L., Stoimenov, N.: Modular performance analysis of cyclic dataflow graphs. In: EMSOFT 2009: Proceedings of the 9th ACM International Conference on Embedded software, Grenoble, France, pp. 127–136 (2009)
Wandeler, E., Thiele, L.: Real-Time Calculus (RTC) Toolbox (2006), http://www.mpa.ethz.ch/Rtctoolbox
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boyer, M. (2010). NC-Maude: A Rewriting Tool to Play with Network Calculus. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16558-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-16558-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16557-3
Online ISBN: 978-3-642-16558-0
eBook Packages: Computer ScienceComputer Science (R0)