Input-dependency analysis for hard real-time software

The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid respectively eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development

Simulation of polar stratospheric clouds in the chemistry-climate-model EMAC via the submodel PSC

The submodel PSC of the ECHAM5/MESSy Atmospheric Chemistry model (EMAC) has been developed to simulate the main types of polar stratospheric clouds (PSC). The parameterisation of the supercooled ternary solutions (STS, type 1b PSC) in the submodel is based on Carslaw et al. (1995b), the thermodynamic approach to simulate ice particles (type 2 PSC) on Marti and Mauersberger (1993). For the formation of nitric acid trihydrate (NAT) particles (type 1a PSC) two different parameterisations exist. The first is based on an instantaneous thermodynamic approach from Hanson and Mauersberger (1988), the second is new implemented and considers the growth of the NAT particles with the aid of a surface growth factor based on Carslaw et al. (2002). It is possible to choose one of this NAT parameterisation in the submodel. This publication explains the background of the submodel PSC and the use of the submodel with the goal of simulating realistic PSC in EMAC

A model study of the January 2006 low total ozone episode over Western Europe and comparison with ozone sonde data

Total column and stratospheric ozone levels at mid-latitudes often reveal strong fluctuations on time scales of days caused by dynamic processes. In some cases the total ozone column is distinctly reduced below climatological values. Here, a very low total ozone episode around 19 January 2006 over Western Europe is investigated when the observed total ozone column over Uccle (BE), measured by a Brewer spectrophotometer, reached a daily minimum of 200 DU, the lowest recorded value at this station. In order to investigate the mechanisms leading to the ozone minimum, the present study used data from (i) six ozone sounding stations in Western and Middle Europe, (ii) ECMWF meteorological fields, (iii) a simulation of the CLaMS model for January 2006, (iv) a multi-year run of the chemistry transport model KASIMA, and (v) a six-year run of the climate chemistry model ECHAM5/MESSy1. The ozone decrease at different heights was quantified and it was determined to what extent different transport mechanisms, and instantaneous, in-situ chemical ozone depletion contributed to the event. All three models reproduced the evolution and formation of the event. The ozone column decrease between Theta=300 and 750K was strongest at Uccle (BE) and De Bilt (NL) with 108 and 103 DU, respectively, and somewhat lower at Hohenpeissenberg (DE), Payerne (CH), Prague (CZ) and Lerwick (UK) with 85, 84, 83 and 74 DU, respectively. This analysis demonstrated that mainly the displacement of the ozone depleted polar vortex contributed to the ozone column decrease. Advection of ozone-poor low-latitude air masses was important in the UTLS region. The vertical displacement of isentropes connected with divergence of air out of the column was found to be of minor importance compared to the horizontal transport processes. Severe low total ozone episodes seem to occur when the mentioned mechanisms are superimposed. Instantaneous, in-situ chemical ozone depletion accounted for only 2+/-1% of the overall total ozone decrease at the sounding stations

Calculating WCET Estimates from Timed Traces

© The Author(s) 2015. This article is published with open access at Springerlink.comReal-time systems engineers face a daunting duty: They must ensure that each task in their system can always meet its deadline. To analyse schedulability they must know the worst-case execution time (WCET) of each task. However, determining exact WCETs is practically infeasible in cost-constrained industrial settings involving real-life code and COTS hardware. Static analysis tools that could yield sufficiently tight WCET bounds are often unavailable. As a result, interest in portable analysis approaches like measurement-based timing analysis (MBTA) is growing. We present an approach based on integer linear programming (ILP) for calculating a WCET estimate from a given database of timed execution traces. Unlike previous work, our method specifically aims at reducing overestimation, by means of an automatic classification of code executions into scenarios with differing worst-case behaviour. To ease the integration into existing analysis tool chains, our method is based on the implicit path enumeration technique (IPET). It can thus reuse flow facts from other analysis tools and produces ILP problems that can be solved by off-the-shelf solvers.Peer reviewe

Radiocarbon dating organic residues at the microgram level

Relation between submilligram sample size and {sup 14}C activity for sample blanks (wood from Pliocene sediments) and a contemporary standard (oxalic acid) for catalytically reduced graphitic carbon was examined down to 20 micrograms. Mean age of the 1 mg wood sample blanks is now about 51.3 ka (0.168 pMC) while the mean for 20 microgram sample blanks is about 42.9 ka. So far, the lowest value for a 1-mg wood sample blank is about 60.5 ka (0.056 pMC). We have determined a mean {sup 14}C age of about 9.4 ka from a suite of 7 organic extracts from hair, bone, and matting from a mummified human skeleton from Spirit Cave, Nevada. These data indicate that the Spirit Cave human is the third, oldest directly-dated, human skeleton currently known from North America