Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Children and economic development: Family size, gender preferences and human capital formation - theory and Indian cases

In the light of Gary Becker's economic theory of the family, considers how economic cost and benefit factors can influence the size of families that parents decide to have. Some support for the importance of such factors is found from results of structured interviews with wives in Kondh-dominated villages in western Orissa. These results are at variance with the hypothesis of Malthus about population growth. Factors that may alter the optimal family size as development proceeds are discussed. It is found in our sampling that, on the whole, there is a preference for daughters rather than sons although this is not as strong in the Kondh-dominated villages as in poor villages in the Santal tribal belt of West Bengal. While in the Kondh-dominated villages some discrimination in access to education in favour of boys compared to girls is present, little such or no such discrimination occurs in relation to access to food and medical attention. In the villages surveyed in the West Bengal Santal tribal belt, discrimination in favour of boys is more pronounced than in the Kondh-dominated area in Orissa. While economic considerations help to explain gender discrimination between boys and girls, we find that social and cultural factors also play a major role. Parents in a similar economic situation seem to display substantially different patterns of gender discrimination between children depending on their social and cultural content. It seems that the extent to which economic theories of the family explain family preferences and behaviour depend significantly on the social and cultural context in which they are to be applied.

Pulmonary vascular remodeling: a target for therapeutic intervention in pulmonary hypertension

Pulmonary vascular remodeling is an important pathological feature of pulmonary hypertension, leading to increased pulmonary vascular resistance and reduced compliance. It involves thickening of all three layers of the blood vessel wall (due to hypertrophy and/or hyperplasia of the predominant cell type within each layer), as well as extracellular matrix deposition. Neomuscularisation of non-muscular arteries and formation of plexiform and neointimal lesions also occur. Stimuli responsible for remodeling involve transmural pressure, stretch, shear stress, hypoxia, various mediators [angiotensin II, endothelin (ET)-1, 5-hydroxytryptamine, growth factors, and inflammatory cytokines], increased serine elastase activity, and tenascin-C. In addition, there are reductions in the endothelium-derived antimitogenic substances, nitric oxide, and prostacyclin. Intracellular signalling mechanisms involved in pulmonary vascular remodeling include elevations in intracellular Ca2+ and activation of the phosphatidylinositol pathway, protein kinase C, and mitogen-activated protein kinase. In animal models of pulmonary hypertension, various drugs have been shown to attenuate pulmonary vascular remodeling. These include angiotensin-converting enzyme inhibitors, angiotensin receptor antagonists, ET receptor antagonists, ET-converting enzyme inhibitors, nitric oxide, phosphodiesterase 5 inhibitors, prostacyclin, Ca2+-channel antagonists, heparin, and serine elastase inhibitors. Inhibition of remodeling is generally accompanied by reductions in pulmonary artery pressure. The efficacy of some of the drugs varies, depending on the animal model of the disease. In view of the complexity of the remodeling process and the diverse aetiology of pulmonary hypertension in humans, it is to be anticipated that successful anti-remodeling therapy in the clinic will require a range of different drug options. (C) 2001 Elsevier Science Inc. All rights reserved.

Structure-hepatic disposition relationships for cationic drugs in isolated perfused rat livers: Transmembrane exchange and cytoplasmic binding process

This work studied the structure-hepatic disposition relationships for cationic drugs of varying lipophilicity using a single-pass, in situ rat liver preparation. The lipophilicity among the cationic drugs studied in this work is in the following order: diltiazem. propranolol. labetalol. prazosin. antipyrine. atenolol. Parameters characterizing the hepatic distribution and elimination kinetics of the drugs were estimated using the multiple indicator dilution method. The kinetic model used to describe drug transport (the two-phase stochastic model) integrated cytoplasmic binding kinetics and belongs to the class of barrier-limited and space-distributed liver models. Hepatic extraction ratio (E) (0.30-0.92) increased with lipophilicity. The intracellular binding rate constant (k(on)) and the equilibrium amount ratios characterizing the slowly and rapidly equilibrating binding sites (K-S and K-R) increase with the lipophilicity of drug (k(on) : 0.05-0.35 s(-1); K-S : 0.61-16.67; K-R : 0.36-0.95), whereas the intracellular unbinding rate constant (k(off)) decreases with the lipophilicity of drug (0.081-0.021 s(-1)). The partition ratio of influx (k(in)) and efflux rate constant (k(out)), k(in)/k(out), increases with increasing pK(a) value of the drug [from 1.72 for antipyrine (pK(a) = 1.45) to 9.76 for propranolol (pK(a) = 9.45)], the differences in k(in/kout) for the different drugs mainly arising from ion trapping in the mitochondria and lysosomes. The value of intrinsic elimination clearance (CLint), permeation clearance (CLpT), and permeability-surface area product (PS) all increase with the lipophilicity of drug [CLint (ml . min(-1) . g(-1) of liver): 10.08-67.41; CLpT (ml . min(-1) . g(-1) of liver): 10.80-5.35; PS (ml . min(-1) . g(-1) of liver): 14.59-90.54]. It is concluded that cationic drug kinetics in the liver can be modeled using models that integrate the presence of cytoplasmic binding, a hepatocyte barrier, and a vascular transit density function.