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.

Molecular and cellular biology of pre-malignancy in the gastrointestinal tract

Important pathogenic alterations within established cancers are acquired during the premalignant stage. These genetic alterations can be grouped into specific neoplastic pathways that differ within and between anatomical sites. By understanding the mechanisms that determine the initiation and progression of each pathway, it will be possible to develop novel approaches to the diagnosis, prevention and treatment of cancer. This chapter outlines the principles underlying the molecular characterization of pre-malignant lesions, taking colorectal neoplasia as the main model.

Association of Streptococcus mutans Infection and Oral Developmental Nodules in Pre-dentate Infants

Since dental caries may present soon after tooth eruption, we hypothesized that colonization of Streptococcus mutans can occur in the predentate stages. In this study, we examined S. mutans colonization and its association with oral developmental nodules (Bohn's nodules) in 60 pre-term and 128 full-term, three-month-old infants. Overall, S. mutans was cultured from 30% (56/188) of the infants, and oral developmental nodules were noted in 55% (103/188). Compared with the pre-term, full-term infants showed a higher prevalence of S. mutans (34% vs. 20%, p < 0.02) as well as developmental nodules (61% vs. 42%, p < 0.05). In both groups, S. mutans was positively associated with numbers of developmental nodules in a dose-response relationship (p < 0,001), and with maternal salivary levels of the bacteria (p = 0.03). The permanence of S. mutans infection was confirmed by repeat saliva sampling at 6 months of age. Our results thus showed that many infants have already acquired S. mutans at 3 months of age, prior to tooth eruption.