Institutional Login
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
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book Chapter
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 2708/2003
Book
SDL 2003: System Design
DOI
10.1007/3-540-45075-0
Copyright
2003
ISBN
978-3-540-40539-9
DOI
10.1007/3-540-45075-0_12
Page
157
Subject Collection
Computer Science
SpringerLink Date
Wednesday, January 01, 2003
Add to marked items
Add to shopping cart
Add to saved items
Permissions & Reprints
Recommend this chapter
PDF (382.4 KB)
Free Preview
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools
Giacomo Bucci
5
, Andrea Fedeli
5
and Enrico Vicario
5
(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.
Giacomo
Bucci
Email:
bucci@dsi.unifi.it
Andrea
Fedeli
Email:
fedeli@dsi.unifi.it
Enrico
Vicario
Email:
vicario@dsi.unifi.it
Fulltext Preview (Small,
Large
)
References secured to subscribers.
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Export this chapter
Export this chapter as
RIS
|
Text
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.109 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)