Abstract
The usage of formal description techniques (FDTs), and specifically SDL, has arisen as a promising way of dealing with the increasing complexity of embedded real time distributed systems. An important issue that must be taken into account is the predictability of the temporal behaviour of this kind of system including communications. In this sense, RT-CORBA is an interesting alternative as a middleware for real time distributed applications because, unlike standard CORBA, it guarantees predictable temporal response on particular invocations to remote objects and assures a bounded priority inversion. In order to control the predictability of the complete system we propose the design in SDL of RT-CORBA. It provides three important results: first, it is possible to include the behaviour of the communication middleware in the design of the applications and then the simulation of the whole system can be carried out; second, the implementation stage is simplified because the integration of the RT-CORBA middleware allows generation of code from the design; finally, a schedulability analysis for real time distributed systems can be included reducing the development time. In order to apply our proposal we present the design in SDL of a nuclear power plant simulator.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ITU-T Z.100: Specification and Description Language (SDL). International Telecommunication Union (2002)
Telelogic TAU SDL Manuals (2004)
Object Management Group: RealTime-CORBA Specification, Version 2.0, 03-11-01 (2003)
Doldi, L.: SDL Illustrated - Visually design executable models (2001)
Alvarez, J.M., Diaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology. In: SDL 1999 The Next Millennium, 9th SDL Forum, pp. 241–256 (1999)
Tindell, K., Burns, A., Wellings, A.: Calculating Controller Area Network (CAN) Message Response Times. In: IFAC DCCS 1994, Toledo, Spain, pp. 35–40 (1994)
Bozga, M., Graf, S., Kerbrat, A., Mounier, L., Ober, I., Vincent, D.: SDL for Real-Time: What is Missing. In: SDL and MSC (SAM 2000), Grenoble, France (2000)
Graf, S.: Expression of time and duration constraints in SDL. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 38–52. Springer, Heidelberg (2003)
Mitschele-Thiel, A., Müller-Clostermann, B.: Performance Engineering of SDL/MSC Systems. In: Tutorial of the 8th SDL Forum, Amsterdam, Netherlands (September 1997)
Spitz, S., Slomka, F., Dörfel, M.: SDL*- An Annotated Specification Language for Engineering Multimedia Communication. In: 6th Open Workshop on High Speed, Stuttgart, Germany (October 1997)
Dulz, W., Grughl, S., Kerber, L., Söllner, M.: Early Performance Prediction of SDL/MSC Specified Systems by Automatic Synthetic Code Generation. In: SDL 1999 The Next Millennium, 9th SDL Forum, pp. 457–473 (1999)
Münzenberger, R., Slomka, F., Dörfel, M., Hofmann, R.: A general approach for the specification of real-time systems with SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 203–223. Springer, Heidelberg (2001)
Geppert, B., Gozthein, R., Robler, F.: Configuring Communication Protocols using SDL patterns. In: SDL 1997 Time for Testing, SDL, MSC, and Trends. 8th SDL Forum (1997)
Olsen, A., Demany, D., Cardoso, E., Lodge, et al.: The Pros and Cons of Using SDL for Creation of distributed Services. In: Intelligence in Services and Networks, pp. 342–354 (1999)
Mahimkar, A.: Modeling of software radio aspects by mapping of SDL and CORBA. In: 4th Int. Workshop on Mobile and Wireless Communications Network 2002, pp. 646–650 (2002)
ITU recommendation Z.130: Extended Object Definition Language (eODL)
Alvarez, J.M., Diaz, M., Llopis, L., Pimentel, E., Troya, J.M.: An Object Oriented Methodology for Embedded Real-Time Systems. The Computer Journal 46(2) (2003)
Object Management Group: The Common Object Request Broker: Architecture and Specification, 2.6 ed. (December 2001)
Pyarali, I., Schmidt, D.C., Cytron, R.K.: Techniques for Enhancing Real-time CORBA Quality of Service. In: 8th IEEE Real-Time and Embedded Technology and Applications Symposium, California, USA, (September 2002)
Díaz, M., Garrido, D.: Applying RT-CORBA in Nuclear Power Plant Simulators. In: 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), pp. 7–14. IEEE Computer Society, Vienna (2004)
Levine, D.L., Mungee, S., Schmidt, D.C.: The Design of the TAO Real-Time Object Request Broker. Computer Communications 21, 294–324 (1998)
Lankes, S., Jabs, A., Bemmerl, T.: Integration of a CAN-based Connection-oriented Communication Model into Real-Time CORBA. In: IEEE International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France (April 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Díaz, M., Garrido, D., Llopis, L., Troya, J.M. (2005). Integrating RT-CORBA in SDL. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_4
Download citation
DOI: https://doi.org/10.1007/11506843_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26612-9
Online ISBN: 978-3-540-31539-1
eBook Packages: Computer ScienceComputer Science (R0)