Assistance for the design of a diagnosable component-based system

被引：0
作者：
Pencolé, Y [1 ]
机构：
[1] Australian Natl Univ, Comp Sci Lab, Canberra, ACT 0200, Australia
来源：
ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Diagnosability of component-based systems is a property that characterises the ability to diagnose fault events given a flow of observations. In this paper we use model-based reasoning techniques and we propose a theoretical framework to analyse diagnosability in a decentralised way. We then introduce an algorithm that performs diagnosability analyses and provides useful information for the design of a diagnosable component-based system.
引用
收藏
页码：549 / +
页数：2
相关论文
共 50 条
  • [21] A component-based design environment for ESL design
    Schaumont, Patrick
    Verbauwhede, Ingrid
    IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (05): : 338 - 347
  • [22] A refinement driven component-based design
    Chen, Zhenbang
    Liu, Zhiming
    Stolz, Volker
    Yang, Lu
    Ravn, Anders P.
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 277 - +
  • [23] Modal Contracts for Component-based Design
    Goessler, Gregor
    Raclet, Jean-Baptiste
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 295 - 303
  • [24] Component-based design for SCADA architecture
    Phan Duy Anh
    Truong Dinh Chau
    International Journal of Control, Automation and Systems, 2010, 8 : 1141 - 1147
  • [25] Probabilistic contracts for component-based design
    Gregor Gössler
    Dana N. Xu
    Alain Girault
    Formal Methods in System Design, 2012, 41 : 211 - 231
  • [26] Probabilistic Contracts for Component-Based Design
    Xu, Dana N.
    Goessler, Gregor
    Girault, Alain
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340
  • [27] Component-based test specimen design
    Wimmer, SA
    DeGiorgi, VG
    SMALL SPECIMEN TEST TECHNIQUES: FOURTH VOLUME, 2002, 1418 : 251 - 266
  • [28] Design of extensible component-based groupware
    Hummes J.
    Merialdo B.
    Computer Supported Cooperative Work: CSCW: An International Journal, 2000, 9 (01): : 53 - 74
  • [29] Design hierarchical component-based WebGIS
    Luo, YW
    Wang, XL
    Xiong, GM
    Xu, ZQ
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 515 - 522
  • [30] Component-based design for a simulated network
    Edelstein, D
    Edwards, D
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 283 - 289
12345