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)
Recent results in the application of scheduling theory to dependable real-time systems are reviewed. The review takes the form of an analysis of the problems presented by different application requirements and characteristics. Issues covered include uniprocessor and multiprocessor systems, periodic and aperiodic processes, static and dynamic algorithms,(More)
SUMMARY 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.(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 stomatogastric nervous system plays a pivotal role in feeding behaviour. Central to this system is the frontal ganglion, which is responsible for foregut motor activity, and hence the passage of food through the gut. Many insect peptides, which exhibit myoactivity on the visceral muscles of the gut in vitro, have been detected in the stomatogastric(More)
1. Schistocerca gregaria ion-transport peptide (Scg-ITP) was isolated from aqueous extracts of the corpus cardiacum by a four-step procedure, utilizing reverse-phase high-performance liquid chromatography for separation and stimulation of a Cl(-)-dependent short-circuit current (Isc) across locust ilea as the bioassay. 2. Scg-ITP has an unblocked N terminus(More)