Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description

Author

Wang, Qiong ; Du, Chenglie ; Ma, Chunyan ; Li, Gang

Author_Institution

Coll. of Comput., Northwestern Ploytechnical Univ., Xian

Volume

3

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

363

Lastpage

369

Abstract

pi-calculus is a name-passing calculus based on CCS. It can model distributed communicating system of dynamic topo-structure. Timed distributed pi-calculus (TDpi-calculus) is presented as a rigorous framework for describing distributed systems with time and resource constraints. The real-time distributed virtual-test system in military field has the feature of different applications with different real-time requirements. TDpi-calculus is appropriate to describe such a system but need to be improved. For this purpose, we had extended the timer of TDpi-calculus in this paper. The extended TDpi-calculus can easily describe the different real-time requirements of different components or applications of the same system, as well as the data interaction between them.

Keywords

automatic test software; distributed processing; pi calculus; TD-pi calculus; distributed communicating system; distributed systems; dynamic topostructure; military field; name passing calculus; real-time distributed virtual-test system; real-time requirements; resource constraints; time constraints; timed distributed pi-calculus; Aerodynamics; Aerospace testing; Algebra; Calculus; Carbon capture and storage; Computer science; Educational institutions; Military computing; Real time systems; Software engineering; p-calculus; realtime; timed distributed p-calculus; virtual test;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.907

Filename

4722361