Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Reasoning about deadlines in concurrent real-time programs

We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machine-dependent task. The latter takes into account the execution times of the program on a particular machine. Therefore, our goal is to make the machine-dependent phase of the analysis as simple as possible. We succeed in the sense that the machine-dependent phase remains the same as in the analysis of sequential programs. We shift the complexity introduced by concurrency completely to the machine-independent phase.

A systematic review and meta-analysis of Northern Hemisphere season of birth studies in schizophrenia

Based on the epidemiological finding that individuals with schizophrenia tend to be born in winter/spring when compared to the general population, we examined (1) the strength and timing of this effect in Northern Hemisphere sites, and (2) the correlation between the season of birth effect size and latitude. Studies were located via electronic data sources, published citations, and letters to authors. Inclusion criteria were that studies specify the diagnostic criteria used, that studies specify the counts of schizophrenia and general population births for each month, and that subjects and the general population be drawn from the same birth years and catchment area. We extracted data from eight studies based on 126,196 patients with schizophrenia and 86,605,807 general population births and drawn from 27 Northern Hemisphere sites. Comparing winter/spring versus summer/autumn births, we found a significant excess for winter/spring births (pooled odds ratio = 1.07; 95% confidence interval 1.05, 1.08; population attributable risk = 3.3%). There was a small but significant positive correlation between the odds ratios for the season of birth comparison and latitude (r = 0.271, p < 0.005). Furthermore, the shape of the seasonality in schizophrenia births varied by latitude band. These variations may encourage researchers to generate candidate seasonally fluctuating exposures.

The effect of timing and severity of water deficit on growth, development, yield accumulation and nitrogen fixation of mungbean

Mungbean (Vigna radiata L.), as a dryland grain legume, is exposed to varying timing and severity of water deficit, which results in variability in grain yield, nitrogen accumulation and grain quality. In this field study, mungbean crops were exposed to varying timing and severity of water deficit in order to examine: (1) contribution of the second flush of pods to final grain yield with variable timing of relief from water deficit, (2) the sensitivity to water deficit of the accumulation of biomass and nitrogen (N) and its partitioning to grain, and (3) how the timing of water deficit affects the pattern of harvest index (HI) increase through pod filling. The results showed that the contribution of the second flush to final yield is highly variable (1-56%) and can be considerable, especially where mid-season stress is relieved at early pod filling. The capacity to produce a second flush of pods did not compensate fully for yield reduction due to water stress. Relief from mid-season stress also resulted in continued leaf production, N-2 fixation and vegetative biomass accumulation during pod filling. Despite the wide variation in the degree of change in vegetative biomass and N during pod filling, there were strong relationships between grain yield and net-above-ground biomass at maturity, and grain N and above-ground N at maturity. Only in the extreme situations were HI and nitrogen HI affected noticeably. In those treatments where there was a large second flush of pods, there was a pronounced biphasic pattern to pod number production, with HI also progressing through two distinct phases of increase separated by a plateau. The proportion of grain yield contributed to by biomass produced before pod filling varied from 0 to 61% with the contribution greatest under terminal water deficit. There was a larger effect of water deficit on N accumulation, and hence N-2 fixation, than on biomass accumulation. The study confirmed the applicability of a number of long-standing physiological concepts to the analysis of the effect of water deficit on mungbean, but also highlighted the difficulty of accounting for timing effects of water deficit where second flushes of pods alter canopy development, biomass and yield accumulation, and N dynamics. Crown Copyright (C) 2003 Published by Elsevier B.V. All rights reserved.

Analysis of articulatory dynamics in dysarthria following brain injury in childhood using electromagnetic articulography and electropalatography

Two physiological assessments, electromagnetic articulography (EMA) and electropalatography (EPG), were used simultaneously to investigate the articulatory dynamics in an 18-year-old male with dysarthria 9 years following traumatic brain injury (TBI). Eight words consisting of /t, s, integral, k/ in word initial and word final positions were produced up to 10 times. A nonneurologically impaired male served as a control subject. Six parameters were analyzed using EMA: velocity, acceleration, deceleration, distance, duration, and motion path of tongue movements. Using EPG, the pattern and amount of tongue-to-palate contact and the duration of the closure/constriction phase of each consonant produced were assessed. Timing disturbances in the TBI speaker's speech were highlighted in perceptual assessments in the form of prolonged phonemes and a reduced speech rate. EMA analysis revealed that the approach and release phase durations of the consonant productions were within normal limits. Kinematic strategies such as decreased velocity and decreased distances traveled by the tongue, however, may have counterbalanced each other to produce these appropriate results. EPG examination revealed significantly longer closure/constriction phase periods, which may have contributed to the prolonged phonemes and reduced speech rate observed. The implications of these findings for the development of treatment programs for dysarthria subsequent to TBI will be highlighted.