Advertisement

Expression of Time and Duration Constraints in SDL

  • Susanne Graf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2599)

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.

Keywords

Semantic Model Communication Delay Semantic Level Atomic Step Time Progress 
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. [1]
    F. Bause, P. Buchholz “Qualitative and quantitative analysis of timed SDL specifications”Google Scholar
  2. [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 1999Google Scholar
  3. [3]
    J.-L. Roux “SDL Performance analysis with ObjectGeode”, Workshop on performance and time in SDL, 1998Google Scholar
  4. [4]
    Mitschele-Thiehl A., Slomka F., “A methodology for hardware/software co-design of real time systems with SDL/MSC” Computer Networks 31, 1999Google Scholar
  5. [5]
    M. Malek “PerfSDL: Interface to protocol performance analysis by means of simulation” Proceedings of SDL Forum 99Google Scholar
  6. [6]
    Stefan Leue “Specifying Real-time requirements for SDL specifications” PSTV’95Google Scholar
  7. [7]
    B. Algayres, Y. Lejeune, F. Hugonnet, “GOAL: Observing SDL behaviors with Geode”. Proceedings of SDL Forum 95.Google Scholar
  8. [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. [9]
    I. Ober, B. Coulette, A. Kerbrat “Timed SDL Simulation and specification”, technical report Telelogic Technologies Toulouse, 2000Google Scholar
  10. [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, 1999Google Scholar
  11. [11]
    J-M Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya, “Integrating Schedulability Analysis and Design Techniques in SDL”, Real Time Systems JournalGoogle Scholar
  12. [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 AprilGoogle Scholar
  13. [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. [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. [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. [16]
    ObjectGeode 4-1 Reference Manual. Telelogic Technologies Toulouse. See also http://www.telelogic.com
  17. [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, 2001Google Scholar
  18. [18]
    TAU toolset documentation, see http://www.telelogic.com
  19. [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. [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. [22]
    S. Bornot, J. Sifakis and S. Tripakis, Modeling Urgency in Timed Systems, International Symposium: Compositionality-The Significant Difference, Malente (Holstein, Germany), 1998, LNCS Vol. 1536Google Scholar
  22. [23]
    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, 1992Google Scholar
  23. [24]
    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, 1994Google Scholar
  24. [25]
    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. [26]
    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, 1997Google Scholar
  26. [27]
    Recommendation Z100; Specification and Description Language (SDL). ITU, Standardization sector, November 1999Google Scholar
  27. [28]
    Y. Gurevich “Draft of the ASM Guide”, Technical Report University of Michigan, 1997Google Scholar
  28. [29]
    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 2000Google Scholar
  29. [30]
    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), ElsevierGoogle Scholar
  30. [31]
    G. Berry, G. Gonthier. “The Esterel synchronous programming language: design, semantics, implementation”. In Science of Computer Programming, 19(2), Elsevier, 1992Google Scholar
  31. [33]
    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. [34]
    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 2001Google Scholar
  33. [35]. [AHP96]
    [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, 1996Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Susanne Graf
    • 1
  1. 1.VerimagGrenobleFrance

Personalised recommendations