Title :
Specification and design of distributed hard real-time systems
Author :
Tepedino, P.R.P. ; Kirner, Tereza Goncalves
Author_Institution :
Sao Paulo Univ., Brazil
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;
Conference_Titel :
Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on
Conference_Location :
San Remo
Print_ISBN :
0-8186-7031-2
DOI :
10.1109/EMPDP.1995.389133
