Abstract
The Specification and Description Language (SDL) and its supporting CASE tools have a major potential for the development of real-time systems. Unfortunately, SDL does not capture either duration properties of computations or policies of pre-emptive scheduling which are commonly employed to coordinate the execution of multiple concurrent tasks. We propose an extension of SDL expressivity which can capture both the aspects through annotations in the body of comments of a standard SDL model. The annotated model, that we call modeling view can be automatically translated into a simulation view, still expressed in standard SDL, which can be composed with an SDL model of the real-time microkernel that is supposed to be employed in the target environment. Simulation of the composed model through any SDL tool reproduces a behavior which is compliant with timing and resource constraints expressed in the comments of the initial modeling view. This permits specification, documentation, and simulation of real time systems to be kept within the limits of standardized SDL capabilities.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
Telelogic SDT 4.3 manuals, 2002.
Cinderella SDL 1.2 manuals, 2002.
M. Bozga, S. Graf, L. Mounier, I. Ober, J.-L. Roux, D. Vincent. Timed extensions for SDL. Proceedings of SDL Forum 2001, 2001.
G. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers, January 1997.
S. Graf. Expression of time and duration constraints in SDL. Proc. of SAM-2002, LNCS 2599, 2003.
R. Gotzhein, U. Glässer, A. Prinz. Towards a new formal SDL semantics based on abstract state machines. SDL’ 99-The Next Millennium, 9th SDL Forum Proceedings, pages 171–190, Elsevier, 1999.
S. Bornot, J. Sifakis, S. Tripakis. Modeling urgency in timed systems. LNCS 1536, 1998.
H. Fleischhack, B. Grahlmann. A compositional petri net semantics for SDL. Int. Conf. on Application and Theory of Petri Nets, 1998.
M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier. IF: An intermediate representation and validation environment for timed asynchronous systems. World Congress on Formal Methods (1), pages 307–327, 1999.
R. Alur, D. L. Dill. Automata for modeling real-time systems. Proceedings of 17th ICALP, 1990.
B. Berthomieu, M. Diaz. Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 17, 1991.
E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 2001.
G. Bucci, A. Fedeli, E. Vicario. Timed state space analysis of fixed priority preemptive systems. Technical report, Dipartimento Sistemie Informatica, Firenze, Italy, December 2002. also submitted to IEEE Transactions on Software Engineering, September 2002.
S. Spitz, F. Slomka, M. Dörfel. SDL* an annotated specification language for engineering multimedia communication systems. Sixth Open Workshop on High Speed Networks, 1997.
R. Munzenberger, F. Slomka, M. Dörfel, R. Hofmann. A general approach for specification of real-time systems with SDL. Proceedings of 10th SDL Forum., LNCS 2078, Springer, 2001.
J.M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J.M. Troya. Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. Proceedings of 9th SDL Forum., Elsevier, 1999.
J.M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J.M. Troya. Integrating schedulability analysis and design techniques in SDL. IEEE Real Time Systems Journal, 2001.
T. Kolloch, G. Farber. Mapping an embedded hard real-time systems SDL specification to an analizable task network: a case study. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES’98), LNCS, Springer-Verlag, June 1998.
J.-Y. Chung, J.W. S. Liu, K.-J. Lin. Scheduling periodic jobs that allow imprecise results. IEEE Transactions on Computers, 1990.
G. Bucci, A. Fedeli, E. Vicario. Predicting timeliness of reactive systems under flexible scheduling. Proceedings of Int.Symph. on Autonomous Decentralized Systems, April 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bucci, G., Fedeli, A., Vicario, E. (2003). Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive