See this document in CiteSeerX!

Engineering a Hard Real-time System: From Theory to Practice (1995)  (Make Corrections)  (10 citations)
A. Burns, A. J. Wellings
Software - Practice and Experience



  Home/Search   Context   Related

 
View or download:
cs.ubc.ca/local/reading/pr...spe962.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.ubc.ca/local/reading/...spetoc (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper considers the implications of using these techniques in the analysis of a typical single processor application, the attitude and orbital control system (AOCS) for the Olympus satellite. The paper outlines a common approach for estimating the response times for tasks, and then extends the scheduling equations so that they can be used in the engineering of realistic realtime systems (Update)

Context of citations to this paper:   More

...are also bounded. Given the worst case response time R j i of a task j i , computed with traditional worst case response time techniques [6] the worst case response time of the brotherhood R i is given by R i = max j=1; N fR j i g L i where L i is the worst case...

.... a heuristic for a rate monotonic analysis based timeliness proof that takes into account the implications of an Ada real time kernel [BW95a] Saksena et al. SFR97, SK00] provide design style guidelines for ROOM ( Real Time Object Oriented Modeling, SGW94] specifications...

Cited by:   More
The Theory of Task Scheduling in Real-Time Systems: Compilation.. - Koch (1999)   (Correct)
A Probabilistic Framework for Schedulability Analysis - Burns, Bernat, Broster (2003)   (Correct)
Why You Can't Analyze RTOSs without Considering Applications and .. - Schneider (2002)   (Correct)

Similar documents (at the sentence level):
5.6%:   Implementing Analysable Hard Real-time Sporadic Tasks in Ada 9X - Burns, Wellings (1994)   (Correct)

Active bibliography (related documents):   More   All
1.1:   A Performance Analysis of a Hard Real-time System - Bailey, Burns, Wellings.. (1994)   (Correct)
0.8:   The Olympus Attitude and Orbital Control System - A.. - Burns, Wellings.. (1993)   (Correct)
0.6:   The Use of Preemptive Priority-Based Scheduling for.. - Bailey, Fyfe.. (1993)   (Correct)

Similar documents based on text:   More   All
0.3:   A Structured Design Method for Hard Real-time Systems - Burns, Wellings (1993)   (Correct)
0.2:   Query-based Attitude Control of a Low Altitude.. - Lucisano, Lemmon (1994)   (Correct)
0.2:   Designing Hard Real-time Systems - Burns, Wellings (1992)   (Correct)

Related documents from co-citation:   More   All
6:   Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling - Audsley, Burns et al. - 1993
5:   Finding response times in a real-time system (context) - Joseph, Pandya - 1986
4:   A Practitioner 's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analy.. (context) - Klein, Ralya et al. - 1993

BibTeX entry:   (Update)

A. Burns and A. J. Wellings. Engineering a Hard Real-Time System: From Theory to Practice. Software-Practice and Experience, 25(7):705--26, 1995. http://citeseer.ist.psu.edu/burns95engineering.html   More

@article{ burns95engineering,
    author = "Alan Burns and Andy J. Wellings",
    title = "Engineering a Hard Real-time System: From Theory to Practice",
    journal = "Software - Practice and Experience",
    volume = "25",
    number = "7",
    pages = "705-726",
    year = "1995",
    url = "citeseer.ist.psu.edu/burns95engineering.html" }
Citations (may not include all citations):
1582   Scheduling algorithms for multiprogramming in a hard real-ti.. - Liu, Layland - 1973
528   Priority inheritance protocols: an approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
226   the complexity of fixed-priority scheduling of periodic, rea.. (context) - Leung, Whitehead - 1982
194   Applying new scheduling theory to static priority pre-emptiv.. - Audsley, Burns et al. - 1993
167   Calculating the maximum execution time of real-time programs (context) - Puschner, Koza - 1989
103   Experiments with a program timing tool based on source-level.. (context) - Park, Shaw - 1990
99   An extendible approach for analysing fixed priority hard rea.. - Tindell, Burns et al. - 1994
95   A Practitioner's Handbook for Real-Time Analysis: A Guide to.. (context) - Klein, Ralya et al. - 1993
69   Engineering and analysis of fixed priority schedulers - Katcher, Arakawa et al. - 1993
61   Software architecture for hard real-time applications: cycli.. (context) - Locke - 1992
51   Scheduling hard real-time systems: a review - Burns - 1991
19   The Olympus attitude and orbital control system: a case stud.. - Burns, Wellings et al. - 1993
15   Deadline monotonic scheduling theory and application (context) - Audsley, Burns et al. - 1993
14   Formal specification and proofs of inheritance protocols for.. (context) - Pilling, Burns et al. - 1990
6   Scheduling algorithms for hard real-time systems: a brief su.. (context) - Chang, Stankovic et al. - 1988
6   Implementation of the worst-case execution time analyser (context) - Forsyth - 1992
5   Engineering and analysis of real-time micro-kernels (context) - Katcher, Arakawa et al. - 1992
5   Bridging the gap between scheduling theory and reality (context) - Katcher, Arakawa et al. - 1991
4   York Software Engineering Limited (context) - Compiler, York et al. - 1991
4   Lecture Notes in Computer Science (context) - Burns, Lister et al. - 1987
3   Bridging the real-time gap between Ada 83 and Ada 9X (context) - Burns, Wellings - 1993
3   Implementing hard real-time systems: a case study (context) - Bailey, Burns et al. - 1992
2   Ada 9X: a technical summary (context) - Taft - 1992
2   Using offset information to analyse static pre-emptive sched.. (context) - Tindell - 1992



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/spetoc.htm):   More
Linkage Analysis of Processes - Yaung, Raz (1992)   (Correct)
A Scheme for Little Languages in Interactive Graphics - Beckman (1991)   (Correct)
A Dataflow Approach to Event-based Debugging - Olsson, Crawford, Ho (1991)   (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