Loading...
Please wait, while we are loading the content...
Similar Documents
Analyzing Partially-Implemented Real-Time Systems (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Avrunin, George S. Corbett, James C. Dillon, Laura K. |
| Description | 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. In Proceedings of the 19th International Conference on Software Engineering |
| File Format | |
| Language | English |
| Publisher | ACM Press |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Graphical Interval Logic Run-time Overhead Support Tractable Analysis Nontrivial Program Real-time Concurrent System Regular Expression Small Example Partially-implemented System Partially-implemented Real-time System Real-time Temporal Logic |
| Content Type | Text |
| Resource Type | Article |
