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

Effect of management strategies on the performance of ruminant livestock production systems and the safety of plant and animal products in the city of Sikasso, Mali

The regional population growth in West Africa, and especially its urban centers, will bring about new and critical challenges for urban development policy, especially in terms of ensuring food security and providing employment for the growing population. (Peri-) urban livestock and vegetable production systems, which can contribute significantly to these endeavours, are limited by various constraints, amongst them limited access to expensive production factors and their (in)efficient use. To achieve sustainable production systems with low consumer health risks, that can meet the urban increased demand, this doctoral thesis determined nutrient use efficiencies in representative (peri-) urban livestock production systems in three West African cities, and investigated potential health risks for consumers ensuing from there. The field study, which was conducted during July 2007 to December 2009, undertook a comparative analysis of (peri-) urban livestock production strategies across 210 livestock keeping households (HH) in the three West African cities of Kano/Nigeria (84 HH), Bobo Dioulasso/Burkina Faso (63 HH) and Sikasso/Mali (63 HH). These livestock enterprises were belonging to the following three farm types: commercial gardening plus field crops and livestock (cGCL; 88 HH), commercial livestock plus subsistence field cropping (cLsC; 109 HH) and commercial gardening plus semi-commercial livestock (cGscL; 13 HH) which had been classified in a preceding study; they represented the diversity of (peri-) urban livestock production systems in West Africa. In the study on the efficiency of ruminant livestock production, lactating cowsand sheep herd units were differentiated based on whether feed supplements were offered to the animals at the homestead (Go: grazing only; Gsf: mainly grazing plus some supplement feeding). Inflows and outflows of nutrients were quantified in these herds during 18 months, and the effects of seasonal variations in nutrient availability on animals’ productivity and reproductive performance was determined in Sikasso. To assess the safety of animal products and vegetables, contamination sources of irrigated lettuce and milk with microbiological contaminants, and of tomato and cabbage with pesticide residues in (peri-) urban agriculture systems of Bobo Dioulasso and Sikasso were characterized at three occasions in 2009. Samples of irrigation water, organic fertilizer and ix lettuce were collected in 6 gardens, and samples of cabbage and tomato in 12 gardens; raw and curdled milk were sampled in 6 dairy herds. Information on health risks for consumers of such foodstuffs was obtained from 11 health centers in Sikasso. In (peri-) urban livestock production systems, sheep and goats dominated (P<0.001) in Kano compared to Bobo Dioulasso and Sikasso, while cattle and poultry were more frequent (P<0.001) in Bobo Dioulasso and Sikasso than in Kano. Across cities, ruminant feeding relied on grazing and homestead supplementation with fresh grasses, crop residues, cereal brans and cotton seed cake; cereal grains and brans were the major ingredients of poultry feeds. There was little association of gardens and livestock; likewise field cropping and livestock were rarely integrated. No relation existed between the education of the HH head and the adoption of improved management practices (P>0.05), but the proportion of HH heads with a long-term experience in (peri-) urban agriculture was higher in Kano and in Bobo Dioulasso than in Sikasso (P<0.001). Cattle and sheep fetched highest market prices in Kano; unit prices for goats and chicken were highest in Sikasso. Animal inflow, outflow and dairy herd growth rates were significantly higher (P<0.05) in the Gsf than in the Go cattle herds. Maize bran and cottonseed expeller were the main feeds offered to Gsf cows as dry-season supplement, while Gsf sheep received maize bran, fresh grasses and cowpea pods. The short periodic transhumance of Go dairy cows help them maintaining their live weight, whereas Gsf cows lost weight during the dry season despite supplement feeding at a rate of 1506 g dry matter per cow and day, resulting in low productivity and reproductive performance. The daily live weight gains of calves and lambs, respectively, were low and not significantly different between the Go and the Gsf system. However, the average live weight gains of lambs were significantly higher in the dry season (P<0.05) than in the rainy season because of the high pressure of gastrointestinal parasites and of Trypanosoma sp. In consequence, 47% of the sheep leaving the Go and Gsf herds died due to diseases during the study period. Thermo-tolerant coliforms and Escherichia coli contamination levels of irrigation water significantly exceeded WHO recommendations for the unrestricted irrigation of vegetables consumed raw. Microbial contamination levels of lettuce at the farm gate and the market place in Bobo Dioulasso and at the farm gate in Sikasso were higher than at the market place in Sikasso (P<0.05). Pesticide residues were detected in only one cabbage and one tomato sample and were below the maximum residue limit for consumption. Counts of thermo-tolerant coliforms and Escherichia coli were higher in curdled than in raw milk (P<0.05). From 2006 to x 2009, cases of diarrhea/vomiting and typhoid fever had increased by 11% and 48%, respectively, in Sikasso. For ensuring economically successful and ecologically viable (peri-) urban livestock husbandry and food safety of (peri-) urban foodstuffs of animal and plant origin, the dissemination and adoption of improved feeding practices, livestock healthcare and dung management are key. In addition, measures fostering the safety of animal products and vegetables including the appropriate use of wastewater in (peri-) urban agriculture, restriction to approve vegetable pesticides and the respect of their latency periods, and passing and enforcement of safety laws is required. Finally, the incorporation of environmentally sound (peri-) urban agriculture in urban planning by policy makers, public and private extension agencies and the urban farmers themselves is of utmost importance. To enable an efficient (peri-) urban livestock production in the future, research should concentrate on cost-effective feeding systems that allow meeting the animals’ requirement for production and reproduction. Thereby focus should be laid on the use of crop-residues and leguminous forages. The improvement of the milk production potential through crossbreeding of local cattle breeds with exotic breeds known for their high milk yield might be an accompanying option, but it needs careful supervision to prevent the loss of the local trypanotolerant purebreds.

Development of thermo-analytical prediction and classification models for food in thermal devices using a multi sensor system and artificial neural networks

Die thermische Verarbeitung von Lebensmitteln beeinflusst deren Qualität und ernährungsphysiologischen Eigenschaften. Im Haushalt ist die Überwachung der Temperatur innerhalb des Lebensmittels sehr schwierig. Zudem ist das Wissen über optimale Temperatur- und Zeitparameter für die verschiedenen Speisen oft unzureichend. Die optimale Steuerung der thermischen Zubereitung ist maßgeblich abhängig von der Art des Lebensmittels und der äußeren und inneren Temperatureinwirkung während des Garvorgangs. Das Ziel der Arbeiten war die Entwicklung eines automatischen Backofens, der in der Lage ist, die Art des Lebensmittels zu erkennen und die Temperatur im Inneren des Lebensmittels während des Backens zu errechnen. Die für die Temperaturberechnung benötigten Daten wurden mit mehreren Sensoren erfasst. Hierzu kam ein Infrarotthermometer, ein Infrarotabstandssensor, eine Kamera, ein Temperatursensor und ein Lambdasonde innerhalb des Ofens zum Einsatz. Ferner wurden eine Wägezelle, ein Strom- sowie Spannungs-Sensor und ein Temperatursensor außerhalb des Ofens genutzt. Die während der Aufheizphase aufgenommen Datensätze ermöglichten das Training mehrerer künstlicher neuronaler Netze, die die verschiedenen Lebensmittel in die entsprechenden Kategorien einordnen konnten, um so das optimale Backprogram auszuwählen. Zur Abschätzung der thermische Diffusivität der Nahrung, die von der Zusammensetzung (Kohlenhydrate, Fett, Protein, Wasser) abhängt, wurden mehrere künstliche neuronale Netze trainiert. Mit Ausnahme des Fettanteils der Lebensmittel konnten alle Komponenten durch verschiedene KNNs mit einem Maximum von 8 versteckten Neuronen ausreichend genau abgeschätzt werden um auf deren Grundlage die Temperatur im inneren des Lebensmittels zu berechnen. Die durchgeführte Arbeit zeigt, dass mit Hilfe verschiedenster Sensoren zur direkten beziehungsweise indirekten Messung der äußeren Eigenschaften der Lebensmittel sowie KNNs für die Kategorisierung und Abschätzung der Lebensmittelzusammensetzung die automatische Erkennung und Berechnung der inneren Temperatur von verschiedensten Lebensmitteln möglich ist.

Understanding safety and production risks in rail engineering planning and protection

Much of the published human factors work on risk is to do with safety and within this is concerned with prediction and analysis of human error and with human reliability assessment. Less has been published on human factors contributions to understanding and managing project, business, engineering and other forms of risk and still less jointly assessing risk to do with broad issues of ‘safety’ and broad issues of ‘production’ or ‘performance’. This paper contains a general commentary on human factors and assessment of risk of various kinds, in the context of the aims of ergonomics and concerns about being too risk averse. The paper then describes a specific project, in rail engineering, where the notion of a human factors case has been employed to analyse engineering functions and related human factors issues. A human factors issues register for potential system disturbances has been developed, prior to a human factors risk assessment, which jointly covers safety and production (engineering delivery) concerns. The paper concludes with a commentary on the potential relevance of a resilience engineering perspective to understanding rail engineering systems risk. Design, planning and management of complex systems will increasingly have to address the issue of making trade-offs between safety and production, and ergonomics should be central to this. The paper addresses the relevant issues and does so in an under-published domain – rail systems engineering work.

Site Safety and Food Affect Movements of Semipalmated Sandpipers (Calidris pusilla) Migrating Through the Upper Bay of Fundy

The upper Bay of Fundy is a critical stopover site for Semipalmated Sandpipers (Calidris pusilla) during their fall migration. However, little is known about factors that influence selection of feeding and roosting sites by these birds, or the extent to which birds move between different sites during their time in the region. Using radio-telemetry, we studied movement patterns, examined habitat use, and tested hypotheses associated with factors influencing foraging and roost-site selection. Movements of radio-tagged sandpipers were tracked in the upper Bay of Fundy in August 2004 and 2005. In 2004, sandpipers from the Minas Basin, Nova Scotia and Chignecto Bay, New Brunswick and Nova Scotia, were tracked, and in 2005, sandpipers were tracked only in Chignecto Bay. Sandpipers were highly mobile in both the Minas Basin 2004 and Chignecto Bay 2005, making daily movements of up to 20 km between foraging and roosting sites, although very little movement was detected in Chignecto Bay in 2004. Migrating sandpipers appeared to select foraging sites based on relative safety, as measured by distance to cover, provided that these sites offered an adequate food supply. Similarly, roosting sandpipers preferred sites that were far from nearby trees that might offer cover to predators. This preference for safe sites became more apparent later in their stay in the Bay of Fundy, when birds were heavier and, therefore, possibly more vulnerable to predation. Semipalmated Sandpipers appear to be flexible during their time in the upper Bay of Fundy, displaying year-to-year and site-to-site variability in movement and mudflat usage. Therefore, multiple, synchronized population counts should be conducted at known roost sites in order to more accurately estimate Semipalmated Sandpiper abundance in this region. Furthermore, in a highly dynamic system where food can be variable, landscape features such as distance to cover may be important factors to consider when selecting candidate sites for shorebird conservation measures.

Wind turbine blade pitch control system

The present invention provides an improvement for a wind turbine (20) having at least one blade (21) mounted on a hub (22) for controlled rotation about a blade axis (yb-yb) to vary the pitch of the blade relative to an airstream. The hub is mounted on a nacelle (23) for rotation about a hub axis (xh-xh). The wind turbine includes a main pitch control system for selectively controlling the pitch of the blade, and/or a safety pitch control system for overriding the main blade pitch control system and for causing the blade to move toward a feathered position in the event of an overspeed or fault condition. The improvement includes: an energy storage device (26) mounted on the nacelle and associated with the blade; a pitch-axis controller (25) mounted on the nacelle and associated with the blade and with the energy storage device; an electro-mechanical actuator (28) mounted on the hub and associated with the blade; and at least one slip ring (29) operatively arranged to transmit power and/or data signals between the pitch-axis controller and the electro-mechanical actuator; whereby the mass on the rotating hub may be reduced.

The impact of a closed-loop electronic prescribing and administration system on prescribing errors, administration errors and staff time: a before-and-after study

Objectives: To assess the impact of a closed-loop electronic prescribing, automated dispensing, barcode patient identification and electronic medication administration record (EMAR) system on prescribing and administration errors, confirmation of patient identity before administration, and staff time. Design, setting and participants: Before-and-after study in a surgical ward of a teaching hospital, involving patients and staff of that ward. Intervention: Closed-loop electronic prescribing, automated dispensing, barcode patient identification and EMAR system. Main outcome measures: Percentage of new medication orders with a prescribing error, percentage of doses with medication administration errors (MAEs) and percentage given without checking patient identity. Time spent prescribing and providing a ward pharmacy service. Nursing time on medication tasks. Results: Prescribing errors were identified in 3.8% of 2450 medication orders pre-intervention and 2.0% of 2353 orders afterwards (p<0.001; χ2 test). MAEs occurred in 7.0% of 1473 non-intravenous doses pre-intervention and 4.3% of 1139 afterwards (p = 0.005; χ2 test). Patient identity was not checked for 82.6% of 1344 doses pre-intervention and 18.9% of 1291 afterwards (p<0.001; χ2 test). Medical staff required 15 s to prescribe a regular inpatient drug pre-intervention and 39 s afterwards (p = 0.03; t test). Time spent providing a ward pharmacy service increased from 68 min to 98 min each weekday (p = 0.001; t test); 22% of drug charts were unavailable pre-intervention. Time per drug administration round decreased from 50 min to 40 min (p = 0.006; t test); nursing time on medication tasks outside of drug rounds increased from 21.1% to 28.7% (p = 0.006; χ2 test). Conclusions: A closed-loop electronic prescribing, dispensing and barcode patient identification system reduced prescribing errors and MAEs, and increased confirmation of patient identity before administration. Time spent on medication-related tasks increased.

The dangers of hanging baskets: 'Regulatory myths' and media representations of health and safety regulation

The successful enforcement of health and safety regulation is reliant upon the ability of regulatory agencies to demonstrate the legitimacy of the system of regulatory controls. While 'big cases' are central to this process, there are also significant legitimatory implications associated with 'minor' cases, including media-reported tales of pettiness and heavy-handedness in the interpretation and enforcement of the law. The popular media regularly report stories of 'regulatory unreasonableness', and they can pass quickly into mainstream public knowledge. A story's appeal becomes more important than its factual veracity; they are a form of 'regulatory myth'. This paper discusses the implications of regulatory myths for health and safety regulators, and analyses their challenges for regulators, paying particular attention to the Health and Safety Executive (HSE) which has made concerted efforts to address regulatory myths attaching to its activities. It will be shown that such stories constitute sustained normative challenges to the legitimacy of the regulator, and political challenges to the burgeoning regulatory state, because they reflect some of the key concerns of late-modern society.

Modelling risk perception and trust in food safety information within the theory of planned behaviour

This study suggests a statistical strategy for explaining how food purchasing intentions are influenced by different levels of risk perception and trust in food safety information. The modelling process is based on Ajzen's Theory of Planned Behaviour and includes trust and risk perception as additional explanatory factors. Interaction and endogeneity across these determinants is explored through a system of simultaneous equations, while the SPARTA equation is estimated through an ordered probit model. Furthermore, parameters are allowed to vary as a function of socio-demographic variables. The application explores chicken purchasing intentions both in a standard situation and conditional to an hypothetical salmonella scare. Data were collected through a nationally representative UK wide survey of 533 UK respondents in face-to-face, in-home interviews. Empirical findings show that interactions exist among the determinants of planned behaviour and socio-demographic variables improve the model's performance. Attitudes emerge as the key determinant of intention to purchase chicken, while trust in food safety information provided by media reduces the likelihood to purchase. (C) 2006 Elsevier Ltd. All rights reserved.

The role of the Hellenic food safety authority in Greece: implementation strategies

During the last 15 years, a series of food scares and crises (BSE, dioxin. foot and mouth disease) have seriously under-mined public confidence in food producers and operators and their capacity to produce safe food. As a result, food safety has become a top priority of the European legislative authorities and systems of national food control have been tightened up and have included the establishment of the European Food Safety Authority. In Greece a law creating the Hellenic Food Safety Authority has been approved. The main objectives of this Authority are to promote the food security to consumers and inform them of any changes or any development in the food and health sector. The paper reviews the general structure of the current food control system in Greece. It describes the structure and the mission of the Hellenic Food Safety Authority and explains the strategy to carry out inspections and the analysis of the preliminary results of such inspections. Details are also given of the personnel training and certification and accreditation standards to be met by the Authority by the end of 2004. (c) 2005 Elsevier Ltd. All rights reserved.

The Spanish system of food controls - its administration and enforcement

Following a number of major food safety problems in Europe, including in particular the issues of BSE and dioxin, consumers have become increasingly concerned about food safety. This has led authorities in Europe to revise their systems of food control. The establishment of the European Food Safety Authority (EFSA) is one of the main structural changes made at the moment within the European Union, and similar action at national level has been or is being taken by many EU member states. In Spain a law creating the Spanish Agency of Food Safety has been approved. This has general objectives that include the promotion of food security and offering guarantees and the provision of objective information to consumers and food businesses in the Spanish agrifood sector. This paper reviews the general structure of the current food control system in Spain. At a national level this involves three different Ministries. Spain however also has a devolved system involving Autonomous Communities the paper considers Castilla y Leon as an example. In conclusion the paper recognises that Spain has a complex system for food control. and considers that it will take time before a full evaluation of the new system is possible. (C) 2003 Elsevier Ltd. All rights reserved.

Assessment of the food control system in the State of Kuwait

National food control systems are a key element in the protection of consumers from unsafe foods and from other fraudulent practices. International guidance is available and provides a framework for enhancing national systems. However, it is recognized that before reaching decisions on the necessary improvements to a national system, an analysis is required of the current state of key elements in the present system. This paper provides such an analysis for the State of Kuwait. The fragmented nature of the food control system is described. Four key elements of the Kuwaiti system are analyzed: the legal framework, the administrative structures, the enforcement activity and the provision of education and training. It is noted that the country has a dependence on imported foods and that the present national food control system is largely based on an historic approach to food sampling at the point of import and is unsustainable. The paper recommends a more coordinated approach to food safety control in Kuwait with a significant increase in the use of risk analysis methods to target enforcement.

A bridge-ship collision avoidance system based on FLIR image sequences

In this paper, a forward-looking infrared (FLIR) video surveillance system is presented for collision avoidance of moving ships to bridge piers. An image preprocessing algorithm is proposed to reduce clutter background by multi-scale fractal analysis, in which the blanket method is used for fractal feature computation. Then, the moving ship detection algorithm is developed from image differentials of the fractal feature in the region of surveillance between regularly interval frames. When the moving ships are detected in region of surveillance, the device for safety alert is triggered. Experimental results have shown that the approach is feasible and effective. It has achieved real-time and reliable alert to avoid collisions of moving ships to bridge piers.