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 条
[41]   Research on Component-based ERP System [J].
Lin Yuexiao ;
He Song ;
Chang Huiyou .
ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, :1212-1216
[42]   Automating component-based system assembly [J].
ACM Int. Symp. Softw. Test. Anal., 2007, (61-72) :61-72
[43]   A component-based extensible multimedia system [J].
Hauser, J .
PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, :1243-1249
[44]   The pebble component-based operating system [J].
Gabber, E ;
Small, C ;
Bruno, J ;
Burstoloni, J ;
Silberschatz, A .
PROCEEDINGS OF THE 1999 USENIX ANNUAL TECHNICAL CONFERENCE, 1999, :267-282
[45]   A CSCWD framework for component-based SOC design [J].
Zhou, XY ;
Peng, CL .
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2, 2004, :508-511
[46]   Integrating Safety Analyses and Component-Based Design [J].
Domis, Dominik ;
Trapp, Mario .
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 :58-71
[47]   Secure Architecture and Design of Component-Based Systems [J].
Goertzel, Karen Mercedes .
Insight, 2009, 12 (02) :23-26
[48]   Component-based design: A complete worked example [J].
Daniels, J .
TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, :470-470
[49]   Component-based design: Towards guided composition [J].
Moschoyiannis, S ;
Shields, MW .
THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, :122-131
[50]   Protocol reconfiguration using component-based design [J].
Foukalas, F ;
Ntarladimas, Y ;
Glentis, A ;
Boufidis, Z .
DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, 2005, 3543 :148-156
12345