Iain John Bate  Home/Search
Context Related
| cs.york.ac.uk/ftpdir/...YCST9904.ps.Z cs.york.ac.uk/reports...YCST9904.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: cs.york.ac.uk/ftpdir/reports/ (more) From: cs.york.ac.uk/utc/ijb (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often difficult. Safety critical systems are different to other systems because a failure to meet a requirement may lead to a catastrophic effect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on verification and validation of software than with other types of systems. Safety critical systems are found in a wide range of industries including;... (Update)
Context of citations to this paper: More
...jitter of frame j. The # is used to eliminate edge effects where a high priority frame becomes ready as a medium priority one completes [2]. E i (t) is some function which returns the overhead due to faults in period t, this will be explained in section 3.3. Equation (1)...
Cited by: More
Comparing Real-time Communication under Electromagnetic.. - Ian Broster Alan (2004) (Correct)
Architectural Considerations in the Certification of Modular.. - Bate, Kelly (2003) (Correct)
Flexible Design of Complex High-Integrity Systems Using Trade .. - Biswa Sengupta Iain (Correct)
Active bibliography (related documents): More All
2.2: Investigation of the Pessimism in Distributed Systems Timing.. - Bate, Burns (1998) (Correct)
1.6: An Approach to Task Attribute Assignment for Uniprocessor Systems - Bate, Burns (Correct)
1.3: Impact of Embedded Systems Evolution on RTOS Use and Design - David Andrews Iain (Correct)
Similar documents based on text: More All
0.0: A Process and Retrospection on Creating a Domain Model for.. - Batory (1993) (Correct)
0.0: A Domain Model for Avionics Software - Batory (1992) (Correct)
0.0: The Design and Performance of a Real-Time CORBA Scheduling.. - Gill, Levine, Schmidt (1999) (Correct)
Related documents from co-citation: More All
3: Software architecture for hard real-time applications: Cyclic executives vs (context) - Locke - 1992
3: Arguing Safety - A Systematic Approach to Safety Case Management (context) - Kelly - 1999
2: CAN Specification (context) - GmbH
BibTeX entry: (Update)
I. Bate, Scheduling and Timing Analysis for SafetyCritical Systems. PhD thesis, Department of Computer Science, University of York, November 1998. http://citeseer.ist.psu.edu/bate98scheduling.html More
@misc{ bate98scheduling,
author = "I. Bate",
title = "Scheduling and Timing Analysis for SafetyCritical Systems",
text = "I. Bate, Scheduling and Timing Analysis for SafetyCritical Systems. PhD
thesis, Department of Computer Science, University of York, November 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/bate98scheduling.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard real-ti.. - Liu, Layland - 1973
862 The Java Language Specification - Gosling, Joy et al. - 1996
572 Computers and intractability (context) - Garey, Johnson - 1979
528 Priority inheritance protocols: an approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
336 The rate-monotonic scheduling algorithm: Exact characterizat.. (context) - Lehoczky, Sha et al. - 1989
228 Simulated Annealing and Boltzmann Machines (context) - Aarts, Korst - 1989
226 the complexity of fixed-priority scheduling of periodic, rea.. (context) - Leung, Whitehead - 1982
173 Safeware: System Safety and Computers (context) - Leveson - 1995
162 Finding response times in a real-time system (context) - Joseph, Pandya - 1986
124 Hard real-time scheduling: The deadline monotonic approach - Audsley, Burns et al. - 1991
120 Fixed priority scheduling of periodic task sets with arbitra.. (context) - Lehoczky - 1990
102 Holistic schedulability analysis for distributed hard real t.. (context) - Clark, Tindell - 1994
98 Best-Effort Decision Making for Real-Time Scheduling (context) - Locke - 1986
88 Experience with processes and monitors in mesa - Lampson, Redell - 1980
85 Predicting program execution times by analyzing static and d.. (context) - Park - 1993
82 Real-time scheduling theory and ada (context) - Sha, Lui et al. - 1990
81 Fixed priority pre-emptive scheduling: an historical perspec.. (context) - Audsley, Burns et al. - 1995
71 Software considerations in airborne systems and equipment ce.. (context) - Inc - 1992
69 Real-Time Systems and Programming Languages (context) - Burns, Wellings - 1997
69 Engineering and analysis of fixed priority schedulers - Katcher, Arakawa et al. - 1993
65 Guaranteeing real-time requirements with resource-based cali.. - Gerber, Hong et al. - 1995
61 Software architecture for hard real-time applications: cycli.. (context) - Locke - 1992
56 Reference Manual for the Ada Programming Language (context) - of - 1983
54 Computer networks (context) - Tannenbaum - 1996
47 Fault tolerant membership service in a synchronous distribut.. (context) - Kopetz, Grunsteidl et al. - 1989
44 Error recovery in asynchronous systems (context) - Campbell, Randell - 1986
44 End-to-end scheduling to meet deadlines in distributed syste.. - Bettati, Liu - 1992
38 Dynamic end-to-end guarantees in distributed real-time syste.. - Di Natale, Stankovic - 1994
37 High Integrity Ada: The SPARK Approach (context) - Barnes - 1997
37 Design Principles for Distributed Embedded Applications (context) - Kopetz, Systems - 1997
35 Software Engineering with Ada (context) - Booch, Bryan - 1994
32 Formal methods: Use and relevance for the development of saf.. - McDermid, Barroca - 1992
30 A note on preemptive scheduling of periodic real-time tasks (context) - Leung - 1980
30 The procurement of safety critical software in defence equip.. (context) - Defence - 1991
29 Guaranteeing end-to-end timing constraints by calibrating in.. - Gerber, Hong et al. - 1994
28 Effective analysis for engineering real-time fixed priority .. (context) - Burns, Tindell et al. - 1995
24 The design of real-time systems: from specification to imple.. (context) - Kopetz, Zainlinger et al. - 1991
21 Fixed Priority Scheduling of Hard Real-Time Systems (context) - Tindell - 1994
20 Heuristic scheduling for distributed real-time systems (context) - Fohler, Koza - 1989
20 Flexible Scheduling of Hard Real-Time Systems (context) - Audsley - 1993
19 The olympus attitude and orbital control system, a case stud.. - Burns, Wellings et al. - 1993
19 Synchronization protocols in distributed real-time systems - Sun, Liu - 1996
16 A reservation based algorithm for scheduling both periodic a.. (context) - Shin, Chang - 1995
16 Scheduling algorithms for fault-tolerance in hard-real-time .. (context) - Bertossi, Mancini - 1994
15 Integrated communication and control systems: Part 1 - analy.. (context) - Ray, Helevi - 1988
15 Software Engineer's Reference Book (context) - McDermid - 1991
13 Optimized priority assignment for tasks and messages in dist.. (context) - Garcia, Harbour - 1995
12 Building a preliminary safety case: An example from aerospac.. (context) - Bate, Burns et al. - 1997
10 An optimal priority inheritance protocol for real-time synch.. (context) - Rajkumar, Sha et al. - 1988
10 Response times in level-structured systems (context) - Harter - 1984
10 Response times in level-structured systems (context) - Harter - 1987
9 Generic avionics software specification (context) - Locke, Goodenough - 1990
8 the enforcement of software safety policies (context) - Wika, Knight - 1995
8 Intermetrics Inc (context) - Language - 1995
8 Architecture of the space shuttle primary avionics software .. (context) - Carlow - 1984
7 Scalability in Real-Time Systems (context) - Yerraballi - 1996
6 A source level tool for predicting deterministic execution t.. (context) - Park, Shaw - 1989
6 Kernel for safety - Rushby - 1989
6 Fundamentals of implementing real-time control applications .. (context) - Torngren - 1998
6 Timing problems in realtime control systems: Problem formula.. (context) - Wittenmark, Nilsson et al. - 1995
6 Putting fixed priority scheduling into engineering practice .. (context) - Audsley, Bate et al. - 1996
5 The end of the road for static cyclic scheduling (context) - Audsley, Tindell et al. - 1993
4 Real-time safety-critical systems: analysis and synthesis (context) - Burns, McDermid - 1994
4 No more spineless safety cases: A structured method and comp.. (context) - Wilson, McDermid et al. - 1995
4 Best-case analysis for improving the worst-case schedulabili.. (context) - Gutierrez, Garcia et al. - 1998
3 A genetic algorithm tutorial (context) - Whitely - 1993
3 Safety kernels - specification and implementation (context) - Burns, Wellings - 1994
3 Dependability of the 777 primary flight control system (context) - Yeh - 1995
3 Holistic Scheduling Analysis for Distributed Hard Real-Time .. (context) - Tindell - 1993
3 Towards the timing analysis of integrated modular avionics s.. (context) - Grigg, Audsley - 1997
3 Real-time synchronisation protocols for multiprocessors (context) - Rajkumar, Sha et al. - 1988
3 the schedulability analysis for distributed real-time system.. (context) - Gutierrez, Garcia et al. - 1997
3 Generating feasible cyclic schedules (context) - Burns, Hayes et al. - 1995
2 ARINC 653: Avionics Application Software Standard Interface (context) - Application, Interface et al. - 1996
2 ASAAC phase I harmonized concept summary (context) - Edwards - 1994
2 Technology transfer and certification issues in safety criti.. (context) - Hutchesson, Hayes - 1998
2 Robust adaptive metrics for deadline assignment in distribut.. (context) - Shin, Jonsson - 1998
2 A processor-efficient scheme for supporting faulttolerance i.. - Oh, Son - 1995
2 Safety Management Requirements for Defence Systems (context) - Ministry, Defence et al. - 1996
2 a problem in real-time computing (context) - Joseph - 1985
2 Fixed priority scheduling of periodic tasks on multiprocesso.. (context) - Knight, Cass et al. - 1994
2 The potential for a generic approach to the certification of.. (context) - Papadopoulos, McDermid - 1999
2 Flexible scheduling for engine controllers (context) - Bate, Burns - 1997
1 Definition, design and implementation of control laws for va.. (context) - Shutler, Betteridge - 1994
1 Calculating the maximum time of real-time programs (context) - Puschner, Koza - 1989
1 Introduction to control theory (context) - Burghes, Graham - 1980
1 Scheduling of time critical processes (context) - Serling - 1972
1 of Defence, Defence Standard 00-55: Requirements for Safety-.. (context) - Ministry - 1996
1 The Oxford Quick Reference Dictionary (context) - Thompson - 1996
1 Integrated modular avionics and certification - an ima desig.. (context) - Fletcher, Wake et al. - 1998
1 Real-time computer systems: The next generation (context) - Stankovic - 1988
1 System Safety Program Requirements (context) - Standard - 1993
1 Multi-integrity level software on uni-processor systems (context) - Hutchesson - 1998
1 Customer needs for future controls (context) - Turner - 1994
1 Task-based scheduling of real-time processes (context) - Baker - 1991
1 Application of COTS technologies to aerospace gas turbine en.. (context) - Thompson - 1997
1 ARINC 659 scheduling problem (context) - Carpenter, Driscoll et al. - 1994
1 The overall incidence of transfer has been limited (context) - Randazeese - 1996
1 Making university / industry collaborative research succeed (context) - Bloeden - 1994
1 Guidance for the Use of the Ada Programming Language in High.. (context) - WG - 1998
1 COTS: The expensive solution (context) - McDermid - 1997
1 Models for technology transfer from universities and researc.. (context) - Dorf - 1988
1 Key issues in integrated modular avionics - IAWG viewpoint (context) - Edwards, Parr - 1994
1 Software Engineering (context) - Sommeville - 1995
1 The Olympus Attitude and Orbital Control System (context) - Burns, Wellings et al. - 1993
1 SPARK: the SPADE Ada kernel (edition 3.1 (context) - Carre - 1992
1 Flexible scheduling theory for advanced engine controllers (context) - Audsley, Bate et al. - 1996
1 Towards a fixed priority scheduler for an aircraft applicati.. (context) - Bate, Burns et al. - 1996
1 Observability and delay compensation of integrated communica.. (context) - Luck - 1989
Documents on the same site (http://www.cs.york.ac.uk/ftpdir/reports/): More
TAM Technical Notes 1 and 2 - Scholefield (1993) (Correct)
Debugging Distributed Ada Programs - Briggs, Jamieson, Randall, Wand (1994) (Correct)
Structuring Architectural Topologies for Real-Time.. - Nicholson, Burns (1997) (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