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
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
Journal ArticleDOI

Web Portals for High-performance Computing: A Survey

Patrice Calegari, +2 more
- 05 Feb 2019 - 
TL;DR: This article addresses web interfaces for High-performance Computing (HPC) simulation software by introducing HPC web-based portal use cases and identifies and discusses the key features, among functional and non-functional requirements, that characterize such portals.
Journal ArticleDOI

Certifying software component attributes

J. Boegh
- 01 May 2006 - 
TL;DR: A flexible, property- value approach lets suppliers adequately describe simple and complex properties, and a certification scheme ensures the descriptions' trustworthiness.
Proceedings ArticleDOI

Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

Alexandros Evangelidis, +2 more
TL;DR: This work proposes a novel approach based on performance modelling and formal verification to produce performance guarantees on particular rule-based auto-scaling policies and shows that it can be very effective in helping a cloud application owner configure an auto- scaling policy in order to minimise the QoS violations.
Journal ArticleDOI

Multi-tenant Verification-as-a-Service (VaaS) in a cloud

Kai Hu, +3 more
- 01 Jan 2016 - 
TL;DR: A new concept VaaS (Verification-as-a-Service), similar to SaaS, is proposed by leveraging the computing power offered by a cloud environment with automated provisioning, scalability, and service composition.
Journal ArticleDOI

Towards an architecture for component‐oriented parallel programming

F. H. Carvalho Junior, +3 more
- 10 Apr 2007 - 
TL;DR: The principles, intuition, and theories underlying the components model, and the design of an architecture for programming frameworks that comply to the component model are presented.
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.