Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Using passive techniques for vibration damping in mechanical systems

This paper examines two passive techniques for vibration reduction in mechanical systems: the first one is based on dynamic vibration absorbers (DVAs) and the second uses resonant circuit shunted (RCS) piezoceramics. Genetic algorithms are used to determine the optimal design parameters with respect to performance indexes, which are associated with the dynamical behavior of the system over selected frequency bands. The calculation of the frequency response functions (FRFs) of the composite structure (primary system + DVAs) is performed through a substructure coupling technique. A modal technique is used to determine the frequency response function of the structure containing shunted piezoceramics which are bonded to the primary structure. The use of both techniques simultaneously on the same structure is investigated. The methodology developed is illustrated by numerical applications in which the primary structure is represented by simple Euler-Bernoulli beams. However, the design aspects of vibration control devices presented in this paper can be extended to more complex structures.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

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.

Do in vivo terahertz imaging systems comply with safety guidelines?

Techniques for the coherent generation and detection of electromagnetic radiation in the far infrared, or terahertz, region of the electromagnetic spectrum have recently developed rapidly and may soon be applied for in vivo medical imaging. Both continuous wave and pulsed imaging systems are under development, with terahertz pulsed imaging being the more common method. Typically a pump and probe technique is used, with picosecond pulses of terahertz radiation generated from femtosecond infrared laser pulses, using an antenna or nonlinear crystal. After interaction with the subject either by transmission or reflection, coherent detection is achieved when the terahertz beam is combined with the probe laser beam. Raster scanning of the subject leads to an image data set comprising a time series representing the pulse at each pixel. A set of parametric images may be calculated, mapping the values of various parameters calculated from the shape of the pulses. A safety analysis has been performed, based on current guidelines for skin exposure to radiation of wavelengths 2.6 µm–20 mm (15 GHz–115 THz), to determine the maximum permissible exposure (MPE) for such a terahertz imaging system. The international guidelines for this range of wavelengths are drawn from two U.S. standards documents. The method for this analysis was taken from the American National Standard for the Safe Use of Lasers (ANSI Z136.1), and to ensure a conservative analysis, parameters were drawn from both this standard and from the IEEE Standard for Safety Levels with Respect to Human Exposure to Radio Frequency Electromagnetic Fields (C95.1). The calculated maximum permissible average beam power was 3 mW, indicating that typical terahertz imaging systems are safe according to the current guidelines. Further developments may however result in systems that will exceed the calculated limit. Furthermore, the published MPEs for pulsed exposures are based on measurements at shorter wavelengths and with pulses of longer duration than those used in terahertz pulsed imaging systems, so the results should be treated with caution.

Nondetection Index of Anti-Islanding Passive Protection of Synchronous Distributed Generators

Synchronous distributed generators are prone to operate islanded after contingencies, which is usually not allowed due to safety and power-quality issues. Thus, there are several anti-islanding techniques; however, most of them present technical limitations so that they are likely to fail in certain situations. Therefore, it is important to quantify and determine whether the scheme under study is adequate or not. In this context, this paper proposes an index to evaluate the effectiveness of anti-islanding frequency-based relays commonly used to protect synchronous distributed generators. The method is based on the calculation of a numerical index that indicates the time period that the system is unprotected against islanding considering the global period of analysis. Although this index can precisely be calculated based on several electromagnetic transient simulations, a practical method is also proposed to calculate it directly from simple analytical formulas or lookup tables. The results have shown that the proposed approach can assist distribution engineers to assess and set anti-islanding protection schemes.

Mental states monitoring through passive Brain-Computer Interface systems

The monitoring of cognitive functions aims at gaining information about the current cognitive state of the user by decoding brain signals. In recent years, this approach allowed to acquire valuable information about the cognitive aspects regarding the interaction of humans with external world. From this consideration, researchers started to consider passive application of brain–computer interface (BCI) in order to provide a novel input modality for technical systems solely based on brain activity. The objective of this thesis is to demonstrate how the passive Brain Computer Interfaces (BCIs) applications can be used to assess the mental states of the users, in order to improve the human machine interaction. Two main studies has been proposed. The first one allows to investigate whatever the Event Related Potentials (ERPs) morphological variations can be used to predict the users’ mental states (e.g. attentional resources, mental workload) during different reactive BCI tasks (e.g. P300-based BCIs), and if these information can predict the subjects’ performance in performing the tasks. In the second study, a passive BCI system able to online estimate the mental workload of the user by relying on the combination of the EEG and the ECG biosignals has been proposed. The latter study has been performed by simulating an operative scenario, in which the occurrence of errors or lack of performance could have significant consequences. The results showed that the proposed system is able to estimate online the mental workload of the subjects discriminating three different difficulty level of the tasks ensuring a high reliability.

Passive wireless sensor systems can recognize activites of daily living

The ability to determine what activity of daily living a person performs is of interest in many application domains. It is possible to determine the physical and cognitive capabilities of the elderly by inferring what activities they perform in their houses. Our primary aim was to establish a proof of concept that a wireless sensor system can monitor and record physical activity and these data can be modeled to predict activities of daily living. The secondary aim was to determine the optimal placement of the sensor boxes for detecting activities in a room. A wireless sensor system was set up in a laboratory kitchen. The ten healthy participants were requested to make tea following a defined sequence of tasks. Data were collected from the eight wireless sensor boxes placed in specific places in the test kitchen and analyzed to detect the sequences of tasks performed by the participants. These sequence of tasks were trained and tested using the Markov Model. Data analysis focused on the reliability of the system and the integrity of the collected data. The sequence of tasks were successfully recognized for all subjects and the averaged data pattern of tasks sequences between the subjects had a high correlation. Analysis of the data collected indicates that sensors placed in different locations are capable of recognizing activities, with the movement detection sensor contributing the most to detection of tasks. The central top of the room with no obstruction of view was considered to be the best location to record data for activity detection. Wireless sensor systems show much promise as easily deployable to monitor and recognize activities of daily living.

Rail safety/ equipment crashworthiness. Volume I: A systems analysis of injury minimization in rail systems. Interim report.

Federal Railroad Administration, Office of Research and Development, Washington, D.C.

A preliminary laboratory investigation of passive railroad crossing signs. Final report.

Mode of access: Internet.