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 条
  • [41] MEASURING AND ANALYZING REAL-TIME KERNEL PERFORMANCE
    BERGGREN, H
    GUSTAFSSON, M
    LINDH, L
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 635 - 640
  • [42] RAVEN: Real-time analyzing and verification environment
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01) : 89 - 104
  • [43] Framework for analyzing the real-time data stream
    Li, Qinghua
    Chen, Qiuxia
    Jiang, Shengyi
    Jisuanji Gongcheng/Computer Engineering, 2005, 31 (16): : 59 - 60
  • [44] Real-time TTCN for testing real-time and multimedia systems
    Walter, T
    Grabowski, J
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 37 - 54
  • [45] Real-time calculus for scheduling hard real-time systems
    Thiele, L
    Chakraborty, S
    Naedele, M
    ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
  • [46] REAL-TIME EUCLID - A LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
    KLIGERMAN, E
    STOYENKO, AD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 941 - 949
  • [47] A new deterministic PSO algorithm for real-time systems implemented on low-power devices
    Wang, Meixin
    Zhan, Yawei
    Zhao, Jiayue
    Li, Zhiqiang
    BIORESOURCE TECHNOLOGY, 2023, 378
  • [48] A new deterministic PSO algorithm for real-time systems implemented on low-power devices
    Dlugosz, Zofia
    Rajewski, Michal
    Dlugosz, Rafal
    Talaska, Tomasz
    Pedrycz, Witold
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2023, 429
  • [49] Real-time blackboard model testbed implemented on Transputer networks
    Wang, Weiming
    Yao, Qingdong
    Xu, Shengrong
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1995, 23 (08): : 44 - 47
  • [50] Real-Time Speaker Verification System Implemented on Reconfigurable Hardware
    Rafael Ramos-Lara
    Mariano López-García
    Enrique Cantó-Navarro
    Luís Puente-Rodriguez
    Journal of Signal Processing Systems, 2013, 71 : 89 - 103
12345