| Title |
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services |
| ID_Doc |
79300 |
| Authors |
Dantas, ABD; de Carvalho, FH; Barbosa, LS |
| Title |
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services |
| Year |
2017 |
| Published |
|
| DOI |
10.5220/0006306802290240 |
| Abstract |
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. |
| Author Keywords |
Software Formal Verification; Verification as a Service (VaaS); Cloud Computing; Software Components; High Performance Computing |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000465221900018 |
| WoS Category |
Computer Science, Information Systems; Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
https://doi.org/10.5220/0006306802290240
|