Time variant dynamic models in diagnosing of real-time computer systems

被引：2
|
作者：
Gruzlikov, A. M. [1 ]
Kolesov, N. V.
Skorodumov, Yu. M.
Tolmacheva, M. V.
机构：
[1] Moscow MV Lomonosov State Univ, Moscow, Russia
来源：
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL | 2014年 / 53卷 / 06期
基金：
俄罗斯基础研究基金会;
关键词：
Data Exchange; Diagnostic System; System Science International; Discrete Event System; Time Variant System;
D O I：
10.1134/S1064230714060070
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Test-based diagnosis of real-time computer systems is considered. It is shown that time variant dynamic models can be used for the test generation. A test generation algorithm that takes into account the properties of observability and controllability is proposed. The diagnosis procedure is aimed at the detection of faults in data exchanges between program modules of the system. Both synchronous and asynchronous computations are analyzed.
引用
收藏
页码：867 / 876
页数：10
相关论文
共 50 条
  • [1] Time variant dynamic models in diagnosing of real-time computer systems
    A. M. Gruzlikov
    N. V. Kolesov
    Yu. M. Skorodumov
    M. V. Tolmacheva
    Journal of Computer and Systems Sciences International, 2014, 53 : 867 - 876
  • [2] CAMAC IN REAL-TIME COMPUTER SYSTEMS
    HOOTON, IN
    LEWIS, A
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1972, NS19 (01) : 480 - &
  • [3] CONSTRAINTS ON REAL-TIME COMPUTER SYSTEMS
    CUNNINGT.A
    ERICSSON TECHNICS, 1969, 25 (02): : 59 - &
  • [4] Real-time performance estimation for dynamic, distributed real-time systems
    Huh, EN
    Welch, LR
    Mun, Y
    COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
  • [5] Dynamic Attestation of Real-Time Systems
    Potthoff, Travis
    Graham, Scott
    PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2017), 2017, : 489 - 496
  • [6] Active models of real-time systems
    Pogrebnoy, V
    KORUS 2000: 4TH KOREA-RUSSIA INTERNATIONAL SYMPOSIUM ON SCIENCE AND TECHNOLOGY, PT 2, PROCEEDINGS: ELECTRONICS AND INFORMATION TECHNOLOGY, 2000, : 118 - 123
  • [7] Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems
    Kloes, Verena
    Goethel, Thomas
    Glesner, Sabine
    2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, : 106 - 111
  • [8] Real-time intelligent controllers for systems with partially known dynamic models
    Yu, HS
    Zein-Sabatto, S
    PROCEEDINGS OF THE 35TH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2003, : 43 - 47
  • [9] Haptic Devices Based on Real-Time Dynamic Models of Multibody Systems
    Docquier, Nicolas
    Timmermans, Sebastien
    Fisette, Paul
    SENSORS, 2021, 21 (14)
  • [10] A COMMUNICATION NETWORK FOR REAL-TIME COMPUTER SYSTEMS
    DAVIES, DW
    RADIO AND ELECTRONIC ENGINEER, 1969, 37 (01): : 47 - &
12345