Model abstractions for real-time network environments

被引:3
|
作者
Andriamanalimanana, B [1 ]
Sengupta, S [1 ]
Riolo, J [1 ]
Svedman, T [1 ]
Khan, M [1 ]
Gates, K [1 ]
机构
[1] Profesy Int, Utica, NY USA
关键词
model abstraction; model switching; CUSUM; real-time network management; SNMP data;
D O I
10.1117/12.389374
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
The model abstraction problem is explored from a real-time network environment perspective, usually admitting different system models (such as queue-theoretic) at its different equilibrium states. To computationally depict system states at any level of abstraction, it is necessary to identify correct models consistent with observables. However, any such system identification need not be permanent, particularly for a dynamic system. In such situations, as the system appears to migrate from one equilibrium state to another, one should be able to quickly identify an event of context-switching from one model abstraction to another. In this paper we show how, using a variation of traditional CUSUM statistical approaches, one could identify model change events on time.
引用
收藏
页码:212 / 220
页数:9
相关论文
共 50 条
  • [1] Domain-size constraint on real-time model abstractions
    Sengupta, S
    Andriamanalimanana, BR
    [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE V, 2001, 4367 : 253 - 261
  • [2] Model checking of real-time reachability properties using abstractions
    Daws, C
    Tripakis, S
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 313 - 329
  • [3] Automatic abstractions of real-time specifications
    Brockmeyer, M
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [4] Formula based abstractions of transition systems for real-time model checking
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
  • [5] Logic Based Abstractions of Real-Time Systems
    Roberto Barbuti
    Nicoletta De Francesco
    Antonella Santone
    Gigiola Vaglini
    [J]. Formal Methods in System Design, 2000, 17 : 201 - 220
  • [6] Logic based abstractions of real-time systems
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2000, 17 (03) : 201 - 220
  • [7] An event model for real-time systems in mobile environments
    Meier, R
    Kaiser, J
    Hughes, B
    Brudna, C
    Cahill, V
    [J]. SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2004, : 29 - 34
  • [8] A Real-Time Vehicle Navigation Algorithm in Sensor Network Environments
    Chen, C. L. Philip
    Zhou, Jin
    Zhao, Wei
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2012, 13 (04) : 1657 - 1666
  • [9] MODULAR ABSTRACTIONS FOR VERIFYING REAL-TIME DISTRIBUTED SYSTEMS
    DELEON, H
    GRUMBERG, O
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 7 - 43
  • [10] Navigating in Real-Time Environments
    Denning, Peter J.
    Selman, Jim
    [J]. COMMUNICATIONS OF THE ACM, 2020, 63 (12) : 26 - 28