Advertisement

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.

Keywords

Network Element Java Code Delay Bound Arrival Curve Network Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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