Model-based monitoring of software components

被引：0
|
作者：
Grosclaude, I [1 ]
机构：
[1] France Telecom, R&D, F-22307 Lannion, France
来源：
ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2004年 / 110卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The development of component-based software systems opens the possibility of using model-based diagnosis techniques for large software systems. We have developed a simple monitoring system based on the modeling of the external behavior of software components by Petri nets. With each component is associated a local controller which observes the messages received and sent by the component and compares them with the specified behavior. As the components interact, information is collected on error emission and time constraint violation to infer indicators about the state of components.
引用
下载
收藏
页码：1025 / 1026
页数：2
相关论文
共 50 条
  • [1] Components in Model-Based Software Development
    Tyugu, Enn
    Grigorenko, Pavel
    2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
  • [2] Model-Based Software Regression Testing for Software Components
    Batra, Gagandeep
    Arora, Yogesh Kumar
    Sengupta, Jyotsna
    INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
  • [3] Behavioural Model-based Control for Autonomic Software Components
    Alvares, Frederico
    Rutten, Eric
    Seinturier, Lionel
    2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, 2015, : 187 - +
  • [4] Model-Based Performance Testing for Robotics Software Components
    Wienke, Johannes
    Wigand, Dennis
    Koester, Norman
    Wrede, Sebastian
    2018 SECOND IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC), 2018, : 25 - 32
  • [5] Model-Based Testing Applied to Software Components of Satellite Simulators
    Barbosa da Silva, Paulo Diego
    Ambrosio, Ana Maria
    Villani, Emilia
    MODELLING AND SIMULATION IN ENGINEERING, 2018, 2018
  • [6] A Model-Based and Automated Approach to Size Estimation of Embedded Software Components
    Lind, Kenneth
    Heldal, Rogardt
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 334 - +
  • [7] MODEL-BASED SOFTWARE SYNTHESIS
    ABBOTT, B
    BAPTY, T
    BIEGL, C
    KARSAI, G
    SZTIPANOVITS, J
    IEEE SOFTWARE, 1993, 10 (03) : 42 - 52
  • [8] Model-based software diagnosis
    Hunt, J
    APPLIED ARTIFICIAL INTELLIGENCE, 1998, 12 (04) : 289 - 308
  • [9] Advances in Model-Based Software for Simulating Ultrasonic Immersion Inspections of Metal Components
    Chiou, Chien-Ping
    Margetan, Frank J.
    Taylor, Jared L.
    Engle, Brady J.
    Roberts, Ronald A.
    44TH ANNUAL REVIEW OF PROGRESS IN QUANTITATIVE NONDESTRUCTIVE EVALUATION, VOL 37, 2018, 1949
  • [10] CompSize: A Model-Based and Automated Approach to Size Estimation of Embedded Software Components
    Lind, Kenneth
    Heldal, Rogardt
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (09): : 2183 - 2192
12345