Skip to main content
SpringerLink
Log in

Expression of Time and Duration Constraints in SDL

  • Conference paper
  • First Online:
Telecommunications and beyond: The BroaderApplicability of SDL and MSC (SAM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2599))

Included in the following conference series:

Abstract

In this paper we give an overview on a set of time related features, useful in the context of real-time system design and classify them into two categories, those needed for modelling of non functional aspects and analysis, and those needed for functional design. We allow the distinction between functional and non functional timing aspects of a specification. We show how these features are represented at the semantic level with a minimal number of primitives.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bause, P. Buchholz “Qualitative and quantitative analysis of timed SDL specifications”

    Google Scholar 

  2. Spitz S., Slomka F., Dörfel M. “SDL*-an annotated specification language for engineering multimedia communication systems” Workshop on high speed networks, Stuttgart, October 1999

    Google Scholar 

  3. J.-L. Roux “SDL Performance analysis with ObjectGeode”, Workshop on performance and time in SDL, 1998

    Google Scholar 

  4. Mitschele-Thiehl A., Slomka F., “A methodology for hardware/software co-design of real time systems with SDL/MSC” Computer Networks 31, 1999

    Google Scholar 

  5. M. Malek “PerfSDL: Interface to protocol performance analysis by means of simulation” Proceedings of SDL Forum 99

    Google Scholar 

  6. Stefan Leue “Specifying Real-time requirements for SDL specifications” PSTV’95

    Google Scholar 

  7. B. Algayres, Y. Lejeune, F. Hugonnet, “GOAL: Observing SDL behaviors with Geode”. Proceedings of SDL Forum 95.

    Google Scholar 

  8. M. Dörfel, W. Dulz, SHIELAR. Hofmann, and R. Münzenberger: “SDL and non-functional requirement”. Internal Report IMMD7 05/01, University of Erlangen, August 20, 2001.

    Google Scholar 

  9. I. Ober, B. Coulette, A. Kerbrat “Timed SDL Simulation and specification”, technical report Telelogic Technologies Toulouse, 2000

    Google Scholar 

  10. Alvarez J. M, Diaz M., Llopis L. M., Pimentel E., Troya J. M. “Embedded Real-time Systems Development using SDL”, IEEE Real-time Symposium, 1999

    Google Scholar 

  11. J-M Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya, “Integrating Schedulability Analysis and Design Techniques in SDL”, Real Time Systems Journal

    Google Scholar 

  12. J-M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya., “Deriving Hard-Real Time Embedded Systems Implementations Directly from SDL Specifications”, CODES’01: 9th International Symposium on Hardware/Software Codesign. 25-27 April

    Google Scholar 

  13. F. Slomka, M. Dörfel, R. Münzenberger, R. Hofmann. Hardware/Software Codesign and Rapid-Prototyping of Embedded Systems. IEEE Design & Test of Computers, Special issue: Design Tools for Embedded Systems, Vol. 17, No. 2, April–June 2000.

    Google Scholar 

  14. M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober and D. Vincent. SDL for real-time: what is missing? Proceedings of SDL & MSC Workshop, Grenoble, June 2000.

    Google Scholar 

  15. M. Bozga, S. Graf, L. Mounier, I. Ober, J-L. Roux and D. Vincent. Timed Extensions for SDL. Proceedings of SDL Forum 2001, LNCS 2078, June 2001.

    Google Scholar 

  16. ObjectGeode 4-1 Reference Manual. Telelogic Technologies Toulouse. See also http://www.telelogic.com

  17. I. Ober Spéfication et Validation de Systès Temporiséavec des Langages de description formelle: éde et mise en œre (en English), PhD Thesis, Toulouse, 2001

    Google Scholar 

  18. TAU toolset documentation, see http://www.telelogic.com

  19. M. Diefenbruch, E. Heck, J. Hintelmann, and B. Müller-Clostermann. “Performance evaluation of SDL systems adjunct by queuing models” Proc. of SDL-Forum’ 95, 1995.

    Google Scholar 

  20. M. Bozga, S. Graf, L. Mounier, Automated validation of distributed software using the IF environment, 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001)

    Google Scholar 

  21. S. Bornot, J. Sifakis and S. Tripakis, Modeling Urgency in Timed Systems, International Symposium: Compositionality-The Significant Difference, Malente (Holstein, Germany), 1998, LNCS Vol. 1536

    Google Scholar 

  22. T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, “Symbolic model checking for realtime systems”, Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1992

    Google Scholar 

  23. R. Alur, T. A. Henzinger, “Real-time system = discrete system + clock variables”, Theories and Experiences for Real-time System Development, AMAST Series in Computing 2, 1994

    Google Scholar 

  24. K. Altisen, G. Gössler and J. Sifakis. “A Methodology for the Construction of Scheduled Systems” FTRTFT 2000, Pune, India, September 2000, LNCS 1926, pp.106–120.

    Google Scholar 

  25. S. Bornot, G. Gössler and J. Sifakis. “On the Construction of Live Systems”. TACAS 2000, LNCS 1785 [BL97] H. Ben-Abdalla, S. Leue, “Expressing and analysing timing constraints in message sequence chart specifications”, technical report, U. of Waterloo, 1997

    Google Scholar 

  26. Recommendation Z100; Specification and Description Language (SDL). ITU, Standardization sector, November 1999

    Google Scholar 

  27. Y. Gurevich “Draft of the ASM Guide”, Technical Report University of Michigan, 1997

    Google Scholar 

  28. R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz, “On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines”. Proc. ASM 2000, Int. Workshop on Abstract State Machines, Switzerland, March 2000

    Google Scholar 

  29. M. Bozga, J. Cl. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, L. Mounier, IF: An Intermediate Representation for SDL and its Applications, Proceedings of SDL-Forum’99 (Montreal, Canada), Elsevier

    Google Scholar 

  30. G. Berry, G. Gonthier. “The Esterel synchronous programming language: design, semantics, implementation”. In Science of Computer Programming, 19(2), Elsevier, 1992

    Google Scholar 

  31. R. Münzenberger, F. Slomka, M. Dörfel, R. Hofmann. A General Approach for the Specification of Real-Time Systems with SDL. In R. Reed and J. Reed (Eds.), Proc. of the 10th International SDL Forum, Springer LNCS 2078. 2001.

    Google Scholar 

  32. E. Closse, M. Poize, J. Pulou J. Sifakis, P. Venier, D. Weil, S. Yovine “TAXYS: a Tool for the Development and Verification of Real-Time Embedded Systems”, CAV 2001

    Google Scholar 

  33. [35] Response to the OMG RFP for Schedulability, Performance, and Time, OMG document number: ptc/2002-03-02. [AHP96]_R. Alur, G. Holzmann, D. Peled, “An analyser for message sequence charts”, TACAS’96, Lecture Notes in Computer Science Vol 1055, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Verimag, Grenoble, France

    Susanne Graf

Authors
  1. Susanne Graf
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Wales, Penglais, Aberystwyth, Ceredigion, SY23 3DB, Wales, UK

    Edel Sherratt

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Graf, S. (2003). Expression of Time and Duration Constraints in SDL. In: Sherratt, E. (eds) Telecommunications and beyond: The BroaderApplicability of SDL and MSC. SAM 2002. Lecture Notes in Computer Science, vol 2599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36573-7_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-36573-7_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00877-4

  • Online ISBN: 978-3-540-36573-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation