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 条
  • [21] Analyzing The Real-Time Behaviour of Deeply Embedded Event Driven Systems
    Walther, Karsten
    Herzog, Rene
    Nolte, Joerg
    LCTES'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, 2007, : 149 - 151
  • [22] MEASURING AND ANALYZING REAL-TIME PERFORMANCE
    KENNY, KB
    LIN, KJ
    IEEE SOFTWARE, 1991, 8 (05) : 41 - 49
  • [23] ANALYZING MICROTUBULE MOTORS IN REAL-TIME
    COHN, SA
    SAXTON, WM
    LYE, RJ
    SCHOLEY, JM
    METHODS IN CELL BIOLOGY, VOL 39, 1993, 39 : 75 - 88
  • [24] Analyzing a real-time program with Z
    Jacky, J
    ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 136 - 153
  • [25] Real-time results without real-time systems
    Fox, R
    Kasten, E
    Orji, K
    Bolen, C
    Maurice, C
    Venema, J
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 571 - 575
  • [26] Real-time models of PV arrays implemented in FPGAs
    Stala, Robert
    Stawiarski, Lukasz
    PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (02): : 358 - 363
  • [27] REAL-TIME SYSTEMS
    KARJALAINEN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 475 - 476
  • [28] Real-time systems
    Abdelzaher, T
    Sharp, D
    REAL-TIME SYSTEMS, 2005, 29 (2-3) : 99 - 99
  • [29] Real-time systems
    Wedde, HF
    JOURNAL OF SYSTEMS ARCHITECTURE, 2000, 46 (04) : 303 - 304
  • [30] REAL-TIME SYSTEMS
    不详
    MICROPROCESSING AND MICROPROGRAMMING, 1982, 10 (04): : 282 - 283
12345