Paul Z. Kolano, Richard A. Kemmerer  Home/Search
Context
Related
| nasa.gov/~kolano/papers/issta00.pdf 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: nasa.gov/~kolano/papers/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classification schemes are discussed in the context of ASTRAL, which is a formal specification language for real-time systems. Eight testbed systems were specified in ASTRAL, and their proofs were performed to determine proof patterns that occur most often. The specifications were then examined in an attempt to derive specific ... (Update)
Similar documents based on text: More All
0.3: Proof Assistance for Real-Time Systems Using an Interactive.. - Kolano (2002) (Correct)
0.3: Parallel Refinement Mechanisms for Real-Time Systems - Kolano, Kemmerer, Mandrioli (2000) (Correct)
0.2: The Design and Analysis of Real-Time Systems Using the.. - Kolano, Dang, al. (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ kolano00classification,
author = "Paul Z. Kolano and Richard A. Kemmerer",
title = "Classification schemes to aid in the analysis of real-time systems",
booktitle = "International Symposium on Software Testing and Analysis",
pages = "86-95",
year = "2000",
url = "citeseer.ist.psu.edu/kolano00classification.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
118 Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
112 Structured Development for Real-Time Systems (context) - Ward, Mellor - 1985
107 A New Solution of Dijkstra's Concurrent Programming Problem (context) - Lamport - 1974
96 The Generalized Railroad Crossing: a Case Study in Formal Ve.. - Heitmeyer, Lynch
88 A Tutorial Introduction to PVS (context) - Crow, Owre et al. - 1995
85 Patterns in Property Specifications for Finite-State Verific.. - Dwyer, Avrunin et al. - 1999
78 Forwar d and Backward Simulations for Timing-Based Systems - Lynch, Vaandrager - 1991
64 Formal Development of Reactive Systems: Case Study Productio.. (context) - Lewerentz, Lindner - 1995
35 Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna et al. - 1994
31 A Syntactic Theory of Software Architecture (context) - Dean, Cordy - 1995
26 the Frame Problem (context) - Borgida, Mylopoulos et al. - 1995
17 The Design and Analysis of Real-Time Systems Using the ASTRA.. - Kolano, Dang et al. - 1999
10 Specification of Realtime Systems Using ASTRAL (context) - Coen-Porisini, Ghezzi et al. - 1997
[Article contains additional citations not shown here]
Documents on the same site (http://people.nas.nasa.gov/~kolano/papers/index.html): More
ASTRAL Software Development Environment User's Manual - Kolano (1996) (Correct)
Parallel Refinement Mechanisms - Kolano (Correct)
The Design and Analysis of Real-Time Systems Using the.. - Kolano, Dang, al. (1999) (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