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.

Relation between alcohol consumption and traffic violations and accidents in the region of Ribeirao Preto, Sao Paulo State

In recent years, alcohol consumption has been considered an important public health problem. Ethanol, the alcohol used in beverages, is a drug that affects the central nervous system (CNS) and impairs driving skills and co-ordination, increasing risk of deaths and injuries derived from crashes and road accidents. Consumption of alcoholic beverages is implicated with premature deaths, injuries and damages caused by motor vehicle crashes, which result in high costs to government and society. Considering that alcohol consumption is the main responsible factor for deaths and disabilities in young people, the aim of this work was to evaluate the prevalence of blood alcohol in offenders and/or fatal and non-fatal victims of traffic occurrences in the region of Ribeirao Preto, Sao Paulo State, from 2005 to 2007. The results revealed that in 2134 cases investigated, blood alcohol positivity was generally found in young adults, 25-45 years old and male. The study showed the high risk of drinking and driving and the importance in establishing actions of prevention and intervention to promote the reduction in the number of traffic occurrences related to consumption of alcoholic beverages. (C) 2010 Elsevier Ireland 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.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Impacts of Animal Traffic on the Brazilian Amazon Parrots (Amazona species) Collection of the Quinzinho de Barros Municipal Zoological Park, Brazil, 1986-2007

Eleven species of Amazon parrots (genus Amazona) are known to occur in Brazil, and nest poaching and illegal traffic pose serious conservation threats to these species. When the illegal owners realize these animals are incompatible with their expectations and lifestyle, or when the police arrests traders and owners, these trafficked animals are often considered unfit for release and sent to local zoos and captive breeders. A retrospective survey of animal and necropsy records from 1986 to 2007 was used to evaluate the impacts of animal traffic on the population composition and mortality patterns of Amazon parrots at the Quinzinho de Barros Municipal Zoological Park, Sorocaba, Brazil. Data were obtained for 374 Amazon parrots of ten Brazilian species, and there was evidence that the studied population could be split into two major groups: a majority belonging to the Amazona aestiva species and a minority belonging to the remaining species. In comparison, the animals of the first group were more frequently admitted from traffic-related origins (98 vs. 75%), had a shorter lifespan (median 301 days vs. 848 days) and a higher mortality within the first year postadmission (54 vs. 37%), were less likely to receive expensive treatments, and were more frequently housed off-exhibit. On an average, parrots were found to have a short postadmission lifespan (median 356 days), with 92.5% of the birds dying within their first five years in captivity. The paper discusses the difficult dilemmas these incoming traffic-related animals pose to zoo management and official anti-traffic policies. Zoo Biol 29:600-614, 2010. (C) 2010 Wiley-Liss, Inc.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

Book review of: 'Textual traffic: Colonialism, modernity and the economy of text' by S. Shankar

No abstract

Application of Petrov-Galerkin methods to transient boundary value problems in chemical engineering: adsorption with steep gradients in bidisperse solids

Petrov-Galerkin methods are known to be versatile techniques for the solution of a wide variety of convection-dispersion transport problems, including those involving steep gradients. but have hitherto received little attention by chemical engineers. We illustrate the technique by means of the well-known problem of simultaneous diffusion and adsorption in a spherical sorbent pellet comprised of spherical, non-overlapping microparticles of uniform size and investigate the uptake dynamics. Solutions to adsorption problems exhibit steep gradients when macropore diffusion controls or micropore diffusion controls, and the application of classical numerical methods to such problems can present difficulties. In this paper, a semi-discrete Petrov-Galerkin finite element method for numerically solving adsorption problems with steep gradients in bidisperse solids is presented. The numerical solution was found to match the analytical solution when the adsorption isotherm is linear and the diffusivities are constant. Computed results for the Langmuir isotherm and non-constant diffusivity in microparticle are numerically evaluated for comparison with results of a fitted-mesh collocation method, which was proposed by Liu and Bhatia (Comput. Chem. Engng. 23 (1999) 933-943). The new method is simple, highly efficient, and well-suited to a variety of adsorption and desorption problems involving steep gradients. (C) 2001 Elsevier Science Ltd. All rights reserved.