An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

A refined solution to Earth's hidden niobium: implications for evolution of continental crust and mode of core formation

New high-precision niobium (Nb) and tantalum (Ta) concentration data are presented for early Archaean metabasalts, metabasaltic komatiites and their erosion products (mafic metapelites) from SW Greenland and the Acasta gneiss complex, Canada. Individual datasets consistently show sub-chondritic Nb/Ta ratios averaging 15.1+/-11.6. This finding is discussed with regard to two competing models for the solution of the Nb-deficit that characterises the accessible Earth. Firstly, we test whether Nb could have sequestered into the core due to its slightly siderophile (or chalcophile) character under very reducing conditions, as recently proposed from experimental evidence. We demonstrate that troilite inclusions of the Canyon Diablo iron meteorite have Nb and V concentrations in excess of typical chondrites but that the metal phase of the Grant, Toluca and Canyon Diablo iron meteorites do not have significant concentrations of these lithophile elements. We find that if the entire accessible Earth Nb-deficit were explained by Nb in the core, only ca. 17% of the mantle could be depleted and that by 3.7 Ga, continental crust would have already achieved ca. 50% of its present mass. Nb/Ta systematics of late Archaean metabasalts compiled from the literature would further require that by 2.5 Ga, 90% of the present mass of continental crust was already in existence. As an alternative to this explanation, we propose that the average Nb/Ta ratio (15.1+/-11.6) of Earth's oldest mafic rocks is a valid approximation for bulk silicate Earth. This would require that ca. 13% of the terrestrial Nb resided in the Ta-free core. Since the partitioning of Nb between silicate and metal melts depends largely on oxygen fugacity and pressure, this finding could mean that metal/silicate segregation did not occur at the base of a deep magma ocean or that the early mantle was slightly less reducing than generally assumed. A bulk silicate Earth Nb/Ta ratio of 15.1 allows for depletion of up to 40% of the total mantle. This could indicate that in addition to the upper mantle, a portion of the lower mantle is depleted also, or if only the upper mantle were depleted, an additional hidden high Nb/Ta reservoir must exist. Comparison of Nb/Ta systematics between early and late Archaean metabasalts supports the latter idea and indicates deeply subducted high Nb/Ta eclogite slabs could reside in the mantle transition zone or the lower mantle. Accumulation of such slabs appears to have commenced between 2.5 and 2.0 Ga. Regardless of these complexities of terrestrial Nb/Ta systematics, it is shown that the depleted mantle Nb/Th ratio is a very robust proxy for the amount of extracted continental crust, because the temporal evolution of this ratio is dominated by Th-loss to the continents and not Nb-retention in the mantle. We present a new parameterisation of the continental crust volume versus age curve that specifically explores the possibility of lithophile element loss to the core and storage of eclogite slabs in the transition zone. (C) 2003 Elsevier Science B.V. All rights reserved.

Chronic renal failure in an English bull terrier with polycystic kidney disease

An entire female English bull terrier, aged five years and one month, was diagnosed with polycystic kidney disease by renal ultrasonography. It had thickening and abnormal motion of the mitral valve on 2D and M mode echocardiography, and left ventricular outflow tract obstruction, characterised by turbulence in the left ventricular outflow tract and elevated aortic blood flow velocity, detected by colour flow and spectral Doppler echocardiography, respectively. Two years later, haematology, serum biochemistry and urinalysis data suggested the presence of compensated renal failure. The dog was euthanased at 10 years and eight months of age, with haematology, serum biochemistry and urinalysis data indicating decompensated chronic renal failure. Postmortem examination confirmed polycystic kidney disease, chronic renal disease, mitral and aortic valvular myxomatous degeneration, and mixed mammary neoplasia. This case demonstrates that bull terriers with polycystic kidney disease may develop associated chronic renal failure.

Characterization of a strong, constitutive mung bean (Vigna radiata L.) promoter with a complex mode of regulation in planta

We report the cloning and characterization in tobacco and Arabidopsis of a Vigna radiata L. (mung bean) promoter that controls the expression of VR-ACS1, an auxin-inducible ACC synthase gene. The VR-ACS1 promoter exhibits a very unusual behavior when studied in plants different from its original host, mung bean. GUS and luciferase in situ assays of transgenic plants containing VR-ACS1 promoter fusions show strong constitutive reporter gene expression throughout tobacco and Arabidopsis development. In vitro quantitative analyses show that transgenic plants harboring VR-ACS1 promoter-reporter constructs have on average 4-6 fold higher protein and activity levels of both reporter genes than plants transformed with comparable CaMV 35S promoter fusions. Similar transcript levels are present in VR-ACS1 and CaMV 35S promoter lines, suggesting that the high levels of gene product observed for the VR-ACS1 promoter are the combined result of transcriptional and translational activation. All tested deletion constructs retaining the core promoter region can drive strong constitutive promoter activity in transgenic plants. This is in contrast to mung bean, where expression of the native VR-ACS1 gene is almost undetectable in plants grown under normal conditions, but is rapidly and highly induced by a variety of stimuli. The constitutive behavior of the VR-ACS1 promoter in heterologous hosts is surprising, suggesting that the control mechanisms active in mung bean are impaired in tobacco and Arabidopsis. The 'aberrant' behavior of the VR-ACS1 promoter is further emphasized by its failure to respond to auxin and cycloheximide in heterologous hosts. VR-ACS1 promoter regulatory mechanisms seem to be different from all previously characterized auxin-inducible promoters.

An anisotropic viscous representation of Mohr-Coulomb failure for use is modelling coupled mantle-continent dynamics

In mantle convection models it has become common to make use of a modified (pressure sensitive, Boussinesq) von Mises yield criterion to limit the maximum stress the lithosphere can support. This approach allows the viscous, cool thermal boundary layer to deform in a relatively plate-like mode even in a fully Eulerian representation. In large-scale models with embedded continental crust where the mobile boundary layer represents the oceanic lithosphere, the von Mises yield criterion for the oceans ensures that the continents experience a realistic broad-scale stress regime. In detailed models of crustal deformation it is, however, more appropriate to choose a Mohr-Coulomb yield criterion based upon the idea that frictional slip occurs on whichever one of many randomly oriented planes happens to be favorably oriented with respect to the stress field. As coupled crust/mantle models become more sophisticated it is important to be able to use whichever failure model is appropriate to a given part of the system. We have therefore developed a way to represent Mohr-Coulomb failure within a code which is suited to mantle convection problems coupled to large-scale crustal deformation. Our approach uses an orthotropic viscous rheology (a different viscosity for pure shear to that for simple shear) to define a prefered plane for slip to occur given the local stress field. The simple-shear viscosity and the deformation can then be iterated to ensure that the yield criterion is always satisfied. We again assume the Boussinesq approximation - neglecting any effect of dilatancy on the stress field. An additional criterion is required to ensure that deformation occurs along the plane aligned with maximum shear strain-rate rather than the perpendicular plane which is formally equivalent in any symmetric formulation. It is also important to allow strain-weakening of the material. The material should remember both the accumulated failure history and the direction of failure. We have included this capacity in a Lagrangian-Integration-point finite element code and will show a number of examples of extension and compression of a crustal block with a Mohr-Coulomb failure criterion, and comparisons between mantle convection models using the von Mises versus the Mohr-Coulomb yield criteria. The formulation itself is general and applies to 2D and 3D problems, although it is somewhat more complicated to identify the slip plane in 3D.