A component-based framework for certification of components in a cloud of HPC services
de Oliveira Dantas, Allberson Bruno, de Carvalho Junior, Francisco Heron and Soares Barbosa, Luís, (2020). A component-based framework for certification of components in a cloud of HPC services. Science of Computer Programming, 191 n/a-n/a
Document type:
Article
Collection:
-
Sub-type Journal article Author de Oliveira Dantas, Allberson Bruno
de Carvalho Junior, Francisco Heron
Soares Barbosa, LuísTitle A component-based framework for certification of components in a cloud of HPC services Appearing in Science of Computer Programming Check publisher's open access policy Volume 191 Publication Date 2020-06 Place of Publication Amsterdam Publisher Elsevier Start page n/a End page n/a Language eng 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. Keyword verification-as-a-Service
formal verification
high performance computing
software components
scientific workflows
research line technologyCopyright Holder Elsevier B.V. Copyright Year 2020 Copyright type All rights reserved ISSN 0167-6423 DOI 10.1016/j.scico.2019.102379 -
Citation counts Search Google Scholar Access Statistics: 784 Abstract Views - Detailed Statistics Created: Thu, 11 Feb 2021, 03:30:23 JST by Mario Peixoto on behalf of UNU EGOV