Neil C. Audsley

Learn More
The paper presents exact schedulability analyses for real-time systems scheduled at run-time with a static priority pre-emptive dispatcher. The tasks to be scheduled are allowed to experience internal blocking (from other tasks with which they share resources) and (with certain restrictions) release jitter — such as waiting for a message to arrive. The(More)
Within the hard real-time community, static priority pre-emptive scheduling is receiving increased attention. Current optimal priority assignment schemes require that at some point in the system lifetime all tasks must be released simultaneously. Two main optimal priority assignment schemes have been proposed: rate-monotonic, where task period equals(More)
From its roots in job-shop scheduling, research into fixed priority pre-emptive scheduling theory has progressed from the artificial constraints and simplistic assumptions used in early work to a sufficient level of maturity that it is being increasingly used in the implementation of real-time systems. It is therefore appropriate that within this special(More)
The scheduling of processes to meet deadlines is a difficult problem often simplified by placing severe restrictions upon the timing characteristics of individual processes. One restriction often introduced is that processes must have deadline equal to period. This paper investigates schedulability tests for sets of periodic processes whose deadlines are(More)
In static priority pre-emptive scheduling there are two areas of related work: priority assignment and feasibility analysis [1]. Given a priority ordering over a task set, feasibility analysis determines whether all task deadlines will be met at run-time. In synchronous periodic systems, all tasks are periodic and are initially released simultaneously.(More)
The STRESS environment is a collection of CASE tools for analysing and simulating the behaviour of hard real-time safety-critical applications. It is primarily intended as a means by which various scheduling and resource management algorithms can be evaluated, but can also be used to study the general behaviour of applications and real-time kernels. This(More)
Upon mating, females of many animal species undergo dramatic changes in their behavior. In Drosophila melanogaster, postmating behaviors are triggered by sex peptide (SP), which is produced in the male seminal fluid and transferred to female during copulation. SP modulates female behaviors via sex peptide receptor (SPR) located in a small subset of internal(More)
The triple co-localisation of peptidergic material immunoreactive to antisera raised against allatostatins of the Y/FXFGL-NH2 type, Manduca sexta allatostatin (Mas-AS), and allatotropin has been demonstrated in a single pair of anterodorsal neurones in the frontal ganglion of the tomato moth, Lacanobia oleracea (Noctuidae). Another pair of posterior(More)
Real-time systems need time-predictable platforms to allow static analysis of the worst-case execution time (WCET). Standard multi-core processors are optimized for the average case and are hardly analyzable. Within the T-CREST project we propose novel solutions for time-predictable multi-core architectures that are optimized for the WCET instead of the(More)