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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BCGQ92]
    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 MATHGoogle Scholar
  2. [BLMS10]
    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)Google Scholar
  3. [BNOT10]
    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)Google Scholar
  4. [Boy]
    Boyer, M.: NC-maude home page, http://www.onera.fr/staff/marc-boyer/tools.php
  5. [Boy10]
    Boyer, M.: NC-maude: maude for computation of worst bounds on real-time (embedded) networks. Technical Report 1/16417, ONERA (2010)Google Scholar
  6. [BT07]
    Bouillard, A., Thierry, É.: An algorithmic toolbox for network calculus. Discrete Event Dynamic Systems 17(4) (October 2007), http://www.springerlink.com/content/876x51r6647r8g68/
  7. [Cha00]
    Chang, C.-S.: Performance Guarantees in communication networks. In: Telecommunication Networks and Computer Systems. Springer, Heidelberg (2000)Google Scholar
  8. [COI]
  9. [Cru91a]
    Cruz, R.L.: A calculus for network delay, part I: Network elements in isolation. IEEE Transactions on Information Theory 37(1), 114–131 (1991)MathSciNetCrossRefMATHGoogle Scholar
  10. [Cru91b]
    Cruz, R.L.: A calculus for network delay, part II: Network analysis. IEEE Transactions on Information Theory 37(1), 132–141 (1991)MathSciNetCrossRefMATHGoogle Scholar
  11. [DIS]
    The DISCO network calculator home page, http://disco.informatik.uni-kl.de/content/Network_Calculator
  12. [Gri04]
    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)Google Scholar
  13. [GZMS08]
    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)Google Scholar
  14. [LBT01]
    Le Boudec, J.-Y., Thiran, P.: Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001), http://lrcwww.epfl.ch/PS_files/NetCal.htm MATHGoogle Scholar
  15. [LMMS05]
    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)CrossRefGoogle Scholar
  16. [LMS04]
    Lenzini, L., Mingozzi, E., Stea, G.: Delay bounds for FIFO aggegates: a case study. Computer Communications 28, 287–299 (2004)CrossRefGoogle Scholar
  17. [LMS07]
    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)Google Scholar
  18. [PEG10]
    Pegase home page (2010), http://sites.onera.fr/pegase
  19. [Rea]
    RealTime-at-Work. Realtime-at-work home page, http://www.realtimeatwork.com
  20. [Sch]
    Schiøler, H.: CyNC home page, http://www.control.auc.dk/~henrik/CyNC/
  21. [Sci]
    Scilab consortium. Scilab hme page, http://www.scilab.org
  22. [SJDL05]
    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)Google Scholar
  23. [SNLJ06]
    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)Google Scholar
  24. [SZ06]
    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)Google Scholar
  25. [TCN00]
    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)Google Scholar
  26. [TS09]
    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)Google Scholar
  27. [WT06]
    Wandeler, E., Thiele, L.: Real-Time Calculus (RTC) Toolbox (2006), http://www.mpa.ethz.ch/Rtctoolbox

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Marc Boyer
    • 1
  1. 1.ONERAToulouseFrance

Personalised recommendations