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.

Standardizing assessment of adverse effects in rheumatology clinical trials. Status of OMERACT Toxicity Working Group March 2000: Towards a common understanding of comparative toxicity/safety profiles for antirheumatic therapies

This paper describes the background and current status of an OMERACT facilitated effort to improve the consistency of adverse event reporting in rheumatology clinical trials, The overall goal is the development of an adverse event assessment tool that would provide a basis for use of common terminology and improve the consistency of reporting severity of side effects within rheumatology clinical trials and during postmarketing surveillance. The resulting Rheumatology Common Toxicity Criteria Index encompassed the following organ systems: allergic/immunologic, cardiac, ENT, gastrointestinal, musculoskeletal, neuropsychiatric, ophthalmologic, pulmonary and skin/integument. Before this tool is widely accepted, its validity, consistency, and feasibility need to be assessed in clinical trials.

The prevalence and concentration of Escherichia coli O157 in faeces of cattle from different production systems at slaughter

Aims: To determine the prevalence and concentration of Escherichia coli O157 shed in faeces at slaughter, by beef cattle from different production systems. Methods and Results: Faecal samples were collected from grass-fed (pasture) and lot-fed (feedlot) cattle at slaughter and tested for the presence of E. coli O157 using automated immunomagnetic separation (AIMS). Escherichia coli O157 was enumerated in positive samples using the most probable number (MPN) technique and AIMS and total E. coli were enumerated using Petrifilm. A total of 310 faecal samples were tested (155 from each group). The geometric mean count of total E. coli was 5 x 10(5) and 2.5 x 10(5) CFU g(-1) for lot- and grass-fed cattle, respectively. Escherichia coli O157 was isolated from 13% of faeces with no significant difference between grass-fed (10%) and lot-fed cattle (15%). The numbers of E. coli O157 in cattle faeces varied from undetectable (

Improved photobiological H-2 production in engineered green algal cells

Oxygenic photosynthetic organisms use solar energy to split water (H2O) into protons (H+), electrons (e(-)), and oxygen. A select group of photosynthetic microorganisms, including the green alga Chlamydomonas reinhardtii, has evolved the additional ability to redirect the derived H+ and e(-) to drive hydrogen (H-2) production via the chloroplast hydrogenases HydA1 and A2 (H(2)ase). This process occurs under anaerobic conditions and provides a biological basis for solar-driven H-2 production. However, its relatively poor yield is a major limitation for the economic viability of this process. To improve H-2 production in Chlamydomonas, we have developed a new approach to increase H+ and e(-) supply to the hydrogenases. In a first step, mutants blocked in the state 1 transition were selected. These mutants are inhibited in cyclic e(-) transfer around photosystem I, eliminating possible competition for e(-) with H(2)ase. Selected strains were further screened for increased H-2 production rates, leading to the isolation of Stm6. This strain has a modified respiratory metabolism, providing it with two additional important properties as follows: large starch reserves ( i.e. enhanced substrate availability), and a low dissolved O-2 concentration (40% of the wild type (WT)), resulting in reduced inhibition of H2ase activation. The H-2 production rates of Stm6 were 5 - 13 times that of the control WT strain over a range of conditions ( light intensity, culture time, +/- uncoupler). Typically, similar to 540 ml of H-2 liter(-1) culture ( up to 98% pure) were produced over a 10-14-day period at a maximal rate of 4 ml h(-1) ( efficiency = similar to 5 times the WT). Stm6 therefore represents an important step toward the development of future solar-powered H-2 production systems.

Towards platform-independent real-time systems

Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are commonly based on low-level programming languages and involve considerable duplication of effort when a similar system is to be developed or the hardware platform changes. To provide more dependable, flexible and maintainable real-time systems at a lower cost what is needed is a platform-independent approach to real-time systems development. The development process is composed of two phases: a platform-independent phase, that defines the desired system behaviour and develops a platform-independent design and implementation, and a platform-dependent phase that maps the implementation onto the target platform. The last phase should be highly automated. For critical systems, assessing dependability is crucial. The partitioning into platform dependent and independent phases has to support verification of system properties through both phases.

Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

Pattern-based reuse of successful designs: usability ofsafety-critical systems

Users of safety-critical systems are expected to effectively control or monitor complex systems, with errors potentially leading to catastrophe. For such systems, safety is of paramount importance and must be designed into the human-machine interface. While many case studies show how inadequate design practice led to poor safety and usability, concrete guidance on good design practices is scarce. The paper argues that the pattern language paradigm, widely used in the software design community, is a suitable means of documenting appropriate design strategies. We discuss how typical usability-related properties (e.g., flexibility) need some adjustment to be used for assessing safety-critical systems, and document a pattern language, based on corresponding "safety-usability" principles

Hydrostability and Scaling Up Molecular Sieve Silica (MSS) Membranes for H2/CO Separation in Fuel Cell Systems

MSS membranes are a good candidate for CO cleanup in fuel cell fuel processing systems due to their ability to selectively permeate H2 over CO via molecular sieving. Successfully scaled up tubular membranes were stable under dry conditions to 400°C with H2 permeance as high as 2 x 10-6 mol.m-2.s^-1.Pa^-1 at 200 degrees C and H2/CO selectivity up to 6.4, indicating molecular sieving was the dominant mechanism. A novel carbonised template molecular sieve silica (CTMSS) technology gave the scaled up membranes resilience in hydrothermal conditions up to 400 degrees C in 34% steam and synthetic reformate, which is required for use in fuel cell CO cleanup systems.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.