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

Allberson Bruno de Oliveira Dantas,Francisco Heron de Carvalho Junior,Luis Soares Barbosa

Science of Computer Programming（2020）

引用 2|浏览24

暂无评分

摘要

•HPC Shelf is a component-oriented cloud computing platform for HPC Services.•A component-oriented certification framework has been proposed for HPC Shelf.•The certification framework integrates formal verification tools.•The certification framework supports the VaaS (Verification-as-a-Service) paradigm.•SWC2 is a certifier for scientific workflows in HPC Shelf.

查看译文

关键词

Verification-as-a-Service,Formal verification,High Performance Computing,Software components,Scientific workflows

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要