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.

Stigmatization of alcohol and other drug users by primary care providers in Southeast Brazil

This study reports on the views of Primary Health Care (PHC) providers in Southeast Brazil on the use of alcohol and other drugs which reflect stigma, moralization, or negative judgment. Six hundred nine PHC professionals from the Brazilian states of Sao Paulo and Minas Gerais took part in the study. The majority (86.5%) of these professionals were female. Attitudes toward the use of alcohol and other drugs were evaluated in comparison to Hansen`s disease, obesity, depression, schizophrenia. HIV/AIDS, and tobacco use. The use of tobacco, marijuana/cocaine, and alcohol were the most negatively judged behaviors (p < 0.05). Nursing assistants and community health care workers demonstrated the severest judgment of alcohol use. In addition, marijuana/cocaine addicts and alcoholics suffered the highest rate of rejection by professionals. The hypothesis that the use of alcohol and other drugs is a behavior stigmatized by health professionals being confirmed, it is important to develop strategies for changing provider attitudes in order to provide a higher quality of service to these patients. This study is important as a first study among PHC professionals about social stigma of alcohol and other drugs users. (C) 2009 Elsevier Ltd. All rights reserved.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

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.