Safe Contiki OS: Type and Memory Safety for Contiki OS

Embedded systems, especially Wireless Sensor Nodes are highly prone to Type Safety and Memory Safety issues. Contiki, a prominent Operating System in the domain is even more affected by the problem since it makes extensive use of Type casts and Pointers. The work is an attempt to nullify the possibility of Safety violations in Contiki. We use a powerful, still efficient tool called Deputy to achieve this. We also try to automate the process

Safe Contiki OS: Type and Memory Safety for Contiki OS

Embedded systems, especially Wireless Sensor Nodes are highly prone to Type Safety and Memory Safety issues. Contiki, a prominent Operating System in the domain is even more affected by the problem since it makes extensive use of Type casts and Pointers. The work is an attempt to nullify the possibility of Safety violations in Contiki. We use a powerful, still efficient tool called Deputy to achieve this. We also try to automate the process

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Measuring episodic memory: A novel approach with an indefinite number of alternative forms

Both clinical practice and clinical research settings can require successive administrations of a memory test, particularly when following the trajectory of suspected memory decline in older adults. However, relatively few verbal episodic memory tests have alternative forms. We set out to create a broad based memory test to allow for the use of an essentially unlimited number of alternative forms. Four tasks for inclusion in such a test were developed. These tasks varied the requirement for recall as opposed to recognition, the need to form an association between unrelated words, and the need to discriminate the most recent list from earlier lists, all of which proved useful. A total of 115 participants completed the battery of tests and were used to show that the test could differentiate between older and younger adults; a sub-sample of 73 participants completed alternative forms of the tests to determine test-retest reliability and the amount of learning to learn.

The role of cognitive and visual abilities as predictors in the Multifactorial Model of Driving Safety

Objective The current study evaluated part of the Multifactorial Model of Driving Safety to elucidate the relative importance of cognitive function and a limited range of standard measures of visual function in relation to the Capacity to Drive Safely. Capacity to Drive Safely was operationalized using three validated screening measures for older drivers. These included an adaptation of the well validated Useful Field of View (UFOV) and two newer measures, namely a Hazard Perception Test (HPT), and a Hazard Change Detection Task (HCDT). Method Community dwelling drivers (n = 297) aged 65–96 were assessed using a battery of measures of cognitive and visual function. Results Factor analysis of these predictor variables yielded factors including Executive/Speed, Vision (measured by visual acuity and contrast sensitivity), Spatial, Visual Closure, and Working Memory. Cognitive and Vision factors explained 83–95% of age-related variance in the Capacity to Drive Safely. Spatial and Working Memory were associated with UFOV, HPT and HCDT, Executive/Speed was associated with UFOV and HCDT and Vision was associated with HPT. Conclusion The Capacity to Drive Safely declines with chronological age, and this decline is associated with age-related declines in several higher order cognitive abilities involving manipulation and storage of visuospatial information under speeded conditions. There are also age-independent effects of cognitive function and vision that determine driving safety.

Preserving the past in digital memory

The process of researching children’s literature from the past is a growing challenge as resources age and are increasingly treated as rare items, stored away within libraries and other research centres. In Australia, researchers and librarians have collaborated with the bibliographic database AustLit: The Australian Literature Resource to produce the Australian Children’s Literature Digital Resources Project (CLDR). This Project aims to address the growing demand for online access to rare children’s literature resources, and demonstrates the research potential of early Australian children’s literature by supplementing the collection with relevant critical articles. The CLDR project is designed with a specific focus and provides access to full text Australian children’s literature from European settlement to 1945. The collection demonstrates a need and desire to preserve literature treasures to prevent losing such collections in a digital age. The collection covers many themes relevant to the conference including, trauma, survival, memory, survival, hauntings, and histories. The resource provides new and exciting ways with which to research children’s literature from the past and offers a fascinating repository to scholars and professionals of ranging disciplines who are in interested in Australian children’s literature.

Interdependent cache analyses for better precision and safety

One of the challenges for accurately estimating Worst Case Execu-tion Time(WCET) of executables is to accurately predict their cache behaviour. Various techniques have been developed to predict the cache contents at different program points to estimate the execution time of memory-accessing instructions. One of the most widely used techniques is Abstract Interpretation based Must Analysis, which de-termines the cache blocks guaranteed to be present in the cache, and hence provides safe estimation of cache hits and misses. However,Must Analysis is highly imprecise, and platforms using Must Analysis have been known to produce blown-up WCET estimates. In our work, we propose to use May Analysis to assist the Must Analysis cache up-date and make it more precise. We prove the safety of our approach as well as provide examples where our Improved Must Analysis provides better precision. Further, we also detect a serious flaw in the original Persistence Analysis, and use Must and May Analysis to assist the Persistence Analysis cache update, to make it safe and more precise than the known solutions to the problem.

Corrosion Fatigue Behaviour of Laser-welded Shape Memory NiTi Wires in a Simulated Body Fluid

Corrosion fatigue is a fracture process as a consequence of synergistic interactions between the material structure, corrosive environment and cyclic loads/strains. It is difficult to be detected and can cause unexpected failure of engineering components in use. This study reveals a comparison of corrosion fatigue behaviour of laser-welded and bare NiTi wires using bending rotation fatigue (BRF) test coupled with a specifically-designed corrosion cell. The testing medium was Hanks’ solution (simulated body fluid) at 37.5 oC. Electrochemical impedance spectroscopic (EIS) measurement was carried out to monitor the change of corrosion resistance of sample during the BRF test at different periods of time. Experiments indicate that the laser-welded NiTi wire would be more susceptible to the corrosion fatigue attack than the bare NiTi wire. This study can serve as a benchmark for the product designers and engineers to understand the corrosion fatigue behaviour of the NiTi laser weld joint and determine the fatigue life safety factor for NiTi medical devices/implants involving laser welding in the fabrication process.

Safety of human immunisation with a live-attenuated Mycobacterium tuberculosis vaccine: a randomised, double-blind, controlled phase I trial.

BACKGROUND: Tuberculosis remains one of the world's deadliest transmissible diseases despite widespread use of the BCG vaccine. MTBVAC is a new live tuberculosis vaccine based on genetically attenuated Mycobacterium tuberculosis that expresses most antigens present in human isolates of M tuberculosis. We aimed to compare the safety of MTBVAC with BCG in healthy adult volunteers. METHODS: We did this single-centre, randomised, double-blind, controlled phase 1 study at the Centre Hospitalier Universitaire Vaudois (CHUV; Lausanne, Switzerland). Volunteers were eligible for inclusion if they were aged 18-45 years, clinically healthy, HIV-negative and tuberculosis-negative, and had no history of active tuberculosis, chemoprophylaxis for tuberculosis, or BCG vaccination. Volunteers fulfilling the inclusion criteria were randomly assigned to three cohorts in a dose-escalation manner. Randomisation was done centrally by the CHUV Pharmacy and treatments were masked from the study team and volunteers. As participants were recruited within each cohort, they were randomly assigned 3:1 to receive MTBVAC or BCG. Of the participants allocated MTBVAC, those in the first cohort received 5 × 10(3) colony forming units (CFU) MTBVAC, those in the second cohort received 5 × 10(4) CFU MTBVAC, and those in the third cohort received 5 × 10(5) CFU MTBVAC. In all cohorts, participants assigned to receive BCG were given 5 × 10(5) CFU BCG. Each participant received a single intradermal injection of their assigned vaccine in 0·1 mL sterile water in their non-dominant arm. The primary outcome was safety in all vaccinated participants. Secondary outcomes included whole blood cell-mediated immune response to live MTBVAC and BCG, and interferon γ release assays (IGRA) of peripheral blood mononuclear cells. This trial is registered with ClinicalTrials.gov, number NCT02013245. FINDINGS: Between Jan 23, 2013, and Nov 6, 2013, we enrolled 36 volunteers into three cohorts, each of which consisted of nine participants who received MTBVAC and three who received BCG. 34 volunteers completed the trial. The safety of vaccination with MTBVAC at all doses was similar to that of BCG, and vaccination did not induce any serious adverse events. All individuals were IGRA negative at the end of follow-up (day 210). After whole blood stimulation with live MTBVAC or BCG, MTBVAC was at least as immunogenic as BCG. At the same dose as BCG (5×10(5) CFU), although no statistical significance could be achieved, there were more responders in the MTBVAC group than in the BCG group, with a greater frequency of polyfunctional CD4+ central memory T cells. INTERPRETATION: To our knowledge, MTBVAC is the first live-attenuated M tuberculosis vaccine to reach clinical assessment, showing similar safety to BCG. MTBVAC seemed to be at least as immunogenic as BCG, but the study was not powered to investigate this outcome. Further plans to use more immunogenicity endpoints in a larger number of volunteers (adults and adolescents) are underway, with the aim to thoroughly characterise and potentially distinguish immunogenicity between MTBVAC and BCG in tuberculosis-endemic countries. Combined with an excellent safety profile, these data support advanced clinical development in high-burden tuberculosis endemic countries. FUNDING: Biofabri and Bill & Melinda Gates Foundation through the TuBerculosis Vaccine Initiative (TBVI).

Preliminary Findings on the Effects of Occupational Exposure to Mercury Vapor Below Safety Levels on Visual and Neuropsychological Functions

Objective: To evaluate whether there are visual and neurophysical decrements in workers with low exposure to Hg vapor. Methods: Visual fields, contrast sensitivity, color vision, and neuropsychological functions were measured in 10 workers (32.5 +/- 8.5 years) chronically exposed to Hg vapor (4.3 +/- 2.8 years; urinary Hg concentration 22.3 +/- 9.3 mu g/g creatinine). Results: For the worst eyes, we found altered visual field thresholds, lower contrast sensitivity, and color discrimination compared with controls (P < 0.05). There were no significant differences between Hg-exposed subjects and controls on. neuropsychological tests. Nevertheless, duration of exposure was statistically correlated to verbal memory and depression scores. Conclusions: Chronic exposure to Hg vapor at currently accepted safety levels was found to be associated with visual losses but not with neuropsychological dysfunctions in the sample of workers studied. (J Occup Environ Med. 2009,51:1403-1412)

On Disruption of Fear Memory by Reconsolidation Blockade: Evidence from Cannabidiol Treatment

The search for reconsolidation blockers may uncover clinically relevant drugs for disrupting memories of significant stressful life experiences, such as those underlying the posttraumatic stress disorder. Considering the safety of systemically administered cannabidiol (CBD), the major non-psychotomimetic component of Cannabis sativa, to animals and humans, the present study sought to investigate whether and how this phytocannabinoid (3-30 mg/kg intraperitoneally; i.p.) could mitigate an established memory, by blockade of its reconsolidation, evaluated in a contextual fear-conditioning paradigm in rats. We report that CBD is able to disrupt 1- and 7-days-old memories when administered immediately, but not 6 h, after their retrieval for 3 min, with the dose of 10 mg/kg being the most effective. This effect persists in either case for at least 1 week, but is prevented when memory reactivation was omitted, or when the cannabinoid type-1 receptors were antagonized selectively with AM251 (1.0 mg/kg). Pretreatment with the serotonin type-1A receptor antagonist WAY100635, however, failed to block CBD effects. These results highlight that recent and older fear memories are equally vulnerable to disruption induced by CBD through reconsolidation blockade, with a consequent long-lasting relief in contextual fear-induced freezing. Importantly, this CBD effect is dependent on memory reactivation, restricted to time window of <6h, and is possibly dependent on cannabinoid type-1 receptor-mediated signaling mechanisms. We also observed that the fear memories disrupted by CBD treatment do not show reinstatement or spontaneous recovery over 22 days. These findings support the view that reconsolidation blockade, rather than facilitated extinction, accounts for the aforementioned CBD results in our experimental conditions. Neuropsychopharmacology (2012) 37, 2132-2142; doi:10.1038/npp.2012.63; published online 2 May 2012

The impact of absolute importance and processing overlaps on prospective memory performance

Prospective memory is the ability to remember an intention at an appropriate moment in the future. Prospective memory tasks can be more or less important. Previously, importance was manipulated by emphasizing the importance of the prospective memory task relative to the ongoing task it was embedded in. This resulted in better prospective memory performance but also ongoing task costs. In the present study, we simply instructed one group of participants that the prospective memory task was important (i.e., absolute importance instruction) and compared them to a group with relative importance instructions and a control group. The results showed that absolute importance lead to an increase in prospective memory performance without enhancing ongoing task costs, whereas relative importance resulted in both increased prospective memory performance and ongoing task costs. Thus, prospective memory can be enhanced without ongoing task costs, which is particularly crucial for safety-work contexts.

Lincoln, Nebraska ASAP telephone survey: a study in the effectiveness of a public information liquor campaign on alcohol and highway safety. Final report.

National Highway Traffic Safety Administration, Office of Driver and Pedestrian Programs, Washington, D.C.

Trends in public information within the Fairfax Alcohol Safety Action Project, 1976. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

County of Los Angeles Alcohol Safety Action Project roadside survey - 1975. Final report.

National Highway Traffic Safety Administration, Washington, D.C.