loading...
Formal Description of Real-time Systems using SDL
Hong Kong, China December 13-December 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811221Sixth International Conference on Rea ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Mohamed Ashour, Concordia University
Ferhat Khendek, Concordia University
Tho Le-Ngoc, Concordia University
The Specification and Description Language (SDL), promises to be a good formal language to describe real-time systems, since it has time constructs and supports modeling of distributed systems. The problem with SDL is that it does not have a clear interpretation of time and does not provide a solid description of how the model is supposed to execute in time. This poses a problem for developing tools that can simulate and verify real-time systems described with SDL. In this paper we present a technique to describe timing constraints in SDL along with our proposed semantic interpretation of these descriptions. We also present a method to understand how such an SDL description will run in time, and how simulation runs can be produced from the model. As an illustrative example, we use our description technique and interpretation of time to describe a Rail Road Crossing in SDL, and we provide a time simulation run. Finally, we will discuss the effect of this time semantics on the simulation and verification of SDL descriptions. We also discuss some missing functionalities regarding time description of communication systems using SDL.
Citation:
Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc, "Formal Description of Real-time Systems using SDL," rtcsa, pp.190, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.