Skip to main content
SpringerLink
Log in

Integrating Schedulability Analysis and Design Techniques in SDL

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

The usage of formal description techniques (FDTs) has arisen as a promising way of dealing with the increasing complexity of embedded real-time systems. However, FDTs do not take into account non-functional aspects, such as the time requirements, that are especially important in the context of this kind of system. In this paper, we present how to integrate real-time analysis in the context of the specification and description language (SDL) FDT. In order to get this integration a real-time execution model for SDL is presented to allow us to express hard real-time constraints and solve SDL real-time anomalies as priority inversion and the access to shared resources. Based on this model, a schedulability analysis for systems specifed in SDL is proposed. Additionally, a set of SDL design techniques are proposed to redesign the system to meet the imposed deadlines in case the system does not meet them. To illustrate our proposals, an example of a computerized numerical control (CNC) machine is presented.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999a. An analyzable execution model for SDL for embedded real-time systems. In Proceedings Workshop on Real-Time Programming. Elsevier, pp. 117-123.

  • Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 2000. Schedulability analysis in real-time embedded systems specified in SDL. In Proceedings Workshop on Real-time Programming. Elsevier, pp. 171-177.

  • Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999b. Integrating schedulability analysis and SDL in an object-oriented methodology. Proceedings SDL Forum. Elsevier, pp. 241-256.

  • Alvarez, J. M., Diaz, M., Llopis, L., Pimentel, E., and Troya, J. M. 1999c. Embedded real-time systems development using SDL. In Proceedings IEEE Real-Time Systems Symposium. WIP sessions. Elsevier.

  • Awad, M., Kuusela, J., and Ziegler, J. 1996. Object Oriented Technology for Real-Time Systems. Prentice Hall. Upper Saddle River, New Jersey.

    Google Scholar 

  • Burns, A., and Wellings, A. 1998. Concurrency in Ada. Cambridge University Press.

  • Burns, A., and Wellings, A. 1995. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier.

  • Colin, A., and Puaut, I. 2000. Worst case execution time analysis for a processor with branch prediction. Real-Time Systems Journal 18(2/3): 249-274.

    Google Scholar 

  • González, M., Klein, M., and Lehoczky, J. 1991. Fixed priority scheduling of periodic tasks with varying execution priorities. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 116-128.

  • ITU Recommendation Z.100. 1994. Specification and description languages (SDL).

  • ITU Recommendation Z.120. 1996. Message sequence chart (MSC).

  • Joseph, M., and Pandya, P. 1986. Finding response time in a real-time system. The Computer Journal 29(5): 390-395.

    Google Scholar 

  • Kim, N., Ryu, M., Hong, S., and Shin, H. 1999. Experimental assessment of the period calibration method: A case study. Real-Time Systems Journal 1-26.

  • Klein, M., Ralya, B., Pollak, T., Obenza, R., and Gonzalez, M. 1993. A Practitioners' Handbook for Real-Time Analysis. Kluwer Academic Publishers, Carnegie Mellon University.

  • Kolloch, T., and Farber, G. 1998. Mapping an embedded hard real-time systems sdl specification to an analyzable task network: A case study. ACM Sigplan Workshop on Languages, Compilers and Tools for Embedded Systems. Springer-Verlag, pp. 156-166.

  • Palencia, J. C., and González, M. 1999. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 328-339.

  • Powel, B. 1999. Doing hard time. Developing Real-Time Systems with UML. Addison-Wesley, Reading, MA.

    Google Scholar 

  • Puschner, P., and Burns, A. 2000. A review of worst-case execution-time analysis. Real-Time Systems Journal 18(2/3): 115-129.

    Google Scholar 

  • Powel, B. 1999. Real-Time UML. Addison-Wesley, Reading, MA.

    Google Scholar 

  • Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice Hall International Editions.

  • Saksena, M., Freedman, P., ad Rodziwicz, P. 1997. Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 240-251.

  • Saksena, M., and Karvelas, P. 2000. Designing for schedulability. Integrating schedulability analysis with object-oriented design. Proceedings Euromicro Conference on Real-Time Systems. IEEE Computer Society Press, pp. 101-104.

  • Saksena, M., Ptak, A., Freedman, P., and Rodziewicz, P. 1998. Schedulability analysis for automated implementations of real-time object oriented models. Proceedings IEEE Real Time Systems Symposium. IEEE Computer Society Press, pp. 92-102.

  • Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers 39(9): 1156-1174.

    Google Scholar 

  • Selic, B., Gullekson, G., and Ward, P. 1994. Real-Time Object Oriented Modeling. John Wiley Publisher. Telelogic. 1999. SDT 4.0 Manuals.

  • Terrier, F., and Barroca, L. 1997. Object technology and real-time: problematic and trends. Object Oriented Technology, ECOOP97, 417-433.

  • Theiling, H., Ferdinand, C., and Wilhelm, R. 2000. Fast and precise wcet predition by separated cache and path analyses. Real-Time Systems Journal 18(2/3): 157-180.

    Google Scholar 

  • Thiel, M., and Clostermann, A. 1998. Performance engineering of SDL/MSC systems. Tutorial of the 8th SDL Forum, Elsevier.

  • Wedde, H. F., Shaw, A., Zalewski, J., De la Puente, J. A., Pereira, C. E., and Babau, J. P. 2000. Panel discussion:critical issues in object oriented real time systems. Real-Time Systems Journal 69-99.

Download references

Author information

Authors and Affiliations

  1. Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain

    José M. Alvarez, Manuel Diaz, Luis Llopis, Ernesto Pimentel & José M. Troya

Authors
  1. José M. Alvarez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Diaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luis Llopis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ernesto Pimentel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. José M. Troya
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alvarez, J.M., Diaz, M., Llopis, L. et al. Integrating Schedulability Analysis and Design Techniques in SDL. Real-Time Systems 24, 267–302 (2003). https://doi.org/10.1023/A:1022804400802

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1022804400802

Search

Navigation