scispace - formally typeset
Open AccessJournal ArticleDOI

A component-based framework for certification of components in a cloud of HPC services

Allberson Bruno de Oliveira Dantas, +2 more
- 01 Jun 2020 - 
- Vol. 191, pp 102379
Reads0
Chats0
TLDR
A Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf is presented, aimed at providing higher confidence that components of parallel computing systems of HPC shelf behave as expected according to one or more requirements expressed in their contracts.
About: 
This article is published in Science of Computer Programming.The article was published on 2020-06-01 and is currently open access. It has received 4 citations till now. The article focuses on the topics: Cloud computing & Certification.

read more

Figures
Citations
More filters
Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

Marco Anisetti, +2 more
- 01 May 2023 - 
TL;DR: In this paper , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the results.
Journal ArticleDOI

Componentes de alto rendimiento para la plataforma Bonita BPM

Darwin Stalin Ramírez Supe
TL;DR: The need to incorporate componentes personalizados in plataformas empresariales cuyas ediciones al publico en general son libres and limitados de caracteristicas that solo cuentan las edicione premium or pagadas is a hot topic of discussion among programadores as mentioned in this paper.
Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

- 01 Jan 2022 - 
TL;DR: In this article , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the certification results.
Proceedings Article

LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, +1 more
TL;DR: In this article, the authors propose a bottom-up approach to check the correct interaction between different service-based business processes distributed over a cloud environment and which may be provided by various organizations.
References
More filters
Proceedings ArticleDOI

CIVL: the concurrency intermediate verification language

Stephen F. Siegel, +7 more
TL;DR: CIVL provides a general concurrency model capable of representing programs in a variety of concurrency dialects, including those listed above, and the CIVL framework currently includes front-ends for the four dialects.
Journal ArticleDOI

Aeolus: a Component Model for the Cloud

Roberto Di Cosmo, +3 more
- 01 Dec 2014 - 
TL;DR: This work shows that the achievability problem is undecidable for the full Aeolus model, a strong limiting result for automated configuration in the cloud, and provides a polynomial time algorithm for the further restriction of the model where support for inter-component conflicts is also removed.
Proceedings ArticleDOI

Protocol-based verification of message-passing parallel programs

Hugo A. López, +6 more
TL;DR: ParTypes, a type-based methodology for the verification of Message Passing Interface (MPI) programs written in the C programming language, is presented, to statically verify programs against protocol specifications, enforcing properties such as fidelity and absence of deadlocks.
Journal ArticleDOI

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Elvira Albert, +6 more
TL;DR: This case study demonstrates by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS.
Book ChapterDOI

TOSCA in a Nutshell: Promises and Perspectives

Antonio Brogi, +2 more
TL;DR: The objective of this paper is to provide a compact and easy-to-access introduction to TOSCA, and to discuss possible research directions for TOS CA.
Related Papers (5)

Container orchestration on HPC systems through Kubernetes

Naweiluo Zhou, +8 more
- 01 Dec 2021 - 

A Middleware for Managing Non-Functional Requirements in Cloud PaaS

Lars Braubach, +2 more

Modeling Cloud Software-As-A-Service: A Perspective

Ritu Sharma, +1 more
- 01 Jan 2012 - 

An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non-functional requirements in computing grids

Alexandre Sztajnberg, +3 more
- 01 Jan 2011 - 

Software defined environments: an introduction

Chung-Sheng Li, +13 more
- 01 Mar 2014 - 
Frequently Asked Questions (1)
Q1. What are the contributions in "A component-based framework for certification of components in a cloud of hpc services" ?

In this paper, the authors propose a certification framework for HPC Shelf, a cloud-based general-purpose certification framework.