Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69408
Título: | A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC services |
Autor(es): | Dantas, A. O. Carvalho, F. H. Barbosa, L. S. |
Palavras-chave: | Formal Verification High-preformance computing Verification as a Service (VaaS) Cloud Computing Software Components Software Formal Verification High Performance Computing |
Data: | 2017 |
Editora: | SCITEPRESS – Science and Technology Publications |
Citação: | de Oliveira Dantas, A. B., de Carvalho Junior, F. H., & Barbosa, L. S. (2017). A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. In CLOSER (pp. 201-212) |
Resumo(s): | This paper addresses the verification of software components in the context of their orchestration to build cloud-based scientific applications with high performance computing requirements. In such a scenario, components are often supplied by different sources and their cooperation rely on assumptions of conformity with their published behavioral interfaces. Therefore, a faulty or ill-designed component, failing to obey to the envisaged behavioral requirements, may have dramatic consequences in practice. Certifier components, introduced in this paper, implement a verification as a service framework and are able to access the implementation of other components and verify their consistency with respect to a number of functional, safety and liveness requirements relevant to a specific application or a class of them. It is shown how certifier components can be smoothly integrated in HPC Shelf, a cloud-based platform for high performance computing in which different sorts of users can design, deploy and execute scientific applications. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/69408 |
ISBN: | 9789897582431 |
DOI: | 10.5220/0006306802290240 |
Versão da editora: | https://www.scitepress.org/papers/2017/63068/63068.pdf |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
DCB17a.pdf | 710,07 kB | Adobe PDF | Ver/Abrir |