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.

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.

Effect of laser phototherapy on recurring herpes labialis prevention: an in vivo study

Alternative treatment for recurrent labial infection by herpes simplex virus (HSV) have been considered. The aim of this study was to evaluate the effectiveness of laser phototherapy in prevention and reduction of severity of labial manifestations of herpes labialis virus. Seventy-one patients, divided into experimental (n = 41) and control (n = 30) groups were followed up for 16 months. Patients in the control group were treated topically with aciclovir and patients in the experimental group were subjected to laser phototherapy (one session per week, 10 weeks): 780 nm, 60 mW, 3.0 J/cm(2) or 4.5 J/cm(2) on healthy (no HSV-1 infection) and affected (with HSV-1 infection) tissues. Patients in the experimental group presented a significant decrease in dimension of herpes labialis lesions (P = 0.013) and inflammatory edema (P = 0.031). The reduction in pain level (P = 0.051) and monthly recurrences (P = 0.076) did not reach statistical significance. This study represents an in vivo indication that this treatment should be further considered as an effective alternative to therapeutic regimens for herpes labialis lesions.

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.

Staphylococcus Aureus Contamination in a Pediatric Dental Clinic

Staphylococcus aureus strains can be disseminated during dental treatment and occasionally lead to contamination and infection of patients and dentists. The objective of this study was to determine the frequency and compare the number of S.aureus colonies isolated from the nose, hands and tongue of students and patients, as well as from the clinical environment, before and after dental treatment. Staphylococcus species were isolated from the tongue, nose and hands of 30 students and 30 patients and from the environment of a Pediatric Dentistry Clinic. The samples were incubated in SMA plates at 37 degrees C for 48 hours. Results: The colonies that showed the presence of mannitol fermentation were collected as identification for Staphylococcus aureus, using CHROMagar and the coagulase test. The highest amount of S.aureus was found in the nose and tongue of children. In relation to dental students, more contamination was observed on gloved hands, followed by the tongue and hands without gloves, before clinical attendance. At the end of dental treatment, S. aureus colonies isolated from the gloved hands of students decreased significantly. Considering the clinical environment, the most contaminated areas were the auxiliary table and the storeroom, which was located at the center of the clinic. Conclusion: The dental clinic can be considered an environment for S. aureus cross-transmission. Preventative measures should be used to avoid the dissemination of pathogenic microorganisms.

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.