Analyzing partially-implemented real-time systems

被引：5
|
作者：
Avrunin, GS
Corbett, JC
Dillon, LK
机构：
来源：
PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1997年
关键词：
real-time; concurrency; static analysis; Ada; temporal logic; hybrid systems; Graphical Interval Logic;
D O I：
10.1145/253228.253275
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a method for analyzing partially-implemented real-time systems. Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time temporal logic. We show how to construct models of the partially-implemented systems that account for such properties as run-time overhead and scheduling of processes, yet support tractable analysis of nontrivial programs. The approach can be fully automated, and we illustrate it by analyzing a small example.
引用
收藏
页码：228 / 238
页数：11
相关论文
共 50 条
  • [31] REAL-TIME SYSTEMS
    KRISHNA, CM
    LEE, YH
    PROCEEDINGS OF THE IEEE, 1994, 82 (01) : 3 - 5
  • [32] REAL-TIME SYSTEMS
    HINDIN, HJ
    RAUCHHINDIN, WB
    ELECTRONIC DESIGN, 1983, 31 (01) : 288 - &
  • [33] Real-time systems
    Mezzalira, L
    JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 387 - 390
  • [34] How 'real time' are real-time systems?
    Gallimore, Heath
    Electronic Products (Garden City, New York), 2011, 53 (09):
  • [35] Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
    Wirsing, Martin
    Bauer, Sebastian S.
    Schroeder, Andreas
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (36): : 1 - 25
  • [36] A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems
    Santinelli, L.
    Yomsi, P. Meumeu
    Maxim, D.
    Cucu-Grosjean, L.
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [37] ADAPTIVE REAL-TIME FILTER FOR PARTIALLY-OBSERVED BOOLEAN DYNAMICAL SYSTEMS
    Imani, Mahdi
    Ghoreishi, Seyede Fatemeh
    2021 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP 2021), 2021, : 5340 - 5344
  • [38] HIERARCHICAL STATE MACHINE MODEL FOR ANALYZING SAFETY HAZARDS IN REAL-TIME SYSTEMS
    Bakr, Ahmed M.
    Salama, May
    Alsammak, Abdelwahab K.
    COMPUTER SCIENCE-AGH, 2021, 22 (01): : 39 - 80
  • [39] Analyzing alternative intraday credit policies in real-time gross settlement systems
    Furfine, CH
    Stehm, J
    JOURNAL OF MONEY CREDIT AND BANKING, 1998, 30 (04) : 832 - 848
  • [40] Analyzing the Effect of Gain Time on Soft-Task Scheduling Policies in Real-Time Systems
    Burdalo, Luis
    Terrasa, Andres
    Espinosa, Agustin
    Garcia-Fornes, Ana
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (06) : 1305 - 1318
12345