Discrete-event diagnostic model for a distributed computational system. Merging chains

被引:0
|
作者
A. M. Gruzlikov
N. V. Kolesov
机构
[1] JSC State Research Center of the Russian Federation Concern CSRI Elektropribor,
[2] National Research University of Information Technologies,undefined
[3] Mechanics,undefined
[4] and Optics,undefined
来源
关键词
test diagnostics; event model; distributed computations;
D O I
暂无
中图分类号
学科分类号
摘要
We consider synthesis problems for a discrete event model in a real time distributed computational system. The model reflects information exchange events between software units of the system and is intended to construct special test sequences that detect faults in these exchanges. We propose a version of the model that allows for a reduction in the relative volume of diagnostic information transmitted to diagnostic tools.
引用
收藏
页码:682 / 688
页数:6
相关论文
共 50 条
  • [21] Discrete-event simulation system Delsi
    Golushko, GA
    ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 455 - 459
  • [22] Uncertainty on Discrete-Event System Simulation
    Vicino, Damian
    Wainer, Gabriel A.
    Dalle, Olivier
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2022, 32 (01):
  • [23] Distributed Control of Discrete-Event Systems: A First Step
    Darondeau, Philippe
    Ricker, Laurie
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 24 - 45
  • [24] TOWARDS THE DISTRIBUTED IMPLEMENTATION OF DISCRETE-EVENT SIMULATION LANGUAGES
    MIGUEL, J
    GRANA, M
    DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 355 - 366
  • [25] On the computational complexity of the verification of modular discrete-event systems
    Rohloff, K
    Lafortune, S
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 16 - 21
  • [26] On coparanormality in distributed supervisory control of discrete-event systems
    Saeidi, Vahid
    Afzalian, Ali A.
    Gharavian, Davood
    ASIAN JOURNAL OF CONTROL, 2021, 23 (04) : 1992 - 2003
  • [27] Integrating concurrent and conservative distributed discrete-event simulators
    Hoeger, HR
    Jones, DW
    SIMULATION, 1996, 67 (05) : 303 - 314
  • [28] Synchronization methods in parallel and distributed discrete-event simulation
    Jafer, Shafagh
    Liu, Qi
    Wainer, Gabriel
    SIMULATION MODELLING PRACTICE AND THEORY, 2013, 30 : 54 - 73
  • [29] Control of discrete-event systems with modular or distributed structure
    Kornendaa, Jan
    van Schuppen, Jan H.
    THEORETICAL COMPUTER SCIENCE, 2007, 388 (1-3) : 199 - 226
  • [30] Hypersim. Distributed discrete-event simulation on an iPSC
    Hartrum, T.C.
    Donlan, B.J.
    Conference on Hypercube Concurrent Computers and Applications, 1988,