Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
スポンサーリンク
概要
- 論文の詳細を見る
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.
著者
-
Tsuchida Kensei
Toyo Univ.
-
Shiono Yasunori
Toyo University
-
ISOBE Yoshinao
National Institute of Advanced Industrial Science and Technology
-
Hasegawa Yuki
Toyo University
-
Ohmaki Kazuhito
Toyo University
-
Mori Hideki
Toyo University
関連論文
- Nicely Drawing Tree-Structured Diagrams on the Euclidian Plane
- Automatic Generation of XML Files and Their Database Registration from Tabular Form Specifications
- Highly Efficient Transport Protocol for Large Capacity Data Files and its details
- Highly Efficient Transport Protocol for Large Capacity Data Files and its details
- Automatic Generation of XML Files and Their Database Registration from Tabular Form Specifications
- Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
- Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
- CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems