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

Selenium Speciation in the Sediments and the Oligochaete Lumbriculus Variegatus

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

Transfer of Se from sediments to the western mosquitofish Gambusia affinis : Tissue distribution, accumulation, and effects on the antioxidant physiology

Selenium Stimulates Cadmium Detoxification in Caenorhabditis Elegans Through Thiols-Mediated Nanoparticles Formation and Secretion

Uptake, distribution, and elimination of selenite in earthworm Eisenia fetida at sublethal concentrations based on toxicokinetic model

Expansion of the Conceptual Model for the Accumulation of Selenium in Lentic Food Chains to Include Redox‐Controlled Generation and Diffusion of Selenite and Dissolved Organo‐Selenium Compounds

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

Selenium bioaccumulation in Daphnia pulex via aqueous and dietary exposure

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

Selenium in the liver facilitates the biodilution of mercury in the muscle of Planiliza haematocheilus in the Jiaozhou Bay, China

Mithramycin in the treatment of systemic mastocytosis.

Speciation of selenium-containing small molecules in urine and cell lysate by CE-ICPMS with in-capillary enrichment

Matrix metalloproteinases MMP‐9 and MMP‐7 are expressed in experimental autoimmune neuritis and the guillain‐barré syndrome

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

Effects of sodium selenite, yeast selenium, and nano-selenium on toxicity, growth, and selenium bioaccumulation in Lucilia sericata maggots

Response of Crustacean Zooplankton and Benthic Macroinvertebrate Communities to Selenium Additions in a Boreal Lake

Occurrence, bioaccumulation, and risk evaluation of selenium in typical Chinese aquatic ecosystems

Monostotic Paget's Disease of a cervical vertebra: differential diagnosis with F-18 FDG positron emission tomography using a coincidence technique and with Tc-99m dicarboxypropane diphosphonate.

Laboratory and In situ Selenium Bioaccumulation Assessment in the Benthic Macroinvertebrates Hyalella azteca and Chironomus dilutus

Microscopic and ultrastructural anatomy of the trachea and bronchi of Melopsittacus undulatus (Aves, Psittaciformes)

Selenium toxicity and bioaccumulation in selenium-enriched fly (Chrysomya megacephala) maggots