Design and Validation of Embedded Real-Time Applications

International audienceThe design and validation of embedded real-time applications is challenging, especially when legacy sub-systems are involved. To account for the uncertainty in system-development at early design stages we use statistical modelling and discrete event simulation to perform sensitivity analysis. These analysis results provide vital information about the system characteristics and indicate usage scenarios where the behaviour of the system differs significantly from the average case. Based on the simulation results and the initial system requirements a usage model for the application is being set up. The model represents the requirements in an unambiguous and traceably correct manner. For each possible path through the model, considering stimuli and their timing, a unique system reaction is defined. This way the requirements are clarified. The usage model allows the derivation of test cases that can be used in the design phase to validate the model and in the acceptance phase to test the final system. Through the combination of the simulation results and the usage modelling we are able to:•identify critical system conditions.•validate the system design w.r.t. the usage modelThe proposed methods are currently applied in both the design and validation of safety critical applications

The Pauli equation with complex boundary conditions

We consider one-dimensional Pauli Hamiltonians in a bounded interval with possibly non-self-adjoint Robin-type boundary conditions. We study the influence of the spin-magnetic interaction on the interplay between the type of boundary conditions and the spectrum. A special attention is paid to PT-symmetric boundary conditions with the physical choice of the time-reversal operator T.Comment: 16 pages, 4 figure

PT-symmetric models in curved manifolds

We consider the Laplace-Beltrami operator in tubular neighbourhoods of curves on two-dimensional Riemannian manifolds, subject to non-Hermitian parity and time preserving boundary conditions. We are interested in the interplay between the geometry and spectrum. After introducing a suitable Hilbert space framework in the general situation, which enables us to realize the Laplace-Beltrami operator as an m-sectorial operator, we focus on solvable models defined on manifolds of constant curvature. In some situations, notably for non-Hermitian Robin-type boundary conditions, we are able to prove either the reality of the spectrum or the existence of complex conjugate pairs of eigenvalues, and establish similarity of the non-Hermitian m-sectorial operators to normal or self-adjoint operators. The study is illustrated by numerical computations.Comment: 37 pages, PDFLaTeX with 11 figure

On the similarity of Sturm-Liouville operators with non-Hermitian boundary conditions to self-adjoint and normal operators

We consider one-dimensional Schroedinger-type operators in a bounded interval with non-self-adjoint Robin-type boundary conditions. It is well known that such operators are generically conjugate to normal operators via a similarity transformation. Motivated by recent interests in quasi-Hermitian Hamiltonians in quantum mechanics, we study properties of the transformations in detail. We show that they can be expressed as the sum of the identity and an integral Hilbert-Schmidt operator. In the case of parity and time reversal boundary conditions, we establish closed integral-type formulae for the similarity transformations, derive the similar self-adjoint operator and also find the associated "charge conjugation" operator, which plays the role of fundamental symmetry in a Krein-space reformulation of the problem.Comment: 27 page

Differences in preservice teachers’ readiness to use ICT in education and development of TPACK

Education for the 21st century society requires the use of Information and Communication Technology (ICT) in education. This presents challenges for preservice teacher education. Thus, more cognate understanding about preservice teachers’ readiness to use ICT in education, coupled with knowledge related to ICT in education, is needed. Furthermore, it is important to understand that preservice teachers have various levels of readiness to use ICT in education, thereby creating a demand to investigate sub-groups within preservice teachers. This study focuses on differences of readiness and development of knowledge between preservice teachers’ based on two theoretical constructs: Theory of Planned Behavior and TPACK. Results indicate differences in readiness of preservice teachers’ sub-groups. Still, positive development trends in terms of knowledge of ICT in education can be found during the first two years of preservice teacher education. Limitations and future research are discussed

The Effect of Ghrelin upon the Early Immune Response in Lean and Obese Mice during Sepsis

Introduction It is well established that obesity-related hormones can have modulatory effects associated with the immune response. Ghrelin, a hormone mainly derived from endocrine cells of the gastric mucosa, regulates appetite, energy expenditure and body weight counteracting leptin, a hormone mainly derived from adipocytes. Additionally, receptors of both have been detected on immune cells and demonstrated an immune regulatory function during sepsis. Methods In the present study, the effect of peripheral ghrelin administration on early immune response and survival was investigated with lean mice and mice with diet-induced obesity using cecal ligation and puncture to induce sepsis. Results In the obese group, we found that ghrelin treatment improved survival, ameliorated hypothermia, and increased hyperleptinemia as compared to the lean controls. We also observed that ghrelin treatment divergently regulated serum IL-1 beta and TNF-alpha concentrations in both lean and obese septic mice. Ghrelin treatment initially decreased but later resulted in increased bacteriaemia in lean mice while having no impact upon obese mice. Similarly, ghrelin treatment increased early neutrophil oxidative burst while causing a decrease 48 hours after sepsis inducement. Conclusion In conclusion, as the immune response to sepsis temporally changes, ghrelin treatment differentially mediates this response. Specifically, we observed that ghrelin conferred protective effects during the early phase of sepsis, but during the later phase deteriorated immune response and outcome. These adverse effects were more pronounced upon lean mice as compared to obese mice

From multiple perspectives to shared understanding

The aim of this study was to explore how learners operating in a small group reach shared understanding as they work out joint research questions and build a theoretical framework and to identify the resources and tools they used in the process. The learners’ own interpretations of their group activities and learning were also taken into account. The data, consisting of group discussions and the documents produced by the group, were subjected to a qualitative content analysis. The group members employed a variety of resources and tools to exchange their individual perspectives and achieve shared understanding. Summaries of relevant literature laid a foundation for the group’s theoretical discussions. Reflective comparisons between their book knowledge and their personal experiences of online interaction and collaboration were frequent, suggesting that such juxtapositions may have enhanced their learning by intertwining the content to be mastered and the activities entailed by this particular content

Scattering in the PT-symmetric Coulomb potential

Scattering on the ${\cal PT}$-symmetric Coulomb potential is studied along a U-shaped trajectory circumventing the origin in the complex $x$ plane from below. This trajectory reflects ${\cal PT}$ symmetry, sets the appropriate boundary conditions for bound states and also allows the restoration of the correct sign of the energy eigenvalues. Scattering states are composed from the two linearly independent solutions valid for non-integer values of the 2L parameter, which would correspond to the angular momentum in the usual Hermitian setting. Transmission and reflection coefficients are written in closed analytic form and it is shown that similarly to other ${\cal PT}$-symmetric scattering systems the latter exhibit handedness effect. Bound-state energies are recovered from the poles of the transmission coefficients.Comment: Journal of Physics A: Mathematical and Theoretical 42 (2009) to appea

Beta-delayed-neutron studies of 135,136^{135,136}Sb and 140^{140}I performed with trapped ions

Beta-delayed-neutron ($\beta$n) spectroscopy was performed using the Beta-decay Paul Trap and an array of radiation detectors. The $\beta$n branching ratios and energy spectra for $^{135,136}$Sb and $^{140}$I were obtained by measuring the time of flight of recoil ions emerging from the trapped ion cloud. These nuclei are located at the edge of an isotopic region identified as having $\beta$n branching ratios that impact the r-process abundance pattern around the A~130 peak. For $^{135,136}$Sb and $^{140}$I, $\beta$n branching ratios of 14.6(11)%, 17.6(28)%, and 7.6(28)% were determined, respectively. The $\beta$n energy spectra obtained for $^{135}$Sb and $^{140}$I are compared with results from direct neutron measurements, and the $\beta$n energy spectrum for $^{136}$Sb has been measured for the first time

Measurement of Scintillation and Ionization Yield and Scintillation Pulse Shape from Nuclear Recoils in Liquid Argon

We have measured the scintillation and ionization yield of recoiling nuclei in liquid argon as a function of applied electric field by exposing a dual-phase liquid argon time projection chamber (LAr-TPC) to a low energy pulsed narrow band neutron beam produced at the Notre Dame Institute for Structure and Nuclear Astrophysics. Liquid scintillation counters were arranged to detect and identify neutrons scattered in the TPC and to select the energy of the recoiling nuclei. We report measurements of the scintillation yields for nuclear recoils with energies from 10.3 to 57.3 keV and for median applied electric fields from 0 to 970 V/cm. For the ionization yields, we report measurements from 16.9 to 57.3 keV and for electric fields from 96.4 to 486 V/cm. We also report the observation of an anticorrelation between scintillation and ionization from nuclear recoils, which is similar to the anticorrelation between scintillation and ionization from electron recoils. Assuming that the energy loss partitions into excitons and ion pairs from $^{83m}$Kr internal conversion electrons is comparable to that from $^{207}$Bi conversion electrons, we obtained the numbers of excitons ($N_{ex}$) and ion pairs ($N_i$) and their ratio ($N_{ex}/N_i$) produced by nuclear recoils from 16.9 to 57.3 keV. Motivated by arguments suggesting direction sensitivity in LAr-TPC signals due to columnar recombination, a comparison of the light and charge yield of recoils parallel and perpendicular to the applied electric field is presented for the first time.Comment: v2 to reflect published versio