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.

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.

Engineering the structures of nanoporous clays with micelles of alkyl polyether surfactants

Composite clay nanostructures (CCNs) were observed in intercalating Laponite clay with alumina in the presence of alkyl polyether surfactants which contain hydrophobic alkyl chains and ether groups. Such nanostructured clays are highly porous solids consisting of randomly orientated clay platelets intercalated with alumina nanoparticles. The pores in the product solids are larger than the dimension of the surfactant molecules, ranging from 2 to 10 nm. This suggests that the micelles of the surfactant molecules, rather than the molecules, act as templates in the synthesis. Interestingly, it is found that the size of the framework pores was directly proportional to the amount of the surfactants in terms of moles, but shows no evident dependence on the size of the surfactant molecules. Broad pore size distributions were observed for the product CCNs. This study demonstrates that introducing surfactants in the pillaring process of clays is a powerful strategy for tailoring the pore structures of nanoporous clays. With this new technique, it is possible to design and engineer such composite clay nanostructures with desired pore and surface properties by the proper choice of surfactant amounts and preparation conditions.

The mechanisms of combustion and continuous reactions during mechanical alloying

Some materials exhibit a combustion event during mechanical alloying, which results in the rapid transformation of reactants into products, while others show a slow transformation of reactants into products, In this paper, the continuous W + C --> WC reaction is compared to the Ti + C --> TiC combustion reaction. Rietveld refinement of X-ray diffraction patterns is used to show that these particular reactions proceed through different pathways, determined by crystallographic factors of the reactants. When a crystallographic relationship exists between the reactants and the products, such as that between W and WC, the product forms slowly over a period of time. In contrast, insertion of C into the Ti structure is associated with atomic rearrangements within the crowded lattice planes and the subsequent catastrophic failure of the reactant lattices results in combustion to form TiC. (C) 2001 Academic Press.

Precipitation hardening of Cu-Fe-Cr alloys - Part I - Mechanical and electrical properties

This research is part of a project whose scope was to investigate the engineering properties of new non-commercial alloy formulations based on the Cu rich corner of the Cu-Fe-Cr ternary system with the primary aim of exploring the development of a new cost-effective high-strength, high-conductivity copper alloy. The literature indicated that Cu rich Cu-Cr and Cu-Fe alloys have been thoroughly investigated. A number of commercial alloys have been developed and these are used for a variety of applications requiring combinations of high-strength, high-conductivity and resistance to softening. Little evidence was found in the literature that the Cu rich corner of the Cu-Fe-Cr system had previously been investigated for the purpose of developing high-strength, high-conductivity copper alloys resistant to softening. The aim of these present investigations was to explore the possibility that new alloys could be developed that combined the properties of both sets of alloys, ie large precipitation hardening response combined with the ability to stabilise cold worked microstructures to high temperatures while at the same maintain high electrical conductivity. To assess the feasibility of this goal the following alloys were chosen for investigation: Cu-0.7wt%Cr-0.3wt%Fe, Cu-0.7wt%Cr-0.8wt%Fe, Cu-0.7wt%Cr-2.0wt%Fe. This paper reports on the mechanical property investigation which indicated that the Cu-0.7wt%Cr-0.3wt%Fe, and Cu-0.7wt%Cr-2.0wt%Fe alloys were worthy of further investigation. (C) 2001 Kluwer Academic Publishers.

Micro-mechanical approximation to the stress field around an inclined fiber of FRCC

Matrix spalling or crushing is one of the important mechanisms of fiber-matrix interaction of fiber reinforced cementitious composites (FRCC). The fiber pullout mechanisms have been extensively studied for an aligned fiber but matrix failure is rarely investigated since it is thought not to be a major affect. However, for an inclined fiber, the matrix failure should not be neglected. Due to the complex process of matrix spalling, experimental investigation and analytical study of this mechanism are rarely found in literature. In this paper, it is assumed that the load transfer is concentrated within the short length of the inclined fiber from the exit point towards anchored end and follows the exponential law. The Mindlin formulation is employed to calculate the 3D stress field. The simulation gives much information about this field. The 3D approximation of the stress state around an inclined fiber helps to qualitatively understand the mechanism of matrix failure. Finally, a spalling criterion is proposed by which matrix spalling occurs only when the stress in a certain volume, rather than the stress at a small point, exceeds the material strength. This implies some local stress redistribution after first yield. The stress redistribution results in more energy input and higher load bearing capacity of the matrix. In accordance with this hypothesis, the evolution of matrix spalling is demonstrated. The accurate prediction of matrix spalling needs the careful determination of the parameters in this model. This is the work of further study. (C) 2002 Elsevier Science Ltd. All rights reserved.

Thunderstorms - their importance in wind engineering (a case for the next generation wind tunnel)

This paper attempts a state-of-the-art summary of research into thunderstorm wind fields from an engineering perspective. The characteristics of thunderstorms and the two extreme wind events-tornadoes and downbursts-spawn by thunderstorms are described. The significant differences from traditional boundary layer flows are highlighted. The importance of thunderstorm gusts in the worldwide database of extreme wind events is established. Physical simulations of tornadoes and downbursts are described and discussed leading to the recommendation that Wind Engineering needs to focus more resources on the fundamental issue - What is the flow structure in the strongest winds? © 2002 Published by Elsevier Science Ltd.

Polymer product engineering utilising oscillatory baffled reactors

The Oscillatory baffled reactor (OBR) can be used to produce particles with controlled size and morphology, in batch or continuous flow. This is due to the effect of the superimposed oscillations that radially mixes fluid but still allows plug-flow (or close to plug flow) behaviour in a continuous system. This mixing, combined with a close to a constant level of turbulence intensity in the reactor, leads to tight droplet and subsequent product particle size distributions. By applying population balance equations together with experimental droplet size distributions, breakage rates of droplets can be determined and this is a useful tool for understanding the product engineering in OBRs. (C) 2002 Elsevier Science B.V All rights reserved.