High throughput analysis of endogenous glutamate release using a fluorescence plate reader

Recent discoveries of different modes of exocytosis and a plethora of molecules involved in neurotransmitter release has resulted in demand for more rapid and efficient methods for monitoring endogenous glutamate release from various tissue sources. In this article, we describe a high throughput microplate version of the enzyme-linked fluorescence detection method for the measurement of released glutamate, which utilises glutamate dehydrogenase, and the reduction of NADP to NADPH. Previous versions of this method rely upon cuvette-based fluorimeters for detection that are limited by large sample volumes and small numbers of samples that can be measured simultaneously. Comparison between the two methods shows that the microplate assay has comparable performance to the cuvette-based assay but has the capacity to analyse many times more samples in a given run. This increased capacity provides improved experimental design opportunities, higher experimental throughput and better comparison between experimental conditions. (c) 2005 Elsevier B.V. All rights reserved.

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.