James C. Corbett, George S. Avrunin  Home/Search
Context Related
| umass.edu/~avrunin...isstaupdate.ps.gz Hawaii.Edu/pub/tr/icstr9309.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umass.edu/~avrunin/recent_pubs... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Showing that concurrent systems satisfy timing constraints on their behavior is difficult, but may be essential for critical applications. Most methods are based on some form of reachability analysis and require construction of a state space of size that is, in general, exponential in the number of components in the concurrent system. In an earlier paper with L. K. Dillon and J. C. Wileden, we described a technique for finding bounds on the time between events without enumerating the state... (Update)
Context of citations to this paper: More
.... and conquer problem that Corbett and Avrunin used as one of the benchmarks for their constrained expression system for real time analysis [4], and show that the real time stubborn set method reduces the state space for that problem from exponential to quadratic in size. 5...
...32 Mbytes of memory. 4. 2 Computer simulations Here we report the experimental results we obtained for a simple divide andconquer example [5], for a real time version of Leveson s railroad crossing example [7, 8] and for an Ethernet protocol [11] 4.2.1 Divide and conquer...
Cited by: More
A Testing Methodology And Architecture For Computer Supported .. - Dugan Jr. (2000) (Correct)
On Integrating Scheduling Theory into Formal Models for Hard.. - Braberman (Correct)
Automatic Real-Time Analysis of Ada Tasking Programs for.. - Buy, Sloan (Correct)
Active bibliography (related documents): More All
0.1: Automated Derivation of Time Bounds in Uniprocessor.. - Avrunin, Corbett.. (1994) (Correct)
0.1: Towards Scalable Compositional Analysis - Corbett, Avrunin (1994) (Correct)
0.1: Timing Analysis of Embedded Real-Time Systems - Dasdan (1999) (Correct)
Similar documents based on text: More All
0.1: Analyzing Partially-Implemented Real-Time Systems - Avrunin, Corbett, Dillon (1998) (Correct)
0.1: Benchmarking Finite-State Verifiers - Avrunin, Corbett, Dxyer (2000) (Correct)
0.1: Unknown - (Correct)
Related documents from co-citation: More All
5: Modeling and verification of time dependent systems using time Petri nets (context) - Berthomieu, Diaz - 1991
4: A Unified High-Level Petri Net Formalism for TimeCritical Systems (context) - Ghezzi, Mandrioli et al. - 1991
4: Compiling real-time specifications into extended automata - Nicollin, Sifakis et al. - 1992
BibTeX entry: (Update)
J. C. Corbett and G. S. Avrunin. A practical technique for bounding the time between events in concurrent real-time systems. In T. Ostrand and E. Weyuker, editors, Proc. 1993 Internat. Sympos. on Software Testing and Analysis, pages 110--116, Cambridge, Massachusetts, June 1993. ACM. http://citeseer.ist.psu.edu/corbett93practical.html More
@inproceedings{ corbett93practical,
author = "James C. Corbett and George S. Avrunin",
title = "A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems",
booktitle = "International Symposium on Software Testing and Analysis",
pages = "110-116",
year = "1993",
url = "citeseer.ist.psu.edu/corbett93practical.html" }
Citations (may not include all citations):218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
71 Automated analysis of concurrent systems with the constraine.. - Avrunin, Buy et al. - 1991
50 Minimum and maximum delay problems in real-time systems (context) - Courcoubetis, Yannakakis - 1991
32 A layered approach to automating the verification of real-ti.. (context) - Gerber, Lee - 1992
10 Automated Formal Analysis Methods for Concurrent and Real-Ti.. (context) - Corbett - 1992
9 Automated derivation of time bounds in uniprocessor concurre.. - Avrunin, Corbett et al. - 1993
1 Sharpening bounds on the time between events in maximally pa.. - Avrunin - 1992
Documents on the same site (http://ext.math.umass.edu/~avrunin/recent_pubs/): More
Towards Scalable Compositional Analysis - Corbett, Avrunin (1994) (Correct)
Automated Derivation of Time Bounds in Uniprocessor.. - Avrunin, Corbett.. (1994) (Correct)
Analyzing Partially-Implemented Real-Time Systems - Avrunin, Corbett, Dillon (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC