Exhaustive testing of safety critical Java

With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Path Finder (JPF) is a specialized Java virtual machine that can systematically explore execution paths for all possible schedulings, and thus catch these errors. Unfortunately, execution-based model checkers, including JPF, cannot be easily adapted to support real-time programs. We propose a scheduling algorithm for JPF which allows testing of Safety Critical Java (SCJ) applications with periodic event handlers at SCJ levels 0 and 1 (without aperiodic event handlers). The algorithm requires that deadlines are not missed and that there is an execution time model that can give best- and worst-case execution time estimates for a given program path and specific program inputs. Our implementation, named R SJ, allows to search for scheduling dependent memory access errors, certain invalid argument errors, priority ceiling emulation protocol violations, and failed assertions in application code in SCJ programs for levels 0 and 1. It uses the execution time model of the Java Optimized Processor (JOP). We test our tool wit

Influences of salinity on the physiology and distribution of the Arctic coralline algae, Lithothamnion glaciale (Corallinales, Rhodophyta)

In Greenland, free-living red coralline algae contribute to and dominate marine habitats along the coastline. Lithothamnion glaciale dominates coralline algae beds in many regions of the Arctic, but never in Godthåbsfjord, Greenland, where Clathromorphum sp. is dominant. To investigate environmental impacts on coralline algae distribution, calcification and primary productivity were measured in situ during summers of 2015 and 2016, and annual patterns of productivity in L. glaciale were monitored in laboratory-based mesocosm experiments where temperature and salinity were manipulated to mimic high glacial melt. The results of field and cold-room measurements indicate that both L. glaciale and Clathromorphum sp. had low calcification and photosynthetic rates during the Greenland summer (2015 and 2016), with maximum of 1.225 ± 0.17 or 0.002 ± 0.023 μmol CaCO3 · g-1 · h-1 and -0.007 ±0.003 or -0.004 ± 0.001 mg O2 · L-1 · h-1 in each species respectively. Mesocosm experiments indicate L. glaciale is a seasonal responder; photosynthetic and calcification rates increase with annual light cycles. Furthermore, metabolic processes in L. glaciale were negatively influenced by low salinity; positive growth rates only occurred in marine treatments where individuals accumulated an average of 1.85 ± 1.73 mg · d-1 of biomass through summer. These results indicate high freshwater input to the Godthåbsfjord region may drive the low abundance of L. glaciale, and could decrease species distribution as climate change increases freshwater input to the Arctic marine system via enhanced ice sheet runoff and glacier calving.Peer reviewedFinal Accepted Versio

Improved Adhesion, Growth and Maturation of Vascular Smooth Muscle Cells on Polyethylene Grafted with Bioactive Molecules and Carbon Particles

High-density polyethylene (PE) foils were modified by an Ar+ plasma discharge and subsequent grafting with biomolecules, namely glycine (Gly), polyethylene glycol (PEG), bovine serum albumin (BSA), colloidal carbon particles (C) or BSA and C (BSA + C). As revealed by atomic force microscopy (AFM), goniometry and Rutherford Backscattering Spectroscopy (RBS), the surface chemical structure and surface morphology of PE changed dramatically after plasma treatment. The contact angle decreased for the samples treated by plasma, mainly in relation to the formation of oxygen structures during plasma irradiation. A further decrease in the contact angle was obvious after glycine and PEG grafting. The increase in oxygen concentration after glycine and PEG grafting proved that the two molecules were chemically linked to the plasma-activated surface. Plasma treatment led to ablation of the PE surface layer, thus the surface morphology was changed and the surface roughness was increased. The materials were then seeded with vascular smooth muscle cells (VSMC) derived from rat aorta and incubated in a DMEM medium with fetal bovine serum. Generally, the cells adhered and grew better on modified rather than on unmodified PE samples. Immunofluorescence showed that focal adhesion plaques containing talin, vinculin and paxillin were most apparent in cells on PE grafted with PEG or BSA + C, and the fibres containing α-actin, β-actin or SM1 and SM2 myosins were thicker, more numerous and more brightly stained in the cells on all modified PE samples than on pristine PE. An enzyme-linked immunosorbent assay (ELISA) revealed increased concentrations of focal adhesion proteins talin and vinculin and also a cytoskeletal protein β-actin in cells on PE modified with BSA + C. A contractile protein α-actin was increased in cells on PE grafted with PEG or Gly. These results showed that PE activated with plasma and subsequently grafted with bioactive molecules and colloidal C particles, especially with PEG and BSA + C, promotes the adhesion, proliferation and phenotypic maturation of VSMC

Insights into Spatial Sensitivities of Ice Mass Response to Environmental Change from the SeaRISE Ice Sheet Modeling Project I: Antarctica

Atmospheric, oceanic, and subglacial forcing scenarios from the Sea-level Response to Ice Sheet Evolution (SeaRISE) project are applied to six three-dimensional thermomechanical ice-sheet models to assess Antarctic ice sheet sensitivity over a 500 year timescale and to inform future modeling and field studies. Results indicate (i) growth with warming, except within low-latitude basins (where inland thickening is outpaced by marginal thinning); (ii) mass loss with enhanced sliding (with basins dominated by high driving stresses affected more than basins with low-surface-slope streaming ice); and (iii) mass loss with enhanced ice shelf melting (with changes in West Antarctica dominating the signal due to its marine setting and extensive ice shelves; cf. minimal impact in the Terre Adelie, George V, Oates, and Victoria Land region of East Antarctica). Ice loss due to dynamic changes associated with enhanced sliding and/or sub-shelf melting exceeds the gain due to increased precipitation. Furthermore, differences in results between and within basins as well as the controlling impact of sub-shelf melting on ice dynamics highlight the need for improved understanding of basal conditions, grounding-zone processes, ocean-ice interactions, and the numerical representation of all three

Inhibitory effect of cadmium on estrogen signaling in zebrafish brain and protection by zinc

International audienceThe present study was conducted to assess the effects of Cd exposure on estrogen signaling in the zebrafish brain, as well as the potential protective role of Zn against Cd-induced toxicity. For this purpose, the effects on transcriptional activation of the estrogen receptors (ERs), aromatase B (Aro-B) protein expression and molecular expression of related genes were examined in vivo using wild-type and transgenic zebrafish embryos. For in vitro studies, an ER-negative glial cell line (U251MG) transfected with different zebrafish ER subtypes (ERα, ERβ1 and ERβ2) was also used. Embryos were exposed either to estradiol (E2), Cd, E2+Cd or E2+Cd+Zn for 72 h and cells were exposed to the same treatments for 30 h. Our results show that E2 treatment promoted the transcriptional activation of ERs and increased Aro-B expression, at both the protein and mRNA levels. Although exposure to Cd, does not affect the studied parameters when administered alone, it significantly abolished the E2-stimulated transcriptional response of the reporter gene for the three ER subtypes in U251-MG cells, and clearly inhibited the E2 induction of Aro-B in radial glial cells of zebrafish embryos. These inhibitory effects were accompanied by a significant downregulation of the expression of esr1, esr2a, esr2b and cyp19a1b genes compared to the E2-treated group used as a positive control. Zn administration during simultaneous exposure to E2 and Cd strongly stimulated zebrafish ERs transactivation and increased Aro-B protein expression, whereas mRNA levels of the three ERs as well as the cyp19a1b remained unchanged in comparison with Cd-treated embryos. In conclusion, our results clearly demonstrate that Cd acts as a potent anti-estrogen in vivo and in vitro, and that Cd-induced E2 antagonism can be reversed, at the protein level, by Zn supplement

Sensitivity of Pine Island Glacier to observed ocean forcing

We present subannual observations (2009–2014) of a major West Antarctic glacier (Pine Island Glacier) and the neighboring ocean. Ongoing glacier retreat and accelerated ice flow were likely triggered a few decades ago by increased ocean-induced thinning, which may have initiated marine ice-sheet instability. Following a subsequent 60% drop in ocean heat content from early 2012 to late 2013, ice flow slowed, but by < 4%, with flow recovering as the ocean warmed to prior temperatures. During this cold-ocean period, the evolving glacier-bed/ice-shelf system was also in a geometry favorable to stabilization. However, despite a minor, temporary decrease in ice discharge, the basin-wide thinning signal did not change. Thus, as predicted by theory, once marine ice-sheet instability is underway, a single transient high-amplitude ocean cooling has only a relatively minor effect on ice flow. The long-term effects of ocean-temperature variability on ice flow, however, are not yet known

Contested implementation: the unilateral influence of member states on peacebuilding policy in Kosovo

International organizations play an important role in policy implementation. As member states do not necessarily resolve political disagreements before delegating tasks, this article focuses on how individual member states seek to influence policy implementation by international organizations. It argues that the institutional context in which delegation takes place affects the opportunities for such unilateral influence. Particularly when the agent has considerable autonomy, implementation is likely to be a contested process. The article presents evidence on the implementation of peacebuilding policy by three international organizations in Kosovo after independence in 2008. Despite the fact that the member states within the UN, OSCE and EU fundamentally disagree on the legal status of Kosovo, the organizations have deployed substantial peacebuilding missions. The UN, OSCE and EU have, however, different institutional designs: implementing agents in the UN and OSCE have, by default, more autonomy than those in the EU. We analogously observe variation in how and to what extent member states exert unilateral influence during implementation of peacebuilding policy on the ground in Kosovo

Improved Adhesion, Growth and Maturation of Vascular Smooth Muscle Cells on Polyethylene Grafted with Bioactive Molecules and Carbon Particles

High-density polyethylene (PE) foils were modified by an Ar+ plasma discharge and subsequent grafting with biomolecules, namely glycine (Gly), polyethylene glycol (PEG), bovine serum albumin (BSA), colloidal carbon particles (C) or BSA and C (BSA + C). As revealed by atomic force microscopy (AFM), goniometry and Rutherford Backscattering Spectroscopy (RBS), the surface chemical structure and surface morphology of PE changed dramatically after plasma treatment. The contact angle decreased for the samples treated by plasma, mainly in relation to the formation of oxygen structures during plasma irradiation. A further decrease in the contact angle was obvious after glycine and PEG grafting. The increase in oxygen concentration after glycine and PEG grafting proved that the two molecules were chemically linked to the plasma-activated surface. Plasma treatment led to ablation of the PE surface layer, thus the surface morphology was changed and the surface roughness was increased. The materials were then seeded with vascular smooth muscle cells (VSMC) derived from rat aorta and incubated in a DMEM medium with fetal bovine serum. Generally, the cells adhered and grew better on modified rather than on unmodified PE samples. Immunofluorescence showed that focal adhesion plaques containing talin, vinculin and paxillin were most apparent in cells on PE grafted with PEG or BSA + C, and the fibres containing α-actin, β-actin or SM1 and SM2 myosins were thicker, more numerous and more brightly stained in the cells on all modified PE samples than on pristine PE. An enzyme-linked immunosorbent assay (ELISA) revealed increased concentrations of focal adhesion proteins talin and vinculin and also a cytoskeletal protein β-actin in cells on PE modified with BSA + C. A contractile protein α-actin was increased in cells on PE grafted with PEG or Gly. These results showed that PE activated with plasma and subsequently grafted with bioactive molecules and colloidal C particles, especially with PEG and BSA + C, promotes the adhesion, proliferation and phenotypic maturation of VSMC