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 条
  • [1] An extensible type system for component-based design
    Xiong, YH
    Lee, EA
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 20 - 37
  • [2] Methods and Tools for Component-based System Design
    Sifakis, Joseph
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1022 - U1750
  • [3] Efficient Design Space Exploration for Component-Based System Design
    Lu, Yinghai
    Zhou, Hai
    2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 466 - 472
  • [4] Component-based robot system design for grasping tasks
    Mae, Yasushi
    Takahashi, Hideyasu
    Ohara, Kenichi
    Takubo, Tomohito
    Arai, Tatsuo
    INTELLIGENT SERVICE ROBOTICS, 2011, 4 (01) : 91 - 98
  • [5] A Design on the Component-based Price Checking System in Hospitals
    Wu Honghua
    Chen Jun
    Lu Chuiwei
    MECHANICAL ENGINEERING AND INTELLIGENT SYSTEMS, PTS 1 AND 2, 2012, 195-196 : 962 - 967
  • [6] BALBOA: A component-based design environment for system models
    Doucet, F
    Shukla, S
    Otsuka, M
    Gupta, R
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2003, 22 (12) : 1597 - 1612
  • [7] Component-based robot system design for grasping tasks
    Yasushi Mae
    Hideyasu Takahashi
    Kenichi Ohara
    Tomohito Takubo
    Tatsuo Arai
    Intelligent Service Robotics, 2011, 4 : 91 - 98
  • [8] Component-Based Design for the Future
    Lee, Edward A.
    Sangiovanni-Vincentelli, Alberto L.
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1029 - U2416
  • [9] Component-based interaction design
    Feyer, T
    Thalheim, B
    INFORMATION MODELLING AND KNOWLEDGE BASES XV, 2004, 105 : 19 - 36
  • [10] A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
    Lopez Pombo, Carlos Gustavo
    Castro, Pablo F.
    Aguirre, Nazareno
    Maibaum, Tomas S. E.
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 314 - 332
12345