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

被引：2
|
作者：
de Oliveira Dantas, Allberson Bruno [1 ]
de Carvalho Junior, Francisco Heron [2 ]
Barbosa, Luis Soares [3 ,4 ]
机构：
[1] Univ Integracao Int Lusofonia Afro Brasileira, Campus Liberdade, Redencao, Brazil
[2] Univ Fed Ceara, Mestrado & Doutorado Ciencia Comp, Fortaleza, Ceara, Brazil
[3] HASLab INESC TEC, Campus Gualtar, Braga, Portugal
[4] Univ Minho, Campus Gualtar, Braga, Portugal
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2020年 / 191卷
关键词：
Verification-as-a-Service; Formal verification; High Performance Computing; Software components; Scientific workflows; FORMAL VERIFICATION; HIGH-PERFORMANCE; MODEL; WORKFLOW; SYSTEM; MANAGEMENT; VERIFIER;
D O I：
10.1016/j.scico.2019.102379
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页数：36
相关论文
共 50 条
  • [1] A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
    de Oliveira Dantas, Allberson Bruno
    de Carvalho Junior, Francisco Heron
    Barbosa, Luis Soares
    [J]. CLOSER: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2017, : 201 - 212
  • [2] Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
    de Oliveira Dantas, Allberson B.
    Heron de Carvalho Junior, F.
    Barbosa, Luis S.
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 198 - 215
  • [3] A component-based framework for integrated messaging services
    Kogiomtzis, GN
    Martakos, D
    [J]. INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN METHODOLOGIES, COMPONENTS AND MANAGEMENT, 2002, : 437 - 448
  • [4] An overview of components and component-based development
    Brown, AW
    [J]. ADVANCES IN COMPUTERS, VOL 54, 2001, 54 : 1 - 34
  • [5] Component-based software certification based on experimental risk assessment
    Moraes, Regina
    Duraes, Joao
    Martins, Eliane
    Madeira, Henrique
    [J]. DEPENDABLE COMPUTING, PROCEEDINGS, 2007, 4746 : 179 - +
  • [6] A component-based framework for recognition systems
    Middendorf, M
    Peust, C
    Schacht, J
    [J]. READING AND LEARNING, 2004, 2956 : 153 - 165
  • [7] Component-based framework for subsurface simulations
    Palmer, B. J.
    Fang, Yilin
    Hammond, Glenn
    Gurumoorthi, Vidhya
    [J]. SCIDAC 2007: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING, 2007, 78
  • [8] A framework for component-based CNC machines
    Michaloski, J
    Birla, S
    Weinert, G
    Yen, CJ
    [J]. SENSORS AND CONTROLS FOR INTELLIGENT MACHINING, AGILE MANUFACTURING, AND MECHATRONICS, 1998, 3518 : 132 - 143
  • [9] A component-based framework and reusability in Garment
    Zhang, NX
    Liu, Y
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 411 - 418
  • [10] Component-based layered integrated framework
    Yu, L
    Guo, YC
    Lin, SX
    Lin, ZK
    [J]. PROCEEDINGS OF FOURTH INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1999, : 473 - 476
12345