DocumentCode :
1984745
Title :
Advances in ITRON specifications-supporting multiprocessor and distributed systems
Author :
Takada, Hiroaki ; Sakamura, Ken
Author_Institution :
Dept. of Inf. Sci., Tokyo Univ., Japan
fYear :
1992
fDate :
2-4 Dec 1992
Firstpage :
89
Lastpage :
95
Abstract :
The design policies and overviews of the extended ITRON specifications supporting distributed systems and multiprocessor systems under investigation are described. Wide applicability and high run-time performance are primary goals of these extended specifications, which are realized by inheriting the design policy of the original specification that excessive virtualization of hardware should be avoided. The authors review the design policies of the ITRON specifications, and present how the policies are incorporated in the extended specifications. The extensions expand the application areas of ITRON and make important steps towards the realization of HFDS, which is the final goal of the TRON Project
Keywords :
formal specification; multiprocessing systems; operating systems (computers); HFDS; OS; design policies; distributed systems; extended ITRON specifications; high run-time performance; highly functional distributed system; industrial TRON; multiprocessor systems; Computer networks; Hardware; Humans; Information science; Intelligent networks; Kernel; Multiprocessing systems; Operating systems; Productivity; Runtime;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
TRON Project Symposium, 1992. Proceedings., Ninth
Conference_Location :
Tokyo
ISSN :
1063-6749
Print_ISBN :
0-8186-2990-8
Type :
conf
DOI :
10.1109/TRON.1992.313264
Filename :
313264
Link To Document :
بازگشت