Specification and design of distributed hard real-time systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by P.R.P. Tepedino Articles by T.G. Kirner

3rd Euromicro Workshop on Parallel and Distributed Processing

San Remo, Italy

January 25-January 27

ISBN: 0-8186-7031-2

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389133

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.