loading...
Specification and design of distributed hard real-time systems
San Remo, Italy January 25-January 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.3891333rd Euromicro Workshop on Parallel an ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
P.R.P. Tepedino, T.G. Kirner, "Specification and design of distributed hard real-time systems," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 280, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995.
 
 
BibTex
x
 
@article{ 10.1109/EMPDP.1995.389133,
author = {P.R.P. Tepedino and T.G. Kirner},
title = {Specification and design of distributed hard real-time systems},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {1995},
issn = {1066-6192},
pages = {280},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389133},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Specification and design of distributed hard real-time systems
SN - 1066-6192
SP
EP
A1 - P.R.P. Tepedino,
A1 - T.G. Kirner,
PY - 1995
KW - formal specification; real-time systems; distributed processing; graph theory; distributed hard real-time systems; integrated approach; specification; software design; graph-based model; pre run time scheduling; HRTS
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
P.R.P. Tepedino, Sao Paulo Univ., Brazil
T.G. Kirner, Sao Paulo Univ., Brazil
The paper presents an integrated approach for specification and design of software for distributed hard real-time systems. The approach adopts a graph-based model, combined with a pre run time scheduling. This gives important features to the approach, making possible the solution of crucial questions along the development of these systems.
Index Terms:
formal specification; real-time systems; distributed processing; graph theory; distributed hard real-time systems; integrated approach; specification; software design; graph-based model; pre run time scheduling; HRTS
Citation:
P.R.P. Tepedino, T.G. Kirner, "Specification and design of distributed hard real-time systems," pdp, pp.280, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.