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.
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.
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.
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.
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.
Puschner, P., and Burns, A. 2000. A review of worst-case execution-time analysis. Real-Time Systems Journal 18(2/3): 115-129.
Powel, B. 1999. Real-Time UML. Addison-Wesley, Reading, MA.
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.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1022804400802