• 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