2024-03-29T21:54:11Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000262302024-03-29T05:26:34Z01164:01867:01926:01930
LOTOSの時間拡張に関する研究とその標準化動向についてSurvey of the Research works regarding Time enhancement for LOTOS and Introduction of its International Standardization activityjpnhttp://id.nii.ac.jp/1001/00026230/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=26230&item_no=1&attribute_id=1&file_no=1Copyright (c) 1994 by the Information Processing Society of Japan静岡大学工学部静岡大学工学部静岡大学工学部中野, 宣政渡辺, 尚水野, 忠則現行LOTOSの時間拡張として、JTCl/SC21よりこのほど発行された、ワーキングドラフトに関しその内容を紹介し、また、過去に発表のあった拡張案より、異なるポリシーに基づく主張を合わせて紹介するとともに、それに対する筆者等の見解を示す。論点としては、基本的にイベントか、プロセスか、いずれに時間属性を与えるか、その与え方が問題となること、また、時間付与に基づく必然として、平行プロセスにおけるインターリービングの可能性に関する規定をどうとるかが問題となる。いずれに関しても、本ワーキングドラフトの選択とその論理は、種々のポリシーの一つの選択の結果にすぎないと言えるが、筆者等の目指すタイムクリティカル通信に関する仕様記述に必要な特性を有していると判断する。In this paper, the contents of JTC1/SC21 Working Draft for Time enhanced LOTOS is introduced relating to other papers which select and apply the different key ideas based on the different policies for Time enhancement of LOTOS, and also our opinions for these selection are described together. The points of argument are, first, to what object (it means whether to Event, or to Process, or to both) to endow the time characteristics, and second, the method how to endow it. And the next important argument regarding Time enhancement of LOTOS is the selection of the prescription for Interleaving of parallel process. It is true that this Working Draft is based on the choices for those selections mentioned above and describes prescriptions and deduced definitions based on these choices of the Policy, however, in our opinion these methods and characteristics derived from this paper are adequate for the definition and description of TCCA (Time Critical Architecture) and systems especially for the systems and the architecture relating to Factory Automation arena.AN10444176情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS)199439(1994-OS-064)1571621994-05-192009-06-30