Analyzing Partially-Implemented Real-Time Systems

George S. Avrunin, James C. Corbett, Laura K. Dillon

Abstract

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 partiallyimplemented 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.

BibTeX

@inproceedings{Avrunin-al:ICSE97,
  author    = {George S. Avrunin and
               James C. Corbett and
               Laura K. Dillon},
  title     = {Analyzing {Partially-Implemented} {Real-Time} Systems},
  booktitle = {ICSE},
  pages     = {228--238},
  publisher = {{ACM}},
  year      = {1997},
}

Analyzing Partially-Implemented Real-Time Systems

Abstract

Related papers