文章基本信息

标题：Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
本地全文：下载
作者：Yuki Hasegawa ; Yoshinao Isobe ; Kazuhito Ohmaki 等
期刊名称：Information and Media Technologies
电子版ISSN：1881-0896
出版年度：2012
卷号：7
期号：3
页码：938-948
DOI：10.11185/imt.7.938
出版社：Information and Media Technologies Editorial Board
摘要：Communicating Sequential Processes (CSP) based architecture is regarded as a useful method in the development of concurrent embedded systems. Products around us are embedded in many computer systems. Concurrent processing by software is necessary in multi-core and multi-processor environments to make more effective use of hardware resources. There is strong demand for hierarchy, resource constraints, and safety for implementation of embedded systems. We implemented a sorting model as a concurrent system in an experiment. We tried to design, implement, and verify concurrent sorting model with CSP based architecture. In this study, we try to parallelize of sorting as the subject of embedded systems for implementing. Because sorting has been widely studied, it is suitable as the subject of parallelization. We also evaluated the system. We will consider the usefulness of CSP, which we present in this paper, using examples of development.
关键词：concurrent sorting;CSP architecture;embedded systems;formal methods