Towards a more practical model for mixed criticality systems

Abstract-Mixed Criticality Systems (MCSs) have been the focus of considerable study over the last six years. This work has lead to the definition of a standard model that allows processors to be shared efficiently between tasks of different criticality levels. Key aspects of this model are that a system is deemed to execute in one of a small number of criticality modes; initially the system is in the lowest criticality mode, but if any task executes for more than its predefined budget for this criticality level then a mode change is made to a higher criticality mode and all tasks of the lowest criticality level are abandoned (aborted). The initial criticality level is never revisited. This model has been useful in defining key properties of MCSs, but it does not form a useful basis for an actual implementation of a MCS. In this paper we consider the tradeoffs stemming from a consideration of what systems engineers require at run-time and the actual properties of the model that scheduling analysis guarantees. Alternative models are defined that allow low criticality tasks to continue to execute after a criticality mode change. The paper also addresses robust priority assignment

Separated Oscillatory Fields for High-Precision Penning Trap Mass Spectrometry

Ramsey's method of separated oscillatory fields is applied to the excitation of the cyclotron motion of short-lived ions in a Penning trap to improve the precision of their measured mass. The theoretical description of the extracted ion-cyclotron-resonance line shape is derived out and its correctness demonstrated experimentally by measuring the mass of the short-lived $^{38}$Ca nuclide with an uncertainty of $1.6\cdot 10^{-8}$ using the ISOLTRAP Penning trap mass spectrometer at CERN. The mass value of the superallowed beta-emitter $^{38}$Ca is an important contribution for testing the conserved-vector-current hypothesis of the electroweak interaction. It is shown that the Ramsey method applied to mass measurements yields a statistical uncertainty similar to that obtained by the conventional technique ten times faster.Comment: 5 pages, 4 figures, 0 table

Translation Representations and Scattering By Two Intervals

Studying unitary one-parameter groups in Hilbert space (U(t),H), we show that a model for obstacle scattering can be built, up to unitary equivalence, with the use of translation representations for L2-functions in the complement of two finite and disjoint intervals. The model encompasses a family of systems (U (t), H). For each, we obtain a detailed spectral representation, and we compute the scattering operator, and scattering matrix. We illustrate our results in the Lax-Phillips model where (U (t), H) represents an acoustic wave equation in an exterior domain; and in quantum tunneling for dynamics of quantum states

Positron and positronium affinities in the work-formalism Hartree-Fock approximation

Positron binding to anions is investigated within the work formalism proposed by Harbola and Sahni for the halide anions and the systems Li^- through O^- excluding Be^- and N^-. The toal ground-state energies of the anion-positron bound systems are empirically found to be an upper bound to the Hartree-Fock energies. The computed expectation values as well as positron and positronium affinities are in good agreement with their restricted Hartree-Fock counterparts. Binding of a positron to neutral species is also investigated using an iterative method.Comment: 12 pages, to appear in Physical Review

DFT Study of Planar Boron Sheets: A New Template for Hydrogen Storage

We study the hydrogen storage properties of planar boron sheets and compare them to those of graphene. The binding of molecular hydrogen to the boron sheet (0.05 eV) is stronger than that to graphene. We find that dispersion of alkali metal (AM = Li, Na, and K) atoms onto the boron sheet markedly increases hydrogen binding energies and storage capacities. The unique structure of the boron sheet presents a template for creating a stable lattice of strongly bonded metal atoms with a large nearest neighbor distance. In contrast, AM atoms dispersed on graphene tend to cluster to form a bulk metal. In particular the boron-Li system is found to be a good candidate for hydrogen storage purposes. In the fully loaded case this compound can contain up to 10.7 wt. % molecular hydrogen with an average binding energy of 0.15 eV/H2.Comment: 19 pages, 7 figures, and 3 table