A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services

Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa

2017

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, com- ponents 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, intro- duced 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.

Paper Citation

in Harvard Style

Bruno de Oliveira Dantas A., Heron de Carvalho Junior F. and Soares Barbosa L. (2017). A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services . In Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-243-1, pages 229-240. DOI: 10.5220/0006306802290240

in Bibtex Style

@conference{closer17,
author={Allberson Bruno de Oliveira Dantas and Francisco Heron de Carvalho Junior and Luís Soares Barbosa},
title={A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services},
booktitle={Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2017},
pages={229-240},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006306802290240},
isbn={978-989-758-243-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
SN - 978-989-758-243-1
AU - Bruno de Oliveira Dantas A.
AU - Heron de Carvalho Junior F.
AU - Soares Barbosa L.
PY - 2017
SP - 229
EP - 240
DO - 10.5220/0006306802290240