DocumentCode
2572727
Title
Specification and design of distributed hard real-time systems
Author
Tepedino, P.R.P. ; Kirner, Tereza Goncalves
Author_Institution
Sao Paulo Univ., Brazil
fYear
1995
fDate
25-27 Jan 1995
Firstpage
280
Lastpage
287
Abstract
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
Keywords
distributed processing; formal specification; graph theory; real-time systems; HRTS; distributed hard real-time systems; graph-based model; integrated approach; pre run time scheduling; software design; specification; Application software; Control systems; Economic forecasting; Humans; Programming; Real time systems; Robot control; Safety; Software design; Traffic control;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on
Conference_Location
San Remo
Print_ISBN
0-8186-7031-2
Type
conf
DOI
10.1109/EMPDP.1995.389133
Filename
389133
Link To Document