Please use this identifier to cite or link to this item:
|Title:||A component-based framework for certification of components in a cloud of HPC services|
|Authors:||de Carvalho Junior,FH|
de Oliveira Dantas,ABD
Luís Soares Barbosa
|Abstract:||HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems of HPC Shelf behave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks. © 2019|
|Appears in Collections:||HASLab - Articles in International Journals|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.