loading
Documents

Research.Publish.Connect.

Paper

Authors: Allberson Bruno de Oliveira Dantas 1 ; Francisco Heron de Carvalho Junior 1 and Luís Soares Barbosa 2

Affiliations: 1 Universidade Federal do Ceará, Brazil ; 2 HASLab INESC TEC & Universidade do Minho, Portugal

ISBN: 978-989-758-243-1

Keyword(s): Software Formal Verification, Verification as a Service (VaaS), Cloud Computing, Software Components, High Performance Computing.

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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.163.20.123

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.