Issue No. 08 - August (1998 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.707696
<p><b>Abstract</b>—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a specification or programming language. There are, however, many situations in which developers would benefit from tools that could analyze partially-implemented systems, those for which some components are given only as high-level specifications while others are fully implemented in a programming language. In this paper, we propose a method for analyzing such 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.</p>
Real-time, concurrency, static analysis, Ada, temporal logic, hybrid systems, Graphical Interval Logic.
George S. Avrunin, James C. Corbett, Laura K. Dillon, "Analyzing Partially-Implemented Real-Time Systems", IEEE Transactions on Software Engineering, vol. 24, no. , pp. 602-614, August 1998, doi:10.1109/32.707696