Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69190
Título: | A component-based framework for certification of components in a cloud of HPC services |
Autor(es): | de Oliveira Dantas, Allberson Bruno de Carvalho Junior, Francisco Heron Barbosa, L. S. |
Palavras-chave: | Formal verification High-preformance computing Scientific workflows Verification-as-a-Service High Performance Computing Software components |
Data: | Jun-2020 |
Editora: | Elsevier 1 |
Revista: | Science of Computer Programming |
Citação: | de Oliveira Dantas, A. B., de Carvalho Junior, F. H., & Barbosa, L. S. (2020). A component-based framework for certification of components in a cloud of HPC services. Science of Computer Programming, 191, 102379 |
Resumo(s): | HPC Shelfis 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 onHPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems ofHPC Shelfbehave 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/69190 |
DOI: | 10.1016/j.scico.2019.102379 |
ISSN: | 0167-6423 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S0167642318300807 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |