Abstract:This editorial describes a special issue of papers from the 2014 workshop on Java Technologies for Real-Time and Embedded Systems.[1] There are four papers in this special issue. The ﬁ rst paper [2] presents HVM TP , a time predictable and portable Java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety-critical Java (SCJ) speci ﬁ cation. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ pro ﬁ le and harnessing the static knowledge of the hosted SCJ system. This paper presents HVM TP in terms of its design and capabilities and demonstrates how a complete timing model of the JVM represented as a network of timed automata can be obtained using the tool TETASARTS JVM . The timing model readily integrates with the rest of the TETASARTS toolset for temporal veri ﬁ cation of SCJ systems. A complete timing scheme in terms of safe worst-case execution times and best-case execution times of the Java bytecodes is derived from the model. The paper takes a ﬁ rst look at how to support the new Java 8 language feature of Lambda expressions in an SCJ context – looking in particular at how the bytecode, used for invoking Java 8 closures, can be implemented in a time-predictable way and integrated into HVM TP . The second paper [3] presents the motivation for and outcomes of an engineering research project on certi ﬁ able Java for embedded systems. The project supports the upcoming SCJ standard for safety-critical Java, which de ﬁ nes a subset of Java and libraries aiming for the development of high criticality systems. The outcome of this project includes prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools for memory safety, and example applications to explore the usability of safety-critical Java for this application area. The text summarizes developments and key contributions and concludes with the lessons learned. The third paper [4] presents a model-based development of a Technology Compatibility Kit test suite and a test execution tool for the draft safety-critical Java pro ﬁ le speci

Mithramycin in the treatment of systemic mastocytosis.

Selenium interaction with iron minerals: Quantitative comparison of sorption and coprecipitation impacts on mobility

Absorption and Biotransformation of Selenomethionine and Selenomethionine-Oxide by Wheat Seedlings (Triticum aestivum L.)

Uptake and translocation mechanisms of different forms of organic selenium in rice (Oryza sativa L.)

Special issue on 12th international workshop on Java technologies for real‐time and embedded systems (JTRES2014)

Kinetics of FeSe2 Oxidation by Ferric Iron and Its Reactivity Compared with FeS2

Laboratory study of Se speciation in the sediment and oligochaete Lumbriculus variegatus from an aquatic environment

Selenium-contaminated water: Recent advances in material function and adsorption performance

Probing the in Situ Redox Behavior of Selenium on a Pyrite Surface by Scanning Electrochemical Microscopy

Selenium fractions in organic matter from Se-rich soils and weathered stone coal in selenosis areas of China

Interaction of aqueous Se(IV)/Se(VI) with FeSe/FeSe2: Implication to Se redox process

Application of Fe-biochar composites for selenium (Se+6) removal from aqueous solution and effect of the presence of competing anions under environmentally relevant conditions

Mercury Methylation from Mercury Selenide Particles in Soils.

Speciation of Selenium Nanoparticles and Other Selenium Species in Soil: Simple Extraction Followed by Membrane Separation and ICP-MS Determination

Modes of selenium occurrence and LCD modeling of selenite desorption/adsorption in soils around the selenium-rich core, Ziyang County, China

Simultaneous Kinetics of Selenite Oxidation and Sorption on δ-MnO2 in Stirred-Flow Reactors

Influence of temperature on selenium mobility under contrasting redox conditions: a sediment flow-through reactor experiment

Assessing the potential availability of selenium in the soil-plant system with manure application using diffusive gradients in thin-films technique (DGT) and DOM-Se fractions extracted by selective extractions

Magnetically-assisted removal of selenium and molybdenum from water using iron oxyhydroxides

Selenite Removal from Aqueous Solution Using Silica–Iron Oxide Nanocomposite Adsorbents

Facilitating Se(VI) adsorption and electron transfer by introducing αFeOOH to sulfidated zero-valent iron