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.

Renal structure and function evaluation of rats from dams that received increased sodium intake during pregnancy and lactation submitted or not to 5/6 nephrectomy

Adult rats submitted to perinatal salt overload presented renin-angiotensin system (RAS) functional disturbances. The RAS contributes to the renal development and renal damage in a 5/6 nephrectomy model. The aim of the present study was to analyze the renal structure and function of offspring from dams that received a high-salt intake during pregnancy and lactation. We also evaluated the influence of the prenatal high-salt intake on the evolution of 5/6 nephrectomy in adult rats. A total of 111 sixty-day-old rat pups from dams that received saline or water during pregnancy and lactation were submitted to 5/6 nephrectomy (nephrectomized) or to a sham operation (sham). The animals were killed 120 days after surgery, and the kidneys were removed for immunohistochemical and histological analysis. Systolic blood pressure (SBP), albuminuria, and glomerular filtration rate (GFR) were evaluated. Increased SBP, albuminuria, and decreased GFR were observed in the rats from dams submitted to high-sodium intake before surgery. However, there was no difference in these parameters between the groups after the 5/6 nephrectomy. The scores for tubulointerstitial lesions and glomerulosclerosis were higher in the rats from the sham saline group compared to the same age control rats, but there was no difference in the histological findings between the groups of nephrectomized rats. In conclusion, our data showed that the high-salt intake during pregnancy and lactation in rats leads to structural changes in the kidney of adult offspring. However, the progression of the renal lesions after 5/6 nephrectomy was similar in both groups.

Models for genetic evaluation of Nelore cattle mature body weight

Records of 18,770 Nelore animals, born from 1975 to 2002, in 8 herds participating in the Nelore Cattle Breeding Program, were analyzed to estimate genetic parameters for mature BW. The mature BW were analyzed as a single BW taken closest to 4.5 yr of age for each cow in the data file, considering BW starting from 2 (W2Y_S), 3 (W3Y_S), or 4 (W4Y_S) yr of age or as repeated records, including all BW starting from 2 (W2Y_R), 3 (W3Y_R), or 4 (W4Y_R) yr of age. The variance components were estimated by restricted maximum likelihood, fitting univariate and bivariate animal models, including weaning weight. The heritability estimates were 0.29, 0.34, 0.36, 0.41, 0.44, and 0.46 for W2Y_S, W3Y_S, W4Y_S, W2Y_R, W3Y_R, and W4Y_R, respectively. The repeatability estimates for W2Y_R, W3Y_R, and W4Y_R were 0.59, 0.64, and 0.72, respectively. Larger accuracy values associated with the EBV were obtained in the repeated records models. The results indicated the bivariate repeated records model as the most appropriate for analyzing mature BW.

Evaluation of Sexual Function in Brazilian Pregnant Women

The objective of the present study was to evaluate the sexual function of pregnant women and to identify the potential variables associated with it. The study was conducted on 137 low-risk, sexually active pregnant women who filled out the Female Sexual Function Index (FSFI) questionnaire. Although 61% of the women assessed presented an FSFI score 26.5, they declared that they were satisfied with the emotional proximity to their partner, with their relationship, and with their sex life. A positive association was detected between sexual dysfunction and gestational age and a report of urinary incontinence and excessive weight gain in the current pregnancy.

Sonographic evaluation of endothelial function in letrozole and tamoxifen users

Objectives: Studies have shown that women previously treated for breast cancer present fewer cardiovascular events, indicating a possible protective effect of tamoxifen treatment. The effects of these aromatase inhibitors on cardiovascular protection remain controversial. The aim of this study was to compare some cardiovascular risk markers among breast cancer survivors following treatment with tamoxifen group (TMXg), letrozole group (LTZg) or no endocrine treatment group (NETg). Methods: A total of 103 breast cancer survivors: 35 using TMXg, 34 using letrozole group (LTZg) and 34 using no endocrine treatment group (NETg) were evaluated. Ultrasonographic evaluation of brachial artery flow-mediated dilation (FMD), carotid intima-media thickness (IMT) and stiffness index (beta); blood total cholesterol, HDL and triglycerides were assessed. Results: All three groups presented similar values of HDL and IMT. TMXg showed the lowest total cholesterol (219.29 +/- 36.31 mg/dL vs. 250.59 +/- 38.37 mg/dL vs. 245.09 +/- 35.35 mg/dL; TMXg vs. LTZg vs. NETg, respectively; p < 0.01-ANOVA), the highest triglycerides (139.34 +/- 41.82 mg/dL vs. 111.35 +/- 28.22 mg/dL vs.122.09 +/- 33.42 mg/dL; p < 0.01), the highest FMD (6.32 +/- 2.33% vs. 4.10 +/- 2.06% vs. 4.66 +/- 2.52%; p < 0.01) and the lowest stiffness index (beta) (5.08 +/- 1.68 vs. 6.28 +/- 1.75 vs. 5.99 +/- 1.86; p=0.01). LTZg did not differ significantly from NETg on any evaluated parameter. Conclusions: We did not observe any effect of LTZg on the evaluated cardiovascular risk parameters compared to NETg. As such, the observed difference on lipid values, stiffness index (beta) and FMD between women receiving tamoxifen anti letrozole might be best attributed to the beneficial effect of tamoxifen than to a detrimental effect of letrozole. (C) 2008 Elsevier Ireland Ltd. All rights reserved.

Evaluation of Oral Antiseptic Rinsing before Sputum Collection To Reduce Contamination of Mycobacterial Cultures

To assess whether rinsing with oral antiseptics before sputum collection would reduce contamination of mycobacterial cultures, 120 patients with suspected tuberculosis were randomly assigned to rinse with chlorhexidine or cetylpyridinium mouthwash before collection. The culture contamination rate was significantly lower after rinsing with chlorhexidine before collection, especially for cultures grown in MGIT medium.

Evaluation of the psychometric properties of the Social Phobia Inventory in university students

Objective: The aim of the study was to study the psychometric properties of the Social Phobia Inventory (SPIN) in its version for the context of Brazilian adults. Methods: A sample of Brazilian university students from the general population (n = 2314) and a sample of university students identified as cases (n = 88) and noncases (n = 90) of social phobia were assessed, using as a parameter the Structured Clinical Interview for the Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition. The different instruments were applied individually in the presence of a rater. Results: The SPIN showed adequate internal consistency (.63-.90) and concurrent validity with different instruments of auto- and hetero-evaluation of social phobia. Discriminative validity showed 0.84 to 0.86 sensitivity and 0.84 to 0.87 specificity for cutoff notes between 19 and 21. Factorial analysis showed the presence of a variable number of factors as a function of the different samples. Conclusions: The version of the SPIN studied is quite adequate for use in the context of Brazilian university students, favoring the screening of social phobia. However, further studies using more diverse samples are needed. (C) 2010 Elsevier Inc. All rights reserved.

Evaluation of the vaccination status in pediatric renal transplant recipients

To assess the immunization status of pediatric renal transplant patients followed at a single center in Brazil, vaccination charts of all patients aged between one and 18 yr were analyzed both pre- and post-transplantation. Appropriate immunization was defined according to the National Immunization Program (routine vaccines) - for all Brazilian children - and the Special Immunobiological Agents Program that also includes special vaccines for immunodeficient or other high-risk children. A total of 46 patients was evaluated (mean age 13.7 yr; range 4-17 yr). Vaccination charts were found to be up to date in only two patients (4.3%) pretransplant and in two (4.3%) post-transplant. Although 36 patients (62.2%) in the pretransplant phase and 24 (52.1%) in the post-transplant phase had been vaccinated according to the National Immunization Program, they had not received the special vaccines indicated for their immunocompromised condition. Therefore, despite being followed at a referral center, almost all patients presented an incomplete immunization status pre- and post-transplant. This probably reflects missed opportunities and medical/parental apprehension related to vaccination of patients with chronic renal insufficiency, dialysis or kidney transplantation. Efforts should be made to ensure adequate vaccination in children with kidney diseases, especially before kidney transplantation.

Evaluation of molar and incisor bite force in indigenous compared with white population in Brazil

The purpose of this study was to deter-mine maximum bite force in molar and incisor regions in young Brazilian indigenous individuals, who have had a natural diet since birth, and compare the sample with white Brazilian individuals. To do this, individuals were paired one-to-one (same weight, height, and Class I facial pattern). A secondary purpose was to elucidate the relation between bite force and gender in both populations. Eighty-two Brazilians took part in this study. Participants were aged between 18 and 28 years and were divided into two groups: 41 Xingu indigenous individuals and 41 white Brazilian individuals, with 28 men and 13 women in each group. The inclusion criteria were: having complete dentition; normal occlusion; no neurological, psychiatric or movement disorders.; no reports of toothaches; having satisfactory periodontal health; absence of large facial skeletal alterations (typical Class II and Class III individuals); and no previous treatments using occlusal splints. To measure maximum bite force, a digital dynamometer model IDDK (Kratos-Equipamentos Industriais Ltda, Cotia, Sao Paulo, Brazil) was used, with a capacity of 1000 N, adapted for oral conditions. Assessments were made in the first molar (right and left) and central incisive regions. Results reveal that mean maximum bite forces in indigenous individuals of the right molar is 421 N, left molar 429 N and incisor region is 194 14 and for white individuals of the right molar is 410 N, left molar 422 N and incisor region is 117 N. Comparing indigenous with white individuals, maximal bite force showed a tendency of being greater in the indigenous group. It was observed that the incisor region showed statistical significance (p < 0.0005) but no significance was observed in the molar region. Moreover, indigenous men showed the highest bite force values. (C) 2007 Elsevier Ltd. All rights reserved.

Cephalometric evaluation of facial pattern and hyoid bone position in children with obstructive sleep apnea syndrome

Objectives: To assess the development of face and hyoid bone in children with obstructive sleep apnea syndrome (OSAS) through lateral cephalometries. Materials and methods: Children aged 7-10 years with mixed dentition and with no previous otorhinolaryngologic, orthodontic or speech therapy treatments were studied. Twenty nasal breathers were compared to 20 mouth breathing children diagnosed as OSAS patients. All children underwent otorhinolaryngologic evaluation and cephalometries; children with OSAS also underwent nocturnal polysomnography in a sleep laboratory. Results: Children with OSAS presented increase in total and lower anterior heights of the face when compared to nasal breathers. In addition, children with OSAS presented a significantly more anterior and inferior position of the hyoid bone than nasal breathers. No significant differences in upper, anterior or posterior heights of the face were observed between groups. Conclusion: The results suggest that there are evident and early changes in facial growth and development among children with OSAS, characterized by increased total and inferior anterior heights of the face, as well as more anterior and inferior position of the hyoid bone. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Morphometric evaluation of the sphenopalatine foramen for endonasal surgery

Objective: Ligation of the sphenopalatine artery is used to treat severe nasal haemorrhage. The objective of the study was to investigate the numerical variation of the sphenopalatine foramen (SPF), its relation to the ethmoid bone crista of the palatine bone in the lateral nasal wall, its distance from the anterior nasal spine and the angle between this distance and the anterior nasal floor. Material and Methods: Fifty-four hemiskulls were submitted to anatomical study and measurements using the Image Tool 3.0 software. Results: The SPF was single in 87% of the specimens, and more than one orifice was present in 13%. It was possible to establish a relation with the ethmoid crista, which is a surgical reference for the SIT location. The mean values of the measurements were significantly higher in the hemifaces than in the hemiskulls ranging from 54 to 63mm, and angulation ranged from 20 to 32 degrees. Conclusions: In most specimens studied, the SPF was single and located in the superior nasal meatus. The distances measured suggest that these values can be used as distance references for the use of the endoscope for ligation or endonasal cauterization of the branches of the sphenopalatine artery, preventing possible errors and complications.

Evaluation of erythrocyte dysmorphism by light microscopy with lowering of the condenser lens: A simple and efficient method

Aim: To demonstrate that the evaluation of erythrocyte dysmorphism by light microscopy with lowering of the condenser lens (LMLC) is useful to identify patients with a haematuria of glomerular or non-glomerular origin. Methods: A comparative double-blind study between phase contrast microscopy (PCM) and LMLC is reported to evaluate the efficacy of these techniques. Urine samples of 39 patients followed up for 9 months were analyzed, and classified as glomerular and non-glomerular haematuria. The different microscopic techniques were compared using receiver-operator curve (ROC) analysis and area under curve (AUC). Reproducibility was assessed by coefficient of variation (CV). Results: Specific cut-offs were set for each method according to their best rate of specificity and sensitivity as follows: 30% for phase contrast microscopy and 40% for standard LMLC, reaching in the first method the rate of 95% and 100% of sensitivity and specificity, respectively, and in the second method the rate of 90% and 100% of sensitivity and specificity, respectively. In ROC analysis, AUC for PCM was 0.99 and AUC for LMLC was 0.96. The CV was very similar in glomerular haematuria group for PCM (35%) and LMLC (35.3%). Conclusion: LMLC proved to be effective in contributing to the direction of investigation of haematuria, toward the nephrological or urological side. This method can substitute PCM when this equipment is not available.

Micro-Positron Emission Tomography in the Evaluation of Trypanosoma cruzi-Induced Heart Disease: Comparison with Other Modalities

Noninvasive assessment of cardiac structure and function is essential to understand the natural course of murine infection with Trypanosoma cruzi. Magnetic resonance imaging (MRI) and echocardiography have been used to monitor anatomy and function; positron emission tomography (PET) is ideal for monitoring metabolic events in the myocardium. Mice infected with T. cruzi (Brazil strain) were imaged 15-100 days post infection (dpi). Quantitative (18)F-FDG microPET imaging, MRI and echocardiography were performed and compared. Tracer ((18)F-FDG) uptake was significantly higher in infected mice at all days of infection, from 15 to 100 dpi. Dilatation of the right ventricular chamber was observed by MRI from 30 to 100 dpi in infected mice. Echocardiography revealed significantly reduced ejection fraction by 60 dpi. Combination of these three complementary imaging modalities makes it possible to noninvasively quantify cardiovascular function, morphology, and metabolism from the earliest days of infection through the chronic phase.

The Provisional Paediatric Rheumatology International Trials Organisation/American College of Rheumatology/European League Against Rheumatism disease activity core set for the evaluation of response to therapy in juvenile dermatomyositis: A prospective validation study

Objective. To validate a core set of outcome measures for the evaluation of response to treatment in patients with juvenile dermatomyositis (DM). Methods. In 2001, a preliminary consensus-derived core set for evaluating response to therapy in juvenile DM was established. In the present study, the core set was validated through an evidence-based, large-scale data collection that led to the enrollment of 294 patients from 36 countries. Consecutive patients with active disease were assessed at baseline and after 6 months. The validation procedures included assessment of feasibility, responsiveness, discriminant and construct ability, concordce in the evaluation of response to therapy between physicians and parents, redundancy, internal consistency, and ability to predict a therapeutic response. Results. The following clinical measures were found to be feasible, and to have good construct validity, discriminative ability, and internal consistency; furthermore, they were not redundant, proved responsive to clinically important changes in disease activity, and were associated strongly with treatment outcome and thus were included in the final core set: 1) physician`s global assessment of disease activity, 2) muscle strength, 3) global disease activity measure, 4) parent`s global assessment of patient`s well-being, 5) functional ability, and 6) health-related quality of life. Conclusion. The members of the Paediatric Rheumatology International Trials Organisation, with the endorsement of the American College of Rheumatology and the European Leauge Against Rheumatism, propose a core set of criteria for the evaluation of response of therapy that is scientifically and clinically relevant and statistically validated. The core set will help standardize the conduct and reporting of clinical trials and assist practitioners in deciding whether a child with juvenile DM has responded adequately to therapy.