Search

We present a reliability evaluation of a group membership protocol (GMP), by computing the probability of violating the fault assumptions made in its proof. The evaluation of the reliability of a GMP is of paramount importance because group membership services are often used as building blocks in the design of fault-tolerant applications. The GMP that we consider here has been proposed for dual scheduled TDMA networks such as FlexRay, a protocol that is likely to become the de-facto standard for next generation automotive networks. Our study is carried out by modeling the GMP with discrete-time Markov chains. The models consider different fault scenarios, including permanent, transient and common-mode faults, affecting both channels and nodes. Furthermore we perform a sensitivity analysis to assess the influence of different parameters on the protocol's reliability. The results show that the GMP can achieve reliability levels in the range required for safety critical applications.

View references (14)In this paper, a new traffic separation mechanism is proposed for IEEE 802.11e networks. Such Traffic Separation Mechanism (TSm) allows the coexistence of CSMA standard stations with modified (real-time) stations in the same network domain. A station implementing the proposed TSm scheme has the same operating behavior as a standard IEEE 802.11e network station, except in what concerns the evaluation of the backoff delay. For the case of stations implementing the TSm scheme, whenever they have traffic to transfer, they eventually impose its transfer prior to the transfer of any other message with lower priority. This behavior guarantees the highest transmitting probability to the TSm stations in an open communication environment, where multiple IEEE 802.11e standard stations may coexist with a subset of TSm-enabled real-time stations.

The development of safety-critical embedded applications in domains such as automotive or avionics is an exceedingly challenging intellectual task. This task can, however, be significantly simplified through the use of middleware that offers specialized fault-tolerant services. This middleware must provide a high assurance level that it operates correctly. In this paper, we present a formal verification of a protocol for one such service, a Group Membership Service, using model checking. Through this verification we discovered that although the protocol specification is correct, a previously proposed implementation is not.

This review focuses on the use of veno-venous extracorporeal membrane oxygenation for respiratory failure across all blood flow ranges. Starting with a short overview of historical development, aspects of the physiology of gas exchange (i.e., oxygenation and decarboxylation) during extracorporeal circulation are discussed. The mechanisms of phenomena such as recirculation and shunt playing an important role in daily clinical practice are explained. Treatment of refractory and symptomatic hypoxemic respiratory failure (e.g., acute respiratory distress syndrome [ARDS]) currently represents the main indication for high-flow veno-venous-extracorporeal membrane oxygenation. On the other hand, lower-flow extracorporeal carbon dioxide removal might potentially help to avoid or attenuate ventilator-induced lung injury by allowing reduction of the energy load (i.e., driving pressure, mechanical power) transmitted to the lungs during mechanical ventilation or spontaneous ventilation. In the latter context, extracorporeal carbon dioxide removal plays an emerging role in the treatment of chronic obstructive pulmonary disease patients during acute exacerbations. Both applications of extracorporeal lung support raise important ethical considerations, such as likelihood of ultimate futility and end-of-life decision-making. The review concludes with a brief overview of potential technical developments and persistent challenges.

Objectives Minimally invasive extracorporeal CO2 removal is an accepted supportive treatment in chronic obstructive pulmonary disease patients. Conversely, the potential of such technique in treating acute respiratory distress syndrome patients remains to be investigated. The aim of this study was: 1) to quantify membrane lung CO2 removal (VCO2ML) under different conditions and 2) to quantify the natural lung CO2 removal (VCO2NL) and to what extent mechanical ventilation can be reduced while maintaining total expired CO2 (VCO2tot = VCO2ML + VCO2NL) and arterial PCO2 constant. Design Experimental animal study. Setting Department of Experimental Animal Medicine, University of Gottingen, Germany. Subjects Eight healthy pigs (57.7 ± 5 kg). Interventions The animals were sedated, ventilated, and connected to the artificial lung system (surface 1.8 m, polymethylpentene membrane, filling volume 125 mL) through a 13F catheter. VCO2ML was measured under different combinations of inflow PCO2 (38.9 ± 3.3, 65 ± 5.7, and 89.9 ± 12.9 mm Hg), extracorporeal blood flow (100, 200, 300, and 400 mL/min), and gas flow (4, 6, and 12 L/min). At each setting, we measured VCO2ML, VCO2NL, lung mechanics, and blood gases. Measurements and main results VCO2ML increased linearly with extracorporeal blood flow and inflow PCO2 but was not affected by gas flow. The outflow PCO2 was similar regardless of inflow PCO2 and extracorporeal blood flow, suggesting that VCO2ML was maximally exploited in each experimental condition. Mechanical ventilation could be reduced by up to 80-90% while maintaining a constant PaCO2. Conclusions Minimally invasive extracorporeal CO2 removal removes a relevant amount of CO2 thus allowing mechanical ventilation to be significantly reduced depending on extracorporeal blood flow and inflow PCO2. Extracorporeal CO2 removal may provide the physiologic prerequisites for controlling ventilator-induced lung injury.

Objective The target of this methodological evaluation was the feasibility of long-term monitoring of changes in lung conditions by time-difference electrical impedance tomography (tdEIT). In contrast to ventilation monitoring by tdEIT, the monitoring of end-expiratory (EELIC) or end-inspiratory (EILIC) lung impedance change always requires a reference measurement. Approach To determine the stability of the used Pulmovista 500® EIT system, as a prerequisite it was initially secured on a resistive phantom for 50 h. By comparing the slopes of EELIC for the whole lung area up to 48 h from 36 pigs ventilated at six positive end-expiratory pressure (PEEP) levels from 0 to 18 cmH2O we found a good agreement (range of r 2 = 0.93-1.0) between absolute EIT (aEIT) and tdEIT values. This justified the usage of tdEIT with its superior local resolution compared to aEIT for long-term determination of EELIC. Main results The EELIC was between -0.07 Ωm day-1 at PEEP 4 and -1.04 Ωm day-1 at PEEP 18 cmH2O. The complex local time pattern for EELIC was roughly quantified by the new parameter, centre of end-expiratory change (CoEEC), in equivalence to the established centre of ventilation (CoV). The ventrally located mean of the CoV was fairly constant in the range of 42%-46% of thorax diameter; however, on the contrary, the CoEEC shifted from about 40% to about 75% in the dorsal direction for PEEP levels of 14 and 18 cmH2O. Significance The observed shifts started earlier for higher PEEP levels. Changes of EELI could be precisely monitored over a period of 48 h by tdEIT on pigs.

Background A reanalysis of the ALBIOS trial suggested that patients with septic shock - defined by vasopressor-dependent hypotension in the presence of severe sepsis (Shock-2) - had a survival benefit when treated with albumin. The new septic shock definition (Shock-3) added the criterion of a lactate threshold of 2 mmol/L. We investigated how the populations defined according to Shock-2 and Shock-3 differed and whether the albumin benefit would be confirmed. Methods This is a retrospective analysis of the ALBIOS study, a randomized controlled study conducted between 2008 and 2012 in 100 intensive care units in Italy comparing the administration of 20% albumin and crystalloids versus crystalloids alone in patients with severe sepsis or septic shock. We analyzed data from 1741 patients from ALBIOS with serum lactate measurement available at baseline. We compared group size, physiological variables and 90-day mortality between patients defined by Shock-2 and Shock-3 and between the albumin and crystalloid treatment groups. Results We compared the Shock-2 and the Shock-3 definitions and the albumin and crystalloid treatment groups in terms of group size and physiological, laboratory and outcome variables. The Shock-3 definition reduced the population with shock by 34%. The Shock-3 group had higher lactate (p

Several factors have been recognized as possible triggers of ventilator-induced lung injury (VILI). The first is pressure (thus the ‘barotrauma’), then the volume (hence the ‘volutrauma’), finally the cyclic opening-closing of the lung units (‘atelectrauma’). Less attention has been paid to the respiratory rate and the flow, although both theoretical considerations and experimental evidence attribute them a significant role in the generation of VILI. The initial injury to the lung parenchyma is necessarily mechanical and it could manifest as an unphysiological distortion of the extracellular matrix and/or as micro-fractures in the hyaluronan, likely the most fragile polymer embedded in the matrix. The order of magnitude of the energy required to break a molecular bond between the hyaluronan and the associated protein is 1.12×10 -16 Joules (J), 70–90% higher than the average energy delivered by a single breath of 1L assuming a lung elastance of 10 cmH 2 O/L (0.5 J). With a normal statistical distribution of the bond strength some polymers will be exposed each cycle to an energy large enough to rupture. Both the extracellular matrix distortion and the polymer fractures lead to inflammatory increase of capillary permeability with edema if a pulmonary blood flow is sufficient. The mediation analysis of higher vs. lower tidal volume and PEEP studies suggests that the driving pressure, more than tidal volume, is the best predictor of VILI, as inferred by increased mortality. This is not surprising, as both tidal volume and respiratory system elastance (resulting in driving pressure) may independently contribute to the mortality. For the same elastance driving pressure is a predictor similar to plateau pressure or tidal volume. Driving pressure is one of the components of the mechanical power, which also includes respiratory rate, flow and PEEP. Finding the threshold for mechanical power would greatly simplify assessment and prevention of VILI.