Hanene Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, Hong-Liang Xie  Home/Search
Context
Related
| uky.edu/~dclarke/research/...95sched.ps 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: uky.edu/~dclarke/research/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To engineer reliable real-time systems, it is desirable to detect timing anomalies early in the development process. However, there is little work addressing the problem of accurately predicting timing properties of real-time systems before implementations are developed. This paper describes an approach to the specification and schedulability analysis of real-time systems based on the timed process algebra ACSR-VP, which is an extension of ACSR with value-passing communication and dynamic... (Update)
Similar documents (at the sentence level):
12.6%: The Specification and Schedulability Analysis of Real-Time.. - Choi, Lee, Xie (1995) (Correct)
8.1%: Unknown - (Correct)
Active bibliography (related documents): More All
0.3: VERSA: Verification, Execution and Rewrite System for ACSR - Duncan Clarke (1994) (Correct)
0.3: A Semantic Theory for Value-Passing Processes Late Approach - Ingólfsdóttir (1995) (Correct)
0.3: Characterizing Bisimilarity of Value-Passing Parametrised.. - Paczkowski (1996) (Correct)
Similar documents based on text: More All
0.4: Approximate Schedulability Analysis - Chakraborty, Künzli, Thiele (2002) (Correct)
0.4: A Family Of Resource-Bound Realtime Process Algebras - Lee, Choi, Kwak (2001) (Correct)
0.2: Testing-Based Analysis of Real-Time System Models - Duncan Clarke (1996) (Correct)
BibTeX entry: (Update)
@article{ benabdallah98process,
author = "Hanene Ben-Abdallah and Jin-Young Choi and Duncan Clarke and Young-Si Kim and Insup Lee and Hong-liang Xie",
title = "A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems",
journal = "Real-Time Systems",
volume = "15",
number = "3",
pages = "189-219",
year = "1998",
url = "citeseer.ist.psu.edu/48969.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1582 Scheduling algorithms for multi-programming in a hard-real-t.. - Liu, Layland - 1973
528 Priority Inheritance Protocols: An Approach to Real-Time Syn.. (context) - Sha, Rajkumar et al. - 1990
502 Concurrency and Automata on Infinite Sequences (context) - Park - 1981
188 Aperiodic Task Scheduling for Hard-RealTime Systems (context) - Sprunt, Sha et al. - 1989
162 Finding Response Times in a Real-Time System (context) - Joseph, Pandya - 1986
136 Information and Computation (context) - Kanellakis, Smolka et al. - 1990
81 Real-Time Synchronization Protocols for Multiprocessors (context) - Rajkumar, Sha et al. - 1989
65 Dynamic Priority Ceilings: A Concurrency Control Protocol fo.. (context) - Chen, Lin - 1990
54 Preemptive priority-based scheduling: An appropriate enginee.. - Burns - 1995
50 A Process Algebraic Approach to the Specification and Analys.. - Lee, Br'emond-Gr'egoire et al. - 1994
38 VERSA: A Tool for the Specification and Analysis of Resource.. - Clarke, Lee et al. - 1995
35 Language Constructs for Distributed Real-Time Programming (context) - Lee, Gehlot - 1985
32 A Layered Approach to Automating the Verification of Real-Ti.. (context) - Gerber, Lee - 1992
31 Mode change Protocols for Priority Driven Preemptive Schedul.. - Sha, Rajkumar et al. - 1989
30 Communicating Shared Resources: A Model for Distributed Real.. (context) - Gerber - 1991
27 Proof Systems for Message-passing Process Algebras - Hennessy, Lin - 1993
21 The Design of Real-Time Programming Systems Based on Process.. (context) - Mok - 1984
20 A Semantics-Based Verification Tool for Finite-State Systems (context) - Cleaveland, Parrow et al. - 1990
19 Modeling and Analysis of Real-Time Ada Tasking programs - Corbett - 1994
18 RTSL: A Language for Real-Time Schedulability Analysis (context) - Fredette, Cleaveland - 1993
14 Formal Specification and Proofs of Inheritance Protocols for.. (context) - Pilling, Burns et al. - 1990
14 An Operational Framework for Value-Passing Processes (context) - Cleaveland, Yankelevich - 1994
13 A Proof System for Communicating Processes with Value-passin.. (context) - Hennessy - 1991
11 Priority Inheritance and Message Passing Communication: A Fo.. (context) - Burns, Wellings - 1991
10 Dynamic Scheduling in the Presence of Faults: Specification .. - Janowski, Joseph - 1996
8 Efficient methods of validating timing constraints - Liu, Ha - 1995
7 School of Cognitive and Computing Sciences (context) - Hennessy, Lin et al. - 1992
5 The algebra of communicating shared resources and its toolki.. - Lee, Clarke et al. - 1995
4 Forecasting Real-Time Behavior During Software Design using .. (context) - Lauber - 1989
3 Value-passing Process Calculi as a Formal Method (context) - Schreiber - 1994
3 Semantic Models for CCS with Values (context) - Thomsen, Ing'olfsd'ottir - 1991
Documents on the same site (http://www.cs.engr.uky.edu/~dclarke/research/): More
A Process Algebra and Tools for the Specification and.. - Lee, Clarke, Xie (1997) (Correct)
The Specification and Schedulability Analysis of Real-Time.. - Choi, Lee, Xie (1995) (Correct)
Testing-Based Analysis of Real-Time System Models - Duncan Clarke (1996) (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