LOTOS実行系の性能評価

概要

論文の詳細を見る
LOTOS is a Formal Description Technique standardized by ISO. It is useful for specifying distributed systems, such as OSI. We have developed a LOTOS Execution System which can derive an implementation from a specification in LOTOS. The derived implementation has to achieve high performance, because our purpose is to use the implementation as an actual system. The performance of the implementation strongly depends on the speed of the mechanism handling the multi-way synchronization among LOTOS processes. This paper discusses the performance of our system, thereby focussing on the performance of the synchronization. It presents performance results obtained by using small specifications, each containing different patterns of synchronization. At the Technical University of Madrid, similar performance measurements have been carried out for another LOTOS execution system, named the TOPO compiler. In this paper our results are also compared with the performance results of the TOPO compiler.
一般社団法人情報処理学会の論文
1993-03-01