James C. Corbett  Home/Search
Context Related
| hawaii.edu/~corbett...icstr9607.ps.Z Hawaii.Edu/pub/tr/icstr9607.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: hawaii.edu/sci/ics/ics (more) From: ee.umanitoba.ca/...CILAB.software (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrent real-time software is increasingly used in safety-critical embedded systems. Assuring the quality of such software requires the rigor of formal methods. In order to analyze a program formally, we must first construct a mathematical model of its behavior. In this paper, we consider the problem of constructing such models for concurrent real-time software. In particular, we provide a method for building mathematical models of real-time Ada tasking programs that are accurate enough to... (Update)
Cited by: More
Automatic Verification of Component-Based Real-Time.. - Madl, Abdelwahed, Karsai (2004) (Correct)
Analysis of Real Time Operating System Based - Applications Libor Waszniowski (Correct)
Timed Automata Approach to CAN Verification - Krakora, Hanzalek (Correct)
Active bibliography (related documents): More All
0.5: Evaluating Deadlock Detection Methods for Concurrent Software - Corbett (1996) (Correct)
0.5: A Detailed Description of the GNU Ada Run Time (Version 1.0) - Miranda (Correct)
0.3: Automated Derivation of Time Bounds in Uniprocessor.. - Avrunin, Corbett.. (1994) (Correct)
Similar documents based on text: More All
0.2: Symbolic Data Flow Analysis for Detecting - Deadlocks In Ada (Correct)
0.1: Compositional Petri Net Models of Compositional Petri Net.. - Ravi Gedela Sol (Correct)
0.1: Tasking Deadlocks in Ada 95 Programs and Their Detection - Cheng, Ushijima (Correct)
Related documents from co-citation: More All
11: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
10: Algorithmic analysis of nonlinear hybrid systems - Henzinger, Ho et al. - 1996
9: The algorithmic analysis of hybrid systems - Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
J. C. Corbett. Timing analysis of Ada tasking programs. IEEE Trans. Softw. Eng., 22(7), July 1996. http://citeseer.ist.psu.edu/corbett96timing.html More
@article{ corbett96timing,
author = "James C. Corbett",
title = "Timing Analysis of {A}da Tasking Programs",
journal = "IEEE Transactions on Software Engineering",
volume = "22",
number = "7",
month = "July",
pages = "461--483",
year = "1996",
url = "citeseer.ist.psu.edu/corbett96timing.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard-real-ti.. - Liu, Layland - 1973
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
126 A timed model for communicating sequential processes (context) - Reed, Roscoe - 1988
103 Experiments with a program timing tool based on source-level.. (context) - Park, Shaw - 1991
102 Modeling and verification of time dependent systems using ti.. (context) - Berthomieu, Diaz - 1991
97 HyTech: the next generation - Henzinger, Ho et al. - 1995
92 Reasoning about time in higher-level language software - Shaw - 1989
86 Evaluating deadlock detection methods for concurrent softwar.. - Corbett - 1996
86 A general-purpose algorithm for analyzing concurrent program.. (context) - Taylor - 1983
80 Programming in Ada (context) - Barnes - 1995
71 Automated analysis of concurrent systems with the constraine.. - Avrunin, Buy et al. - 1991
71 Compiling real-time specifications into extended automata - Nicollin, Sifakis et al. - 1992
56 Reference Manual for the Ada Programming Language (context) - of, Washington - 1983
49 Trio: A logic language for executable specifications of real.. (context) - Ghezzi, Mandriolli et al. - 1990
47 Timing verification by successive approximation - Alur, Kurshan - 1995
32 A layered approach to automating the verification of real-ti.. (context) - Gerber, Lee - 1992
31 An accurate worst case timing analysis technique for RISC pr.. - Lim, Bae et al.
30 Timing analysis for fixed-priority scheduling of hard real-t.. (context) - Harbour, Klein et al. - 1994
23 Deciding properties of timed transition models (context) - Ostroff - 1990
19 Modeling and analysis of real-time Ada tasking programs - Corbett
16 A unified high-level Petri net model for time-critical syste.. (context) - Ghezzi, Mandriolli et al. - 1991
16 Formalization of properties of parallel programs (context) - Ashcroft, Manna - 1971
13 Constructing abstract models of concurrent realtime software (context) - Corbett - 1996
11 features using POSIX threads: Design issues (context) - Giering, Mueller et al. - 1993
10 Department of Computer Science (context) - Henzinger, Ho et al. - 1995
6 Using POSIX threads to implement Ada tasking: Description of.. - Giering, Baker - 1992
5 RTSL: a formal language for real-time schedulability analysi.. (context) - Fredette, Cleaveland - 1993
4 A practical method for bounding the time between events in c.. (context) - Corbett, Avrunin - 1993
3 Automatic derivation of time bounds in uniprocessor concurre.. (context) - Avrunin, Corbett et al. - 1994
2 Design and implementation (context) - Giering, Baker et al. - 1994
1 A method for timing analysis of Ada tasking programs (context) - Corbett - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://uhresearch.mic.hawaii.edu/sci/ics/ics.html): More
Analyzing Partially-Implemented Real-Time Systems - Avrunin, Corbett, Dillon (1997) (Correct)
Using Integer Programming to Verify General Safety and.. - Corbett, Avrunin (1993) (Correct)
Property Specification Patterns for Finite-State Verification - Dwyer, Avrunin, Corbett (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