Reliability modeling of a 1-out-of-2 system: Research with diverse Off-the-shelf SQL database servers

Fault tolerance via design diversity is often the only viable way of achieving sufficient dependability levels when using off-the-shelf components. We have reported previously on studies with bug reports of four open-source and commercial off-the-shelf database servers and later release of two of them. The results were very promising for designers of fault-tolerant solutions that wish to employ diverse servers: very few bugs caused failures in more than one server and none caused failure in more than two. In this paper we offer details of two approaches we have studied to construct reliability growth models for a 1-out-of-2 fault-tolerant server which utilize the bug reports. The models presented are of practical significance to system designers wishing to employ diversity with off-the-shelf components since often the bug reports are the only direct dependability evidence available to them

A discrete nonlinear model with substrate feedback

We consider a prototypical model in which a nonlinear field (continuum or discrete) evolves on a flexible substrate which feeds back to the evolution of the main field. We identify the underlying physics and potential applications of such a model and examine its simplest one-dimensional Hamiltonian form, which turns out to be a modified Frenkel-Kontorova model coupled to an extra linear equation. We find static kink solutions and study their stability, and then examine moving kinks (the continuum limit of the model is studied too). We observe how the substrate effectively renormalizes properties of the kinks. In particular, a nontrivial finding is that branches of stable and unstable kink solutions may be extended beyond a critical point at which an effective intersite coupling vanishes; passing this critical point does not destabilize the kink. Kink-antikink collisions are also studied, demonstrating alternation between merger and transmission cases.Comment: a revtex text file and 6 ps files with figures. Physical Review E, in pres

Combined pyrolysis and radiochemical gas chromatography for studying the thermal degradation of polymers

Pyrolysis gas chromatography and radioactive tracer techniques have been used independently to study the thermal degradation of polymers. In these laboratories the two techniques have been combined to elucidate some of the mechanisms of the thermal degradation of epoxy resins and polyimides. This paper describes the apparatus developed for this work

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

In recent work, we have argued for a formal treatment of confidence about the claims made in dependability cases for software-based systems. The key idea underlying this work is "the inevitability of uncertainty": It is rarely possible to assert that a claim about safety or reliability is true with certainty. Much of this uncertainty is epistemic in nature, so it seems inevitable that expert judgment will continue to play an important role in dependability cases. Here, we consider a simple case where an expert makes a claim about the probability of failure on demand (pfd) of a subsystem of a wider system and is able to express his confidence about that claim probabilistically. An important, but difficult, problem then is how such subsystem (claim, confidence) pairs can be propagated through a dependability case for a wider system, of which the subsystems are components. An informal way forward is to justify, at high confidence, a strong claim, and then, conservatively, only claim something much weaker: "I'm 99 percent confident that the pfd is less than 10-5, so it's reasonable to be 100 percent confident that it is less than 10-3." These conservative pfds of subsystems can then be propagated simply through the dependability case of the wider system. In this paper, we provide formal support for such reasoning

The Concept of Culture in Critical Mathematics Education

© Springer International Publishing AG, part of Springer Nature 2018. This is a post-peer-review, pre-copyedit version of a chapter published in The Philosophy of Mathematics Education Today. The final authenticated version is available online at: http://dx.doi.org/10.1007/978-3-319-77760-3A well-known critique in the research literature of critical mathematics education suggests that framing educational questions in cultural terms can encourage ethnic-cultural essentialism, obscure conflicts within cultures and promote an ethnographic or anthropological stance towards learners. Nevertheless, we believe that some of the obstacles to learning mathematics are cultural. ‘Stereotype threat’, for example, has a basis in culture. Consequently, the aims of critical mathematics education cannot be seriously pursued without including a cultural approach in educational research. We argue that an adequate conception of culture is available and should include normative/descriptive and material/ideal dyads as dialectical moments

Absolute quantification of the host-to-parasite DNA ratio in Theileria parva-infected lymphocyte cell lines

Theileria parva is a tick-transmitted intracellular apicomplexan pathogen of cattle in sub-Saharan Africa that causes East Coast fever (ECF). ECF is an acute fatal disease that kills over one million cattle annually, imposing a tremendous burden on African small-holder cattle farmers. The pathology and level of T. parva infections in its wildlife host, African buffalo (Syncerus caffer), and in cattle are distinct. We have developed an absolute quantification method based on quantitative PCR (qPCR) in which recombinant plasmids containing single copy genes specific to the parasite (apical membrane antigen 1 gene, ama1) or the host (hypoxanthine phosphoribosyltransferase 1, hprt1) are used as the quantification reference standards. Our study shows that T. parva and bovine cells are present in similar numbers in T. parva-infected lymphocyte cell lines and that consequently, due to its much smaller genome size, T. parva DNA comprises between 0.9% and 3% of the total DNA samples extracted from these lines. This absolute quantification assay of parasite and host genome copy number in a sample provides a simple and reliable method of assessing T. parva load in infected bovine lymphocytes, and is accurate over a wide range of host-to-parasite DNA ratios. Knowledge of the proportion of target DNA in a sample, as enabled by this method, is essential for efficient high-throughput genome sequencing applications for a variety of intracellular pathogens. This assay will also be very useful in future studies of interactions of distinct host-T. parva stocks and to fully characterize the dynamics of ECF infection in the field

Software fault-freeness and reliability predictions

Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning - about evidence of correctness and about probabilities of certain failures -are rarely brought together explicitly. The desirability of using claims of correctness has been argued by many authors, but not been taken up in practice. We address how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework. We present novel results to make this approach practical, by guaranteeing reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems

Literature Survey of Radiochemical Cross-section Data Below 425 Mev

Literature survey of radiochemical cross sections below 425 Me

General relativistic null-cone evolutions with a high-order scheme

We present a high-order scheme for solving the full non-linear Einstein equations on characteristic null hypersurfaces using the framework established by Bondi and Sachs. This formalism allows asymptotically flat spaces to be represented on a finite, compactified grid, and is thus ideal for far-field studies of gravitational radiation. We have designed an algorithm based on 4th-order radial integration and finite differencing, and a spectral representation of angular components. The scheme can offer significantly more accuracy with relatively low computational cost compared to previous methods as a result of the higher-order discretization. Based on a newly implemented code, we show that the new numerical scheme remains stable and is convergent at the expected order of accuracy.Comment: 24 pages, 3 figure