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 条

[21] Towards Pattern-Based Change Verification Framework for Cloud-Enabled Healthcare Component-Based
Ali, Sadia
Hafeez, Yaser
Jhanjhi, N. Z.
Humayun, Mamoona
Imran, Muhammad
Nayyar, Anand
Singh, Saurabh
Ra, In-Ho
[J]. IEEE ACCESS, 2020, 8 : 148007 - 148020
[22] A CSCWD framework for component-based SOC design
Zhou, XY
Peng, CL
[J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2, 2004, : 508 - 511
[23] Dynamically Scheduling a Component-Based Framework in Clusters
Kuzmanovska, Aleksandra
Mak, Rudolf H.
Epema, Dick
[J]. JOB SCHEDULING STRATEGIES FOR PARALLEL PROCESSING (JSSPP 2014), 2015, 8828 : 129 - 146
[24] Cloud Services Certification
Sunyaev, Ali
Schneider, Stephan
[J]. COMMUNICATIONS OF THE ACM, 2013, 56 (02) : 33 - 36
[25] Study on the Component-based Applications System Framework
Zheng, Chunying
He, Yan
Pang, Xiangyang
[J]. 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 1, PROCEEDINGS, 2009, : 684 - +
[26] A general framework for blaming in component-based systems
Goessler, Gregor
Le Metayer, Daniel
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 223 - 235
[27] A Formal Framework for Component-Based Embedded Systems
Tu, Yuqing
Li, Di
Li, Fang
Zheng, Shixiong
[J]. 2010 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM), 2010,
[28] The Chamois component-based knowledge engineering framework
Kim, W
Chae, KJ
Cho, DS
Choi, BJ
Jeong, A
Kim, M
Lee, K
Lee, M
Lee, SH
Park, SS
Yong, HS
[J]. COMPUTER, 2002, 35 (05) : 46 - +
[29] A component-based framework for distributed control systems
Angelov, Christo
Ke, Xu
Sierszecki, Krzysztof
[J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 20 - +
[30] A Component-Based Framework for the Cell Broadband Engine
Hartley, Timothy D. R.
Catalyurek, Umit V.
[J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 1512 - 1525

← 1 2 3 4 5 →