Model-based monitoring of software components

被引:0
|
作者
Grosclaude, I [1 ]
机构
[1] France Telecom, R&D, F-22307 Lannion, France
关键词
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 条
  • [31] AUTOSAR Model-Based Software Component Integration of Supplier Software
    Mirheidari, Saleh
    Fallahi, Abdolreza
    Zhang, David
    Kuppam, Kumar
    SAE INTERNATIONAL JOURNAL OF COMMERCIAL VEHICLES, 2015, 8 (02) : 544 - 548
  • [32] On the optimization problem of model-based monitoring
    L. Ginzinger
    M. N. Sahinkaya
    B. Heckmann
    P. Keogh
    H. Ulbrich
    Science China Technological Sciences, 2011, 54 : 1095 - 1106
  • [33] Adaptive Model-Based Monitoring for Robots
    Kirchner, Dominik
    Geihs, Kurt
    INTELLIGENT AUTONOMOUS SYSTEMS 13, 2016, 302 : 43 - 56
  • [34] On the optimization problem of model-based monitoring
    L. GINZINGER
    M. N. SAHINKAYA
    B. HECKMANN
    P. KEOGH
    H. ULBRICH
    Science China Technological Sciences, 2011, (05) : 1095 - 1106
  • [35] On the optimization problem of model-based monitoring
    Ginzinger, L.
    Sahinkaya, M. N.
    Heckmann, B.
    Keogh, P.
    Ulbrich, H.
    SCIENCE CHINA-TECHNOLOGICAL SCIENCES, 2011, 54 (05) : 1095 - 1106
  • [36] Model-Based Monitoring of Dengue Spreading
    Schaum, Alexander
    Bernal-Jaquez, Roberto
    Sanchez-Gonzalez, G.
    IEEE ACCESS, 2022, 10 : 126892 - 126898
  • [37] On the optimization problem of model-based monitoring
    L GINZINGER
    M N SAHINKAYA
    B HECKMANN
    P KEOGH
    H ULBRICH
    Science China(Technological Sciences), 2011, 54 (05) : 1095 - 1106
  • [38] A Model-based Approach to Software Deployment in Robotics
    Hochgeschwender, Nico
    Gherardi, Luca
    Shakhirmardanov, Azamat
    Kraetzschmar, Gerhard K.
    Brugali, Davide
    Bruyninckx, Herman
    2013 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2013, : 3907 - 3914
  • [39] Model-Based Software Development - Autocode to Autosar
    Patel, Keyur R.
    2022 IEEE/AIAA TRANSPORTATION ELECTRIFICATION CONFERENCE AND ELECTRIC AIRCRAFT TECHNOLOGIES SYMPOSIUM (ITEC+EATS 2022), 2022, : 534 - 539
  • [40] ArgoSPE:: Model-based software performance engineering
    Gomez-Martinez, Elena
    Merseguer, Jose
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 401 - 410