Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools

Giacomo BucciContact Information, Andrea FedeliContact Information and Enrico VicarioContact Information

(5)  Dipartimento Sistemi e Informatica, Università di Firenze, Italy
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.

Contact Information Giacomo Bucci
Email: bucci@dsi.unifi.it

Contact Information Andrea Fedeli
Email: fedeli@dsi.unifi.it

Contact Information Enrico Vicario
Email: vicario@dsi.unifi.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)