CloudSDV Enabling Static Driver Verifier Using Microsoft Azure

Kumar, Rahul; Ball, Thomas; Lichtenberg, Jakob; Deisinger, Nate; Upreti, Apoorv; Bansal, Chetan

doi:10.1007/978-3-319-33693-0_33

“…Kumar et al describe their experience of enabling the Microsoft Static Driver Verifier (SDV) 19 to use the Microsoft Azure cloud computing platform [66]. The architecture and methodology for enabling SDV to operate in Azure, as well as the results of SDV on single drivers and driver suites using various configurations of the cloud relative to a local machine are reported.…”

Section: Verification Of Cloud Administration Concernsmentioning

confidence: 99%

On the Feasibility of Byzantine Agreement to Secure Fog/Edge Data Management

Shoker¹,

Yactine

²

2021

Fog/Edge Computing for Security, Privacy, and Applications

1

0

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

“…Kumar et al describe their experience of enabling the Microsoft Static Driver Verifier (SDV) 19 to use the Microsoft Azure cloud computing platform [66]. The architecture and methodology for enabling SDV to operate in Azure, as well as the results of SDV on single drivers and driver suites using various configurations of the cloud relative to a local machine are reported.…”

Section: Verification Of Cloud Administration Concernsmentioning

confidence: 99%

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

Dantas

¹

,

Carvalho

²

,

Barbosa

³

2020

Science of Computer Programming

5

0

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

“…Formal verification tools do not take enough advantage of modern data centers via distributing coordinated processes. Some examples of work in the right direction include [21,35,36,38,40,47]. Especially in the area of program verification and analysis, our community still focuses on procedures that work on single computers, or perhaps portfolio solvers that try different problem encodings or solvers in parallel.…”

Section: Auditable Proof Artifacts For Compliancementioning

confidence: 99%