Title :
Formal Modeling of Parallel System Based on TCPN
Author :
Cheng, Bin ; Wang, Xingang ; Tong, Weiqin
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
Abstract :
Correctness and performance are the principal requirement of a parallel system. Due to the complicated and uncertainty, it is necessary to model it. A hierarchical TCPN model proposed in this paper can investigate on various levels of abstraction and analyze concerning performance, functional validity and correctness. It describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes.
Keywords :
Petri nets; formal verification; parallel programming; formal modeling; functional validity; parallel program; parallel system; timed coloured Petri net; Algorithm design and analysis; Communication system software; Concurrent computing; Educational institutions; Hardware; Mathematics; Parallel processing; Performance analysis; Physics; Uncertainty; Timed Coloured Petri Net; formal; parallel system;
Conference_Titel :
Network and Parallel Computing, 2009. NPC '09. Sixth IFIP International Conference on
Conference_Location :
Gold Coast, QLD
Print_ISBN :
978-1-4244-4990-3
Electronic_ISBN :
978-0-7695-3837-2
DOI :
10.1109/NPC.2009.36
