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.

MHM assay: molecular sexing based on the sex-specific methylation pattern of the MHM region in chickens

Bird sex determination using molecular methods has proved to be a valuable tool in different studies. Although it is possible to sex most birds by coupling the CHD assay with others available methods, no sex-determining gene like SRY in mammalians has been identified in birds. The male hypermethylated (MHM) region on the Z chromosome has been found to be hypermethylated in males and hypomethylated in females in birds of the order Galliformes. We analyzed the DNA from feathers of 50 adult chickens to verify the methylation pattern of the MHM region by PCR and the restriction enzyme HpaII (a method named MHM assay). The results, visualized in agarose gel, were compared with PCR amplification of the CHD-Z and CHD-W genes (polyacrylamide gel) and with the birds` phenotype. All males (25) showed hypermethylation of the MHM region, and all females (25) showed hypomethylation. The sexing by MHM assay was in according with phenotype and CHD sexing. To our knowledge, this is the first study that uses the MHM region for sexing birds. Although the real role of the MHM region in the sex determination is still unclear, this could be a universal marker for sexing birds and may be involved in sex determination by its influence on transcriptional processes. The MHM assay could be a good alternative for CHD assay in developmental studies.

Who were the male founders of rural Brazilian Afro-derived communities? A proposal based on three populations

Background: Brazilian Quilombos are Afro-derived communities founded mainly by fugitive slaves between the 16(th) and 19(th) centuries; they can be recognized today by ancestral and cultural characteristics. Each of these remnant communities, however, has its own particular history, which includes the migration of non-African derived people. Methods: The present work presents a proposal for the origin of the male founder in Brazilian quilombos based on Y-haplogroup distribution. Y haplogroups, based on 16 binary markers (92R7, SRY2627, SRY4064, SRY10831.1 and .2, M2, M3, M09, M34, M60, M89, M213, M216, P2, P3 and YAP), were analysed for 98 DNA samples from genetically unrelated men from three rural Brazilian Afro-derived communities-Mocambo, Rio das Ras and Kalunga-in order to estimate male geographic origin. Results: Data indicated significant differences among these communities. A high frequency of non-African haplogroups was observed in all communities. Conclusions: This observation suggested an admixture process that has occurred over generations and directional mating between European males and African female slaves that must have occurred on farms before the slaves escaped. This means that the admixture occurred before the slaves escaped and the foundation of the quilombo.

Risk of Potential Drug-Drug Interactions among Brazilian Elderly A Population-Based, Cross-Sectional Study

Background: Drug-drug interactions (DDIs) are one of the main causes of adverse reactions related to medications, being responsible for up to 23% of hospital admissions. However, only a few studies have evaluated this problem in elderly Brazilians. Objectives: To determine the prevalence of potential DDIs (PDDIs) in community-dwelling elderly people in Brazil, analyse these interactions with regard to severity and clinical implications, and identify associated factors. Methods: A population-based cross-sectional study was carried out involving 2143 elderly (aged 60 years) residents of the metropolitan area of Sao Paulo, Brazil. Data were obtained from the SABE (Saude, Bem estar e Envelhecimento [Health, Well-Being, and Aging]) survey, which is a multicentre study carried out in seven countries of Latin America and the Caribbean, coordinated by the Pan-American Health Organization. PDDIs were analysed using a computerized program and categorized according to level of severity, onset, mechanism and documentation in the literature. The STATA software statistical package was used for data analysis, and logistic regression was conducted to determine whether variables were associated with PDDIs. Results: Analysis revealed that 568 (26.5%) of the elderly population included in the study were taking medications that could lead to a DDI. Almost two-thirds (64.4%) of the elderly population exposed to PDDIs were women, 50.7% were aged >= 75 years, 71.7% reported having fair or poor health and 65.8% took 2-5 medications. A total of 125 different PDDIs were identified; the treatment combination of an ACE inhibitor with a thiazide or loop diuretic (associated with hypotension) was the most frequent cause of PDDIs (n=322 patients; 56.7% of individuals with PDDIs). Analysis of the PDDIs revealed that 70.4% were of moderate severity, 64.8% were supported by good quality evidence and 56.8% were considered of delayed onset. The multivariate analysis showed that the risk of a PDDI was significantly increased among elderly individuals using six or more medications (odds ratio [OR] 3.37) and in patients with hypertension (OR 2.56), diabetes mellitus (OR 1.73) or heart problems (OR 3.36). Conclusions: Approximately one-quarter of the elderly population living in Sao Paulo could be taking two or more potentially interacting medicines. Polypharmacy predisposes elderly individuals to PDDIs. More than half of these drug combinations (57.6%, n = 72) were part of commonly employed treatment regimens and may be responsible for adverse reactions that compromise the safety of elderly individuals, especially at home. Educational initiatives are needed to avoid unnecessary risks.

Nocturnal awakening with headache and its relationship with sleep disorders in a population-based sample of adult inhabitants of Sao Paulo City, Brazil

Our aim was to estimate the prevalence of nocturnal awakening with headache (NAH) in the population of Sao Paulo City according to gender, age (20-80 years old) and socioeconomic classes and its relationship to sleep disorders, sleep parameters, anxiety, depression, fatigue, life quality and obesity. We used a population-based survey with a representative three-stage cluster sample. Questionnaires and scales were applied face-to-face, and polysomnography was performed in 1101 volunteers, aged 42 +/- 14 years, 55% women. The complaint of NAH occurring at least once a week had a prevalence of 8.4%, mostly in women, obese subjects and those aged 50-59 years-old. We observed associations of NAH with insomnia, restless leg syndrome (RLS), nightmares and bruxism, but not obstructive sleep apnea syndrome. In a logistics regression model, risk factors for NAH were female gender, odds ratio (OR) (95% confidence interval [CI]) 4.5 (2.8-7.3); obesity, OR 1.9 (1.1-3.3); age between 50 and 59 years, OR 2.4 (1.2-4.7); severe anxiety, OR 8.1 (3.6-18.1); RLS, 2.7 (1.2-5.6); and nightmares, 2.2 (1.3-3.7). Our study shows that NAH was highly prevalent in the population of Sao Paulo and suggests that this phenomenon has specific characteristics with specific risk factors: obesity, RLS and nightmares.

Stroke awareness in Brazil - Alarming results in a community-based study

Background and Purpose-Stroke is the leading cause of death in Brazil. This community-based study assessed lay knowledge about stroke recognition and treatment and risk factors for cerebrovascular diseases and activation of emergency medical services in Brazil. Methods-The study was conducted between July 2004 and December 2005. Subjects were selected from the urban population in transit about public places of 4 major Brazilian cities: S (a) over tildeo Paulo, Salvador, Fortaleza, and Ribeir (a) over tildeo Preto. Trained medical students, residents, and neurologists interviewed subjects using a structured, open-ended questionnaire in Portuguese based on a case presentation of a typical patient with acute stroke at home. Results-Eight hundred fourteen subjects were interviewed during the study period (53.9% women; mean age, 39.2 years; age range, 18 to 80 years). There were 28 different Portuguese terms to name stroke. Twenty-two percent did not recognize any warning signs of stroke. Only 34.6% of subjects answered the correct nationwide emergency telephone number in Brazil (# 192). Only 51.4% of subjects would call emergency medical services for a relative with symptoms of stroke. In a multivariate analysis, individuals with higher education called emergency medical services (P=0.038, OR=1.5, 95%, CI: 1.02 to 2.2) and knew at least one risk factor for stroke (P<0.05, OR=2.0, 95% CI: 1.2 to 3.2) more often than those with lower education. Conclusions-Our study discloses alarming lack of knowledge about activation of emergency medical services and availability of acute stroke treatment in Brazil. These findings have implications for public health initiatives in the treatment of stroke and other cardiovascular emergencies.