Derivation and verification of parallel components for the needs of an HPC cloud

Abstract

Cloud computing platforms are considered a promising approach for provision of High Performance Computing services. HPC Storm is an ongoing research project that is proposing a component-oriented view of HPC resources in a cloud, towards the development and provision of large-scale parallel computing systems. In this context, a system of contracts have been proposed for representing functional and non-functional properties of components. This paper is interested in evaluating the use of the Circus specification language for specifying the functional and behavioral subset of computational component contracts. For that, a process is proposed for their development and some case studies with real programs in the HPC domain are used to validate it in practice. © 2013 Springer-Verlag.