Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids Pune, India September 11-September 15 ISBN: 0-7695-2678-0
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.1
A strategy for exploring distributed state spaces using computational grids that run bag-of-task applications is discussed. The main idea is to use computational grid tools as a layer between the verification tool and the distributed shared resources, aggregating the vast background developed by researchers in grid computing. Hence, the computational grid deals with resource scalability, computational speedup, and reliability in a transparent manner for the verification tool. Experimental results using a state space generation tool for an object-oriented Petri nets and the OurGrid solution show that is possible to achieve speedup applying it to a private network environment. Moreover, when a wide distributed community is considered, the model size can be increased several times.
Citation:
C?assio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton D. S. Guerrero, "A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids," sefm, pp.226-235, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb