Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical real-time systems, e. g., in the avionics and automotive fields. Starting with the initial works of Chen, Mok, Puschner, Shaw, and others in the mid and late 1980s, WCET analysis turned into a well-established and vibrant field of research and development in academia and industry. The increasing number and diversity of hardware and software platforms and the ongoing rapid technological advancement became drivers for the development of a wide array of distinct methods and tools for WCET analysis. The precision, generality, and efficiency of these methods and tools depend much on the expressiveness and usability of the annotation languages that are used to describe feasible and infeasible program paths. In this article we survey the annotation languages which we consider formative for the field. By investigating and comparing their individual strengths and limitations with respect to a set of pivotal criteria, we provide a coherent overview of the state of the art. Identifying open issues, we encourage further research. This way, our approach is orthogonal and complementary to a recent approach of Wilhelm et al. who provide a thorough survey of WCET analysis methods and tools that have been developed and used in academia and industry.     

An introduction to the shift realization for finite dimensional continuous time systems

A new approach is presented for the realization of continuous-time finite dimensional linear systems. Using standard results on Laplace transforms our results are also used to present a new derivation of Fuhrmann's shift realization for rational matrix functions.     

Photo-vulcanization using thiol-ene chemistry: Film formation,morphology and network characteristics of UV crosslinked rubber latices

The photo-vulcanization with versatile thiol-ene chemistry represents an innovative approach to crosslink diene-rubber materials both in latex and in solid film state. In this work, the structure of elastomer-based thiol-ene networks and the morphology after film formation are studied in detail using electron microscopic techniques, atomic force microscopy and multiple-quantum solid-state NMR spectroscopy. Additionally, film formation properties and corresponding macroscopic properties of photo-vulcanized natural rubber (NR) latex and its synthetic counterpart, isoprene rubber (IR) latex, are determined in dependence on the curing procedure (pre- and post-vulcanization). The results reveal that thiol-ene cured elastomers comprise homogenously distributed crosslinks with a low amount of short chain defects. Whilst photochemically pre-cured NR latex particles provide coherent films, the film formation and mechanical properties of IR are strongly governed by the crosslink density of the latex particles. In film state, photo-vulcanization promotes narrow crosslink distributions and excellent tensile properties of both NR and IR.     

Simultaneous Detection of Positive and Negative Ions From Single Airborne Particles by Real-time Laser Mass Spectrometry

ABSTRACT

The instrumental setup used for simultaneous bipolar ion detection in on-line single-particle analysis by laser mass spectrometry is described. Particle size calibration has been performed using aerodynamic time-of-flight techniques. Mass spectra of several hundred ambient particles with aerodynamic diameters of 0.8 μm have been evaluated for statistical classification (Principal Components Analysis [PCA]) in order to identify main chemical components of the prominent particle classes.     

Test Time Minimization for Hybrid BIST of Core-Based Systems

This paper presents a solution to the test time minimization problem for core-based systems. We assume a hybrid BIST approach, where a test set is assembled, for each core, from pseudorandom test patterns that are generated online, and deterministic test patterns that are generated off-line and stored in the system. In this paper we propose an iterative algorithm to find the optimal combination of pseudorandom and deterministic test sets of the whole system, consisting of multiple cores, under given memory constraints, so that the total test time is minimized. Our approach employs a fast estimation methodology in order to avoid exhaustive search and to speed-up the calculation process. Experimental results have shown the efficiency of the algorithm to find near optimal solutions.     

Deformation Characteristics of Steel Billets with Liquid Core

To investigate the deformation characteristics of billets with liquid core during soft reduction and to clarify the correlation between internal cracks and deformation of the billet in the mushy zone, a fully coupled thermo‐mechanical Finite Element Model was developed in ABAQUS, furthermore, casting and soft reduction tests were carried out in a laboratory strand casting machine. During soft reduction the temperature distribution, the stress and strain states in the billet were calculated, the deformation characteristics of the billet during soft reduction were determined and the relation between internal cracks and equivalent plastic strain as well as maximal principal stress was analysed. The results show that tensile stresses can develop in the mushy zone during soft reduction and the equivalent strain nearby the Zero Ductility Temperature (ZDT) increases with a decreasing solid fraction. Internal cracks can be initiated when the accumulated strain exceeds the critical strain and /or the applied tensile stress exceeds the critical fracture stress during solidification. In addition, the factors (reduction efficiency and internal cracks) that should be considered to determine the optimal parameter for the soft reduction were established.     

A two-stage subsurface vertical flow constructed wetland for high-rate nitrogen removal.

By using a two-stage constructed wetland (CW) system operated with an organic load of 40 gCOD.m(-2).d(-1) (2 m2 per person equivalent) average nitrogen removal efficiencies of about 50% and average nitrogen elimination rates of 980 g N.m(-2).yr(-1) could be achieved. Two vertical flow beds with intermittent loading have been operated in series. The first stage uses sand with a grain size of 2-3.2 mm for the main layer and has a drainage layer that is impounded; the second stage sand with a grain size of 0.06-4 mm and a drainage layer with free drainage. The high nitrogen removal can be achieved without recirculation thus it is possible to operate the two-stage CW system without energy input. The paper shows performance data for the two-stage CW system regarding removal of organic matter and nitrogen for the two year operating period of the system. Additionally, its efficiency is compared with the efficiency of a single-stage vertical flow CW system designed and operated according to the Austrian design standards with 4 m2 per person equivalent. The comparison shows that a higher effluent quality could be reached with the two-stage system although the two-stage CW system is operated with the double organic load or half the specific surface area requirement, respectively. Another advantage is that the specific investment costs of the two-stage CW system amount to 1,200 EUR per person (without mechanical pre-treatment) and are only about 60% of the specific investment costs of the singe-stage CW system.