A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Interlamellar modification of smectite clays

Clay minerals, both natural and synthetic, have a wide range of applications. Smectite clays are not true insulators, their slight conductivity has been utilized by the paper industry in the development of mildly conducting paper. In particular, the synthetic hectorite clay, laponite, is employed to produce paper which is used in automated drawing offices where electro graphic printing is common. The primary objective of this thesis was to modify smectite clays, particularly laponite, to achieve enhanced conductivity. The primary objective was more readily achieved if the subsidiary objective of understanding the mechanism of conductivity was defined. The cyclic voltammograms of some cobalt complexes were studied in free solution and as clay modified electrodes to investigate the origin of electroactivity in clay modified electrodes. The electroactivity of clay modified electrodes prepared using our method can be attributed to ion pairs sorbed to the surface of the electrode, in excess of the cationic exchange capacity. However, some new observations were made concerning the co-ordination chemistry of the tri-2-pyridylamine complexes used which needed clarification. The a.c. conductivity of pressed discs of laponite RD was studied over the frequency range 12Hz- 100kHz using three electrode systems namely silver-loaded epoxy resin (paste), stainless-steel and aluminium. The a. c. conductivity of laponite consists of two components, reactive (minor) and ionic (major) which can be observed almost independently by utilizing the different electrode systems. When the temperature is increased the conductivity of laponite increases and the activation energy for conductivity can be calculated. Measurement of the conductivity of thin films of laponite RD in two crystal planes shows a degree of anisotropy in the a.c. conductivity. Powder X-ray diffraction and 119Sn Mossbauer spectroscopy studies have shown that attempts to intercalate some phenyltin compounds into laponite RD under ambient conditions result in the formation of tin(IV) oxide pillars. 119Sn Mossbauer data indicate that the order of effectiveness of conversion to pillars is in the order: Ph3SnCl > (Ph3Sn)2O, Ph2SnCl2 The organic product of the pillaring process was identified by 13C m.a.s.n.m.r. spectroscopy as trapped in the pillared lattice. This pillaring reaction is much more rapid when carried out in Teflon containers in a simple domestic microwave oven. These pillared clays are novel materials since the pillaring is achieved via neutral precursors rather than sacrificial reaction of the exchangeable cation. The pillaring reaction depends on electrophilic attack on the aryl tin bond by Brønsted acid sites within the clay. Two methods of interlamellar modification were identified which lead to enhanced conductivity of laponite, namely ion exchange and tin(IV) oxide pillaring. A monoionic potassium exchanged laponite shows a four fold increase in a.c. conductivity compared to sodium exchanged laponite RD. The increased conductivity is due to the appearence of an ionic component. The conductivity is independent of relative humidity and increases with temperature. Tin(IV) oxide pillared laponite RD samples show a significant increase in conductivity. Samples prepared from Ph2SnCl2 show an increase in excess of an order of magnitude. The conductivity of tin(IV) oxide pillared laponite samples is dominated by an ionic component.

The transition from severe to mild wear in law alloy steel

The wear rates of sliding surfaces are significantly reduced if mild oxidational wear can be encouraged. It is hence of prime importance in the interest of component life and material conservation to understand the factors necessary to promote mild, oxidational wear, The present work investigates the fundamental mechanism of the running-in wear of BS EN 31!EN 8 steel couples. under various conditions of load. speed and test duration. Unidirectional sliding experiments were carried out on a pin-on~disc wear machine where frictional force, wear rate, temperature and contact resistance were continuously monitored during each test. Physical methods of analysis (x-ray, scanning electron microscopy etc.) were used to examine the wear debris and worn samples. The wear rate versus load curves revealed mild wear transitions, which under long duration of running, categorized mild wear into four distinct regions.α-Fe20s. Fe304, FeO and an oxide mixture were the predominant oxides in four regions of oxidational wear which were identified above the Welsh T2 transition. The wear curves were strongly effected by the speed and test duration. A surface model was used to calculate the surface parameters, and the results were found to be comparable with the experimentally observed parameters. Oxidation was responsible for the transition from severe to mild wear at a load corresponding to the Welsh T2 transition. In the running-in period sufficient energy input and surface hardness enabled oxide growth rate to increase and eventually exceeded the rate of removal, where mild wear ensued. A model was developed to predict the wear volume up to the transition. Remarkable agreement was found between the theoretical prediction and the experimentally-measured values. The oxidational mechanjsm responsible for transitjon to mild wear under equilibrium conditions was related to the formation of thick homogenous oxide plateaux on subsurface hardened layers, FeO was the oxide formed initially at the onset of mild wear but oxide type changed.during the total running period to give an equilibrium oxide whose nature depended on the loads applied.

The mechanical properties and formability of dual-phase steel

In recent years dual phase steels comprising of 5-20% martensite in a ferrite matrix have come into the limelight of high strength cold formable steels because of their potential for vehicle weight saving. They show the following features: no yield point; relatively low initial flow stress; high initial workhardening rate; well sustained work hardening. As a consequence of these characteristics, dual phase steels exhibit a better combination of strength and elongation than other HSLA steels. In this thesis, a broad view of the factors which influence their properties is presented. Mechanical properties and forming ability of a commercially available dual phase steel and an AL-Si killed steel processed to dual phase form are investigated to ascertain the effect of their microstructure on their properties. It is found that the yield phenomena are masked by the transformation induced stresses present during processing and so yield point could be recovered under suitable ageing treatment; that apart from giving the above properties dual phasing gives rise to very low strain-rate sensitivity and a low R value ~ 1; that the mechanical response under rolling conditions is not different from those under tension; that there is a danger of damage to tooling during forming operations of these steels if fracture should precede instability as a result of grain size dependent strength found for these steels. It is also found that very little deformation of the martensite islands took place during deformation except at high strains. The work-hardening and the strength levels can be controlled by either decreasing the grain size or increasing the martensite volume fraction, but it is found that increasing martensite has a detrimental effect on ductility and the ductility and fracture strength can be controlled better by refining the grain size. A remarkable effect found in the dual phase steel tested is that the compressive strength is higher than the tensile strength. The reason for this observation is not yet clear but it is suggested that it might be due to the introduction of emissary type dislocations into the ferrite lattice as a result of twins formed in the martensite during transformation from austenite. The twins are envisaged to be {111} <112> in character.

The beneficiation of steel making slags

The thesis examines the possibilities for the beneficiation of steel making slags by using mineral processing methods. Chemical and Mineralogical investigations have been carried out by SEM and EP}ffi to determine the most suitable separation methods in terms of crystal size, chemical composition and surface properties. Magnetic separation was applied in connection with size reductions for the extraction of the metallic iron prills and other iron containing phases and the results were related to the feed size and operating conditions. The behaviour of the slags in flotation tests was studied with respect to the recovery and grade. It was found that the free lime presence in the slags caused a high acid consumption of both weak and strong acids. It also reacted with acids and consequently produced a white precipitate, (CaS04 for H2 S04 ). The poor response of the phases to the flotation by different types of collector was found to be due to surface alteration caused by the free lime. The flocculation tests were carried out at the natural pH of the slags to prevent surface alterations. Settling tests were done to determine the suitable flocculants for the separation tests. The effect of the settling period, flocculant concentration, conditioning period and number of cleaning cycles were determined to optimize the separation tests. The discussion brings together this study with previous theoretically based work cited in the literature to elucidate the factor5governing the utilisation of steel making slags.

Corrosion and passivation of steel in concrete

A study of several chemical and electrochemical factors which affect the behaviour of embedded steel in cement pastes and concrete has been made. The effects of internal and external sources of chloride ions on the pore solution chemistry of Portland cement pastes, with and without additions of anodic corrosion inhibitors, have been studied using a pore solution expression device which has enabled samples of pore solution to be expressed from hardened cement pastes and analysed for various ionic species. Samples of pure alite and tricalcium aluminate have been prepared and characterised with respect to morphology, free lime content and fineness. Kinetics of diffusion of chloride ions in hardened pastes of alite and alite blended with tricalcium aluminate have been investigated and an activation energy obtained for the diffusion process in alite. The pore structures of the hardened pastes and the chloride ion binding capacity of alite have also been determined. Concrete cylinders containing embedded steel with four different surface conditions were exposed to various environments. The electrochemical behaviour of the steel was monitored during the period of exposure by means of rest potential measurements and the steel corrosion products analysed before and after being embedded. An examination was made of the nature of the interfacial zones produced between the embedded steel and cement. Rest potential measurements were monitored for steel embedded in alite paste in the presence of chloride ions and cement paste containing various levels of inhibitors in combination with chloride ions. In the latter case the results were supported by polarisation resistance determinations.