Towards an Embedded Software Component Quality Verification Framework

被引:0
|
作者
Carvalho, Fernando [1 ]
Meira, Silvio R. J. [1 ]
机构
[1] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Component-Based Software Engineering (CBSE) is being used in a wide variety of application areas, including embedded systems, and the correct operation of the components is often critical for business success and, in some cases, human safety. In this way, assessment and evaluation of software components has become a compulsory and crucial part of any CBSE lifecycle. A risk of selecting a product with unknown quality properties is no longer acceptable and, when happened, may cause catastrophic results. Thus, the software components quality evaluation has become an increasingly essential activity in order to bring reliabilhy in (re)using software components. In this way, we propose a quality verification framework to evaluate the quality of embedded software components in an efficient way. This model is based in component characteristics, sub-characteristics, quality attributes and metrics.
引用
收藏
页码:249 / 258
页数:10
相关论文
共 50 条
  • [1] Towards Component Verification in the Generic Component Framework
    Padberg, Julia
    Ehrig, Hartmut
    Orejas, Fernando
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 203 (07) : 37 - 53
  • [2] A Component Development Framework for Embedded Software
    Yuan, Cangzhou
    Liu, Zhao
    Wang, Xiaowei
    Yuan, Fayou
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND SOFTWARE ENGINEERING (ICICSE 2021), 2021, : 71 - 75
  • [3] Towards automatic verification of embedded control software
    Bauer, N
    Huuck, R
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 375 - 383
  • [4] Embedded Software Component Quality and Certification
    Carvalho, Fernando
    Meira, Silvio R. L.
    Freitas, Bruno
    Eulino, Joao
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 420 - +
  • [5] Runtime Verification of Component-Based Embedded Software
    Sozer, Hasan
    Hofmann, Christian
    Tekinerdogan, Bedir
    Aksit, Mehmet
    [J]. COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
  • [6] Towards a software component certification framework
    Alvaro, Alexandre
    de Almeida, Eduardo Santana
    Meira, Silvio Lemos
    [J]. USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 298 - +
  • [7] Towards a Software Component Quality Model
    Upadhyay, Nitin
    Despande, Bharat M.
    Agrawal, Vishnu P.
    [J]. ADVANCES IN COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, PT I, 2011, 131 : 398 - +
  • [8] An Embedded software component Quality Model - EQM
    Carvalho, Fernando
    Meira, Silvio R. L.
    Freitas, Bruno
    Carvalho, Nathalia
    [J]. PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2008, : 444 - +
  • [9] Towards a software framework for building highly flexible component-based embedded operating systems
    Xu, Dong
    Wang, Hua
    Teng, Qiming
    Chen, Xiangqun
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 : 170 - 181
  • [10] A software framework for component-based embedded applications
    Angelov, C
    Sierszecki, K
    [J]. 11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 655 - 662