Timing analysis of optimised code

Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capable to produce small and efficient code, software development for DHRTS today is mostly done in high-level languages instead of assembly code. Execution path information available at source code (flow facts) therefore have to be transformed correctly in accordance with code optimisations by the compiler to allow safe and precise WCET analysis. In this paper we present a framework based on abstract interpretation to perform this mandatory transformation of flow facts. Conventional WCET analysis approaches use this information to analyse the object code

Initial synchronisation of wideband and UWB direct sequence systems: single- and multiple-antenna aided solutions

This survey guides the reader through the open literature on the principle of initial synchronisation in single-antenna-assisted single- and multi-carrier Code Division Multiple Access (CDMA) as well as Direct Sequence-Ultra WideBand (DS-UWB) systems, with special emphasis on the DownLink (DL). There is a paucity of up-to-date surveys and review articles on initial synchronization solutions for MIMO-aided and cooperative systems - even though there is a plethora of papers on both MIMOs and on cooperative systems, which assume perfect synchronization. Hence this paper aims to ?ll the related gap in the literature

Initial and Post-Initial Acquisition in the Serial Search Based Noncoherent Multiple Transmit/Receive Antenna Aided DS-CDMA Downlink

In this paper we investigate the issues of both initial and post-initial acquisition schemes in the multiple transmit/receive antenna aided DS-CDMA downlink, when communicating over uncorrelated Rayleigh channels. The associated Mean Acquisition Time (MAT) performance trends are characterised as a function of the number of transmit/receive antennas. Furthermore, we characterise both the initial and post-initial acquisition performance as a function of the relevant system parameters. It is demonstrated that in contrast to our expectations, the achievable MAT degrades at low Ec/Io values, except for the case of P = 2 transmit antennas operating in conjunction with R=1 receive antenna over the specific Signal-to-Interference plus Noise Ratio (SINR) per chip (Ec/Io) range considered, as the number of transmit antennas is increased. Ironically, our findings suggest that increasing the number of transmit antennas in a MIMO-aided CDMA system results in combining the low-energy, noise-contaminated signals of the transmit antennas, which ultimately increases the MAT by an order of magnitude, when the SINR is relatively low. This phenomenon has a detrimental effect on the performance of Rake receiver based synchronisation schemes, when the perfectly synchronised system is capable of attaining its target bit error rate performance at reduced SINR values, as a benefit of employing multiple transmit antennas. Therefore our future research will be focused on specifically designing acquisition schemes for MIMO systems

Exploiting Parallelization in Spatial Statistics: an Applied Survey using R.

Computing tasks may be parallelized top-down by splitting into per-node chunks when the tasks permit this kind of division, and particularly when there is little or no need for communication between the nodes. Another approach is to parallelize bottom-up, by the substitution of multi-threaded low-level functions for single-threaded ones in otherwise unchanged user-level functions. This survey examines the timings of typical spatial data analysis tasks across a range of data sizes and hardware under different combinations of these two approaches. Conclusions are drawn concerning choices of alternatives for parallelization, and attention is drawn to factors conditioning those choices.Statistical software; Parallelization; Optimized linear algebra subroutines; Multicore processors; Spatial statistics.

Self-consistent simulation of plasma scenarios for ITER using a combination of 1.5D transport codes and free-boundary equilibrium codes

Self-consistent transport simulation of ITER scenarios is a very important tool for the exploration of the operational space and for scenario optimisation. It also provides an assessment of the compatibility of developed scenarios (which include fast transient events) with machine constraints, in particular with the poloidal field (PF) coil system, heating and current drive (H&CD), fuelling and particle and energy exhaust systems. This paper discusses results of predictive modelling of all reference ITER scenarios and variants using two suite of linked transport and equilibrium codes. The first suite consisting of the 1.5D core/2D SOL code JINTRAC [1] and the free boundary equilibrium evolution code CREATE-NL [2,3], was mainly used to simulate the inductive D-T reference Scenario-2 with fusion gain Q=10 and its variants in H, D and He (including ITER scenarios with reduced current and toroidal field). The second suite of codes was used mainly for the modelling of hybrid and steady state ITER scenarios. It combines the 1.5D core transport code CRONOS [4] and the free boundary equilibrium evolution code DINA-CH [5].Comment: 23 pages, 18 figure