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

Let's verify this with Why3

François Bobot, +3 more
- 01 Nov 2015 - 
TL;DR: This paper presents solutions to the three challenges of the VerifyThis competition held at the 18th FM symposium in August 2012 that use the Why3 environment for deductive program verification.
Proceedings ArticleDOI

A Verification Platform for SDN-Enabled Applications

Richard Skowyra, +3 more
TL;DR: Verificare as discussed by the authors is a verification platform for SDN-enabled applications, which can automatically verify SLA, safety, and security requirements using a variety of off-the-shelf tools.
Proceedings ArticleDOI

A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises

Chunqing Chen, +4 more
TL;DR: This paper presents a systematic framework, based on formal verification and constraint solving techniques, to help enterprises tackle problems when adopting cloud computing.
Journal ArticleDOI

Performance modelling and verification of cloud-based auto-scaling policies

Alexandros Evangelidis, +2 more
- 10 Jan 2018 - 
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

SyLVaaS: System Level Formal Verification as a Service*

Toni Mancini, +4 more
- 01 Jan 2016 - 
TL;DR: SyLVaaS, a Web-based tool enabling Verification as a Service (VaaS), implements an assume-guarantee approach to the verification problem outlined above and is evaluated by evaluating the system on industry-scale input related to the verify of the Fuel Control System model in the Simulink distribution.
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.