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 条
  • [31] Component-based software design model
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (05): : 451 - 454
  • [32] Component-based Design for SCADA Architecture
    Phan Duy Anh
    Truong Dinh Chau
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2010, 8 (05) : 1141 - 1147
  • [33] Probabilistic contracts for component-based design
    Goessler, Gregor
    Xu, Dana N.
    Girault, Alain
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (02) : 211 - 231
  • [34] The design of a component-based encryption scheme
    Dowling, T
    Malloy, BA
    [J]. PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 611 - 614
  • [35] Component-Based Approach Combining UML and BIP for Rigorous System Design
    Chehida, Salim
    Baouya, Abdelhakim
    Bensalem, Saddek
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 27 - 43
  • [36] Component-based design and implementation of distribution network information management system
    Wu, J.
    Ge, S.
    Yu, Y.
    Jiang, X.
    [J]. Dianli Xitong Zidonghue/Automation of Electric Power Systems, 2001, 25 (11): : 49 - 51
  • [37] THE COMPONENT-BASED DESIGN AND DEVELOPMENT OF REMOTE SENSING SYSTEM FOR DROUGHT MONITORING
    You, Lin
    Qin, Qiming
    Dong, Heng
    Li, Jun
    Wang, Jinliang
    Yang, Xuebin
    [J]. 2010 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, 2010, : 3849 - 3852
  • [38] Design and implementation of a component-based intelligent clothing style cad system
    Hu L.
    [J]. Computer-Aided Design and Applications, 2020, 18 (S1): : 22 - 32
  • [39] COMPONENT-BASED PROJECT MANAGEMENT SYSTEM
    Ding, Ronggui
    Sun, Yanan
    Sun, Tao
    [J]. PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 2390 - 2397
  • [40] Interface testing of component-based system
    Cui, DH
    Tian, Y
    Yu, XL
    [J]. ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 9050 - 9053
12345