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.

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.

A method for simultaneous detection and identification of Brazilian dog- and vampire bat-related rabies virus by reverse transcription loop-mediated isothermal amplification assay

At present, the sporadic occurrence of human rabies in Brazil can be attributed primarily to dog- and vampire bat-related rabies viruses. Reverse transcription loop-mediated isothermal amplification (RT-LAMP) was employed as a simultaneous detection method for both rabies field variants within 60 min. Vampire bat-related rabies viruses could be distinguished from dog variants by digesting amplicons of the RT-LAMP reaction using the restriction enzyme Alwl. Amplification and digestion could both be completed within 120 min after RNA extraction. In addition, the RI-LAMP assay also detected rabies virus in isolates from Brazilian frugivorous bats and Ugandan dog, bovine and goat samples. In contrast, there were false negative results from several Brazilian insectivorous bats and all of Chinese dog, pig, and bovine samples using the RI-LAMP assay. This study showed that the RT-LAMP assay is effective for the rapid detection of rabies virus isolates from the primary reservoir in Brazil. Further improvements are necessary so that the RT-LAMP assay can be employed for the universal detection of genetic variants of rabies virus in the field. (C) 2010 Elsevier B.V. All rights reserved.

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.

Surgical planning for resection of an ameloblastoma and reconstruction of the mandible using a selective laser sintering 3D biomodel

Ameloblastoma is a benign locally aggressive infiltrative odontogenic lesion. It is characterized by slow growth and painless swelling. The treatment for ameloblastoma varies from curettage to en bloc resection, and the reported recurrence rates after treatment are high; the safety margin of resection is important to avoid recurrence. Advances in technology brought about great benefits in dentistry; a new generation of computed tomography scanners and 3-dimensional images enhance the surgical planning and management of maxillofacial tumors. The development of new prototyping systems provides accurate 3D biomodels on which surgery can be simulated, especially in cases of ameloblastoma, in which the safety margin is important for treatment success. A case of mandibular follicular ameloblastoma is reported where a 3D biomodel was used before and during surgery.

Quantitative 3D profilometry and SEM analysis of the adaptation of root-end filling materials placed under an optical microscope

P>Aim To evaluate by 3D profilometry and scanning electron microscopy (SEM), the marginal adaptation of mineral trioxide aggregate (MTA) and Sealer 26 placed in root-end cavities with direct vision or under an optical microscope. Methodology The root ends of 52 root filled canine teeth were filled with MTA or Sealer 26 under direct vision or optical microscope (n = 13). In each group, eight specimens were analysed by profilometry for measurement of the area and depth of gaps. In the other five specimens, gap area was measured using SEM to verify marginal adaptation and surface characteristic. Data were analysed by parametric (anova and Tukey) and non-parametric (Kruskal-Wallis and Dunn) tests. Results The assessment of the adaptation of both materials to dentine was not influenced by the mode of visualization, which was confirmed by both profilometry and SEM observations. The voids measured with profilometry for Sealer 26 under direct vision were significantly wider and deeper than those for MTA under direct vision (P < 0.05). In SEM, significantly larger gap areas were observed with Sealer 26 (P < 0.05). Conclusion Root-end cavities filled with MTA had smaller gaps and better marginal adaptation than Sealer 26.