Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11443
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
Issue Date: 2020
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
URI: http://repositorio.inesctec.pt/handle/123456789/11443
http://dx.doi.org/10.1016/j.scico.2019.102379
metadata.dc.type: Publication
article
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00R-PEX.pdf2.3 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.