Analyzing Partially-Implemented Real-Time Systems

9 years 5 months ago
Analyzing Partially-Implemented Real-Time Systems
—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 non...
George S. Avrunin, James C. Corbett, Laura K. Dill
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where ICSE
Authors George S. Avrunin, James C. Corbett, Laura K. Dillon
Comments (0)