A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements

Nezhad, Hamid R. Motahari; Nakamura, Taiga; Sosnovich, Adi; Yin, Peifeng; Yorav, Karen

doi:10.1007/978-3-030-03596-9_51

Search citation statements

Order By: Relevance

Paper Sections

Select...

Verification Of Functional Requirements1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moscato et al propose a Model Driven Engineering (MDE) approach in the context of the MetaMORP(h)OSY framework [71], intended to automatic generation of monitors of formal properties to be verified during the entire life-cycle of cloud components [72].…”

Section: Verification Of Functional Requirementsmentioning

confidence: 99%

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

Dantas

Carvalho

Barbosa

2020

Science of Computer Programming

View full text Add to dashboard Cite

HPC Shelf is a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf. Certification is 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. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks.

show abstract

Section: Verification Of Functional Requirementsmentioning

confidence: 99%