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

Optimization-Based Robotic Manipulation for Safe Interaction with Human Operators

This thesis investigates a method for human-robot interaction (HRI) in order to uphold productivity of industrial robots like minimization of the shortest operation time, while ensuring human safety like collision avoidance. For solving such problems an online motion planning approach for robotic manipulators with HRI has been proposed. The approach is based on model predictive control (MPC) with embedded mixed integer programming. The planning strategies of the robotic manipulators mainly considered in the thesis are directly performed in the workspace for easy obstacle representation. The non-convex optimization problem is approximated by a mixed-integer program (MIP). It is further effectively reformulated such that the number of binary variables and the number of feasible integer solutions are drastically decreased. Safety-relevant regions, which are potentially occupied by the human operators, can be generated online by a proposed method based on hidden Markov models. In contrast to previous approaches, which derive predictions based on probability density functions in the form of single points, such as most likely or expected human positions, the proposed method computes safety-relevant subsets of the workspace as a region which is possibly occupied by the human at future instances of time. The method is further enhanced by combining reachability analysis to increase the prediction accuracy. These safety-relevant regions can subsequently serve as safety constraints when the motion is planned by optimization. This way one arrives at motion plans that are safe, i.e. plans that avoid collision with a probability not less than a predefined threshold. The developed methods have been successfully applied to a developed demonstrator, where an industrial robot works in the same space as a human operator. The task of the industrial robot is to drive its end-effector according to a nominal sequence of grippingmotion-releasing operations while no collision with a human arm occurs.

Safe Distributed Coordination of Heterogeneous Robots through Dynamic Simple Temporal Networks

Research on autonomous intelligent systems has focused on how robots can robustly carry out missions in uncertain and harsh environments with very little or no human intervention. Robotic execution languages such as RAPs, ESL, and TDL improve robustness by managing functionally redundant procedures for achieving goals. The model-based programming approach extends this by guaranteeing correctness of execution through pre-planning of non-deterministic timed threads of activities. Executing model-based programs effectively on distributed autonomous platforms requires distributing this pre-planning process. This thesis presents a distributed planner for modelbased programs whose planning and execution is distributed among agents with widely varying levels of processor power and memory resources. We make two key contributions. First, we reformulate a model-based program, which describes cooperative activities, into a hierarchical dynamic simple temporal network. This enables efficient distributed coordination of robots and supports deployment on heterogeneous robots. Second, we introduce a distributed temporal planner, called DTP, which solves hierarchical dynamic simple temporal networks with the assistance of the distributed Bellman-Ford shortest path algorithm. The implementation of DTP has been demonstrated successfully on a wide range of randomly generated examples and on a pursuer-evader challenge problem in simulation.

AURPO Guidance - the safe use of lasers in research and education

AURPO Guidance - The safe use of lasers in research and education - Guidance note no.7, 2012 Edition

Applied Biomechanics for Foundations of Safe Practice

This resource is for Health Scientist

Be safe! : health and safety in primary school science and technology.

Sirve de guía en temas de salud y relacionados con la seguridad en la enseñanza de la ciencia y de la tecnología en las escuelas primarias y establecimientos similares, tales como escuelas de párvulos, escuelas intermedias y algunas escuelas para niños con necesidades educativas especiales. Por tanto, se incluye a alumnos en la franja de edad de tres a once o doce años.

Safe and exciting science : a pack of training activities on health and safety for science departments in secondary schools and colleges and for initial teacher training.

Es un recurso formativo elaborado en respuesta a diversas solicitudes de escuelas para ayudar a éstas en los servicios de salud y actividades de formación en seguridad. Este material puede ser utilizado por los profesores en las prácticas realizadas en los laboratorios escolares con un riesgo mínimo. Va dirigido a asesores científicos, profesores, consultores y formadores de docentes.

Safe Sailing: SMCP training for seafarers.

Este programa fácil de usar está diseñado específicamente para construir habilidades del lenguaje marítimo para los hablantes no nativos de inglés. Este producto proporciona una mejora inmediata de los empleados en el transporte marítimo inglés, prepara a los marineros para comunicarse seguramente en el mar llevando a cabo práctica de frases de comunicación marina de la Organización Internacional Marítima. Este estandarizado set de frases en inglés es esencial para superar las barreras del lenguaje en el mar y evitar malentendidos que puedan causar accidentes.

Consumer attitudes towards and willingness to pay for pesticide residue limit compliant 'safe' vegetables in Northeast Thailand

Pesticide residue in vegetables is a major food safety issue in Thailand. A range of vegetable products (organic/pesticide-free/ hydroponic) has emerged in Thai markets that guarantee compliance with maximum residue limits. The Government of Thailand is eager to extend the benefits of this suite of alternative vegetables to the entire population, particularly the semi-urban/rural segments that are often bypassed by such speciality products. However, little information is available to guide such an effort, particularly with regard to up-country consumer attitudes, shopping and consumption habits and willingness to pay premiums for such produce. This research aims to fill this gap in knowledge. It reports the results of a survey of vegetable consumption and shopping habits and attitudes of 608 consumers in northeast Thailand. Willingness to pay premiums for pesticide residue limit compliant vegetables is also assessed by using a contingent valuation method, and determinants of willingness to pay are examined using an ordered probit empirical model. Results indicate that, given adequate awareness of relative risks, even up-country consumers are willing to pay market premium levels for these products, and that inadequate availability, rather than lack of demand is the constraining factor. Willingness to pay is found to increase with income, age and supermarket sourcing of vegetables. We also discuss the challenge of improving availability at mainstream outlets.

Effects of dredging in Goteborg Harbor, Sweden, assessed by biomarkers in eelpout (Zoarces viviparus)

We used a battery of biomarkers in fish to study the effects of the extensive dredging in Goteborg harbor situated at the river Gota alv estuary, Sweden. Eelpout (Zoarces viviparus) were sampled along a gradient into Goteborg harbor, both before and during the dredging. Biomarker responses in the eelpout before the dredging already indicated that fish in Goteborg harbor are chronically affected by pollutants under normal conditions compared to those in a reference area. However, the results during the dredging activities clearly show that fish were even more affected by remobilized pollutants. Elevated ethoxyresorufin-O-deethylase activities and cytochrome P4501A levels indicated exposure to polycyclic aromatic hydrocarbons. Elevated metallothionein gene expression indicated an increase in metal exposure. An increase in general cell toxicity, measured as a decrease in lysosomal membrane stability, as well as effects on the immune system also could be observed in eelpout sampled during the dredging. The results also suggest that dredging activities in the Gota alv estuary can affect larger parts of the Swedish western coast than originally anticipated. The present study demonstrates that the application of a set of biomarkers is a useful approach in monitoring the impact of anthropogenic activities on aquatic environments.

Are herbal remedies and dietary supplements safe and effective for breast cancer patients?

There remains limited scientific evidence on the efficacy and safety of 'natural' therapies such as herbal remedies and dietary supplements. Nevertheless, breast cancer patients are particularly prone to purchasing such products because of the perception that 'natural' products are less toxic than conventional prescribed medicines. However, the potential for interactions of supplements with current medications, the potential for adverse effects from consumption at high levels, and the lack of disclosure of such treatments by the patient to their doctor are serious public health issues. Robust clinical trials are required to prove the efficacy and lack of adverse effects of such preparations, and communication between patients and doctors must be improved and doctors made more aware that their patients may be seeking advice and treatment from sources outside conventional medicine.