Formal Verification Issues For Component-Based Development

被引：0
|
作者：
Hariati, Mehdi [1 ]
机构：
[1] Badji Mokhtar Annaba Univ, LISCO Lab, Comp Sci Dept, Annaba, Algeria
来源：
INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS | 2020年 / 44卷 / 04期
关键词：
component-based development; formal verification; classification;
D O I：
10.31449/inf.v44i4.3152
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Component-based development has made a breakthrough in software industry, it offers safer systems and easier to maintain, furthermore, costs and time to market are reduced. However, several issues, such as the correctness of component-based systems, their adaptation or the interactions between their components, require rigorous verification through the use of formal methods and tools. In this paper, we first present an introduction to component-based development; afterward we propose a classification of formal verification issues for component-based systems.
引用
收藏
页码：469 / 475
页数：7
相关论文
共 50 条
  • [31] Compositional Verification for Component-Based Systems and Application
    Bensalem, Saddek
    Bozga, Marius
    Sifakis, Joseph
    Nguyen, Thanh-Hung
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 64 - 79
  • [32] Component-based algebraic specification and verification in CafeOBJ
    Diaconescu, R
    Futatsugi, K
    Iida, S
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1644 - 1663
  • [33] Incremental verification of component-based timed systems
    Julliand, J.
    Mountassir, H.
    Oudot, E.
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2011, 42 (2-3) : 159 - 176
  • [34] Specification and Verification of Component-based Systems (SAVCBS)
    Sharygina, Natasha
    IET SOFTWARE, 2008, 2 (06) : 475 - 476
  • [35] Verification of component-based software application families
    Xie, Fei
    Browne, James C.
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 50 - 66
  • [36] Towards Component-Based Design and Verification of a μ-Controller
    Choi, Yunja
    Bunse, Christian
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5282 : 196 - +
  • [37] Compositional verification for component-based systems and application
    Bensalem, S.
    Bozga, M.
    Nguyen, T. -H.
    Sifakis, J.
    IET SOFTWARE, 2010, 4 (03) : 181 - 193
  • [38] Refinement and verification of synchronized component-based systems
    Kouchnarenko, O
    Lanoix, A
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 341 - 358
  • [39] Modular verification of a component-based actor language
    Sirjani, M
    de Boer, FS
    Movaghar, A
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (10) : 1695 - 1717
  • [40] Photometric normalisation for component-based face verification
    Short, James
    Kittler, Josef
    Messer, Kieron
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION - PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE, 2006, : 114 - +
12345