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卷 / 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 条

[41] A formal framework for scalable component-based systems
[J]. 1600, IGI Global (08):
[42] Overview of a plug and play component-based framework
Talevski, A
Chang, E
Dillon, TS
[J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS, 2003, : 337 - 342
[43] A component-based framework for face detection and identification
Heisele, Bernd
Serre, Thomas
Poggio, Tomaso
[J]. INTERNATIONAL JOURNAL OF COMPUTER VISION, 2007, 74 (02) : 167 - 181
[44] Design of a component-based augmented reality framework
Bauer, M
Bruegge, B
Klinker, G
MacWilliams, A
Reicher, T
Riss, S
Sandor, C
Wagner, M
[J]. IEEE AND ACM INTERNATIONAL SYMPOSIUM ON AUGMENTED REALITY, PROCEEDINGS, 2001, : 45 - 54
[45] A framework for interactive visualization of component-based software
Telea, A
Voinea, L
[J]. PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 567 - 574
[46] A Component-based Framework for Face Detection and Identification
Bernd Heisele
Thomas Serre
T. Poggio
[J]. International Journal of Computer Vision, 2007, 74 : 167 - 181
[47] A general framework for blaming in component-based systems
Goessler, Gregor
Le Metayer, Daniel
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 223 - 235
[48] A framework for extensible component customization for component-based software development
Yau, Stephen S.
Taweponsomkiat, Choksing
Huang, Dazhi
[J]. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 369 - +
[49] Robustness improvement of component-based cloud computing systems
Mounya Smara
Makhlouf Aliouat
Saad Harous
Al-Sakib Khan Pathan
[J]. The Journal of Supercomputing, 2022, 78 : 4977 - 5009
[50] Robustness improvement of component-based cloud computing systems
Smara, Mounya
Aliouat, Makhlouf
Harous, Saad
Pathan, Al-Sakib Khan
[J]. JOURNAL OF SUPERCOMPUTING, 2022, 78 (04): : 4977 - 5009

← 1 2 3 4 5 →