Safety Engineering with COTS components

Safety-critical systems are becoming more widespread, complex and reliant on software. Increasingly they are engineered through Commercial Off The Shelf (COTS) (Commercial Off The Shelf) components to alleviate the spiralling costs and development time, often in the context of complex supply chains. A parallel increased concern for safety has resulted in a variety of safety standards, with a growing consensus that a safety life cycle is needed which is fully integrated with the design and development life cycle, to ensure that safety has appropriate influence on the design decisions as system development progresses. In this article we explore the application of an integrated approach to safety engineering in which assurance drives the engineering process. The paper re- ports on the outcome of a case study on a live industrial project with a view to evaluate: its suitability for application in a real-world safety engineering setting; its benefits and limitations in counteracting some of the difficulties of safety en- gineering with COTS components across supply chains; and, its effectiveness in generating evidence which can contribute directly to the construction of safety cases

Surface treatments for nickel and nickel-base alloys

Surface treatments of nickel and nickel alloys by diffusion coating, electroplating, explosive hardening, peening, and other method

Are your lights off? Using problem frames to diagnose system failures

This paper reports on our experience of investigating the role of software systems in the power blackout that affected parts of the United States and Canada on 14 August 2003. Based on a detailed study of the official report on the blackout, our investigation has aimed to bring out requirements engineering lessons that can inform development practices for dependable software systems. Since the causes of failures are typically rooted in the complex structures of software systems and their world contexts, we have deployed and evaluated a framework that looks beyond the scope of software and into its physical context, directing attention to places in the system structures where failures are likely to occur. We report that (i) Problem Frames were effective in diagnosing the causes of failures and documenting the causes in a schematic and accessible way, and (ii) errors in addressing the concerns of biddable domains, model building problems, and monitoring problems had contributed to the blackout

A roadmap of problem frames research

It has been a decade since Michael Jackson introduced problem frames to the software engineering community. Since then, he has published further work addressing problem frames as well as presenting several keynote addresses. Other authors have researched problem frames, have written about their experiences and have expressed their opinions. It was not until 2004 that an opportunity presented itself for researchers in the field to gather as a community. The first International Workshop on Advances and Applications of Problem Frames (IWAAPF'04) was held at the International Conference on Software Engineering in Edinburgh on 24th May 2004. This event attracted over 30 participants: Jackson delivered a keynote address, researchers presented their work and an expert panel discussed the challenges of problem frames. Featuring in this special issue are two extended papers from the workshop, an invited contribution from Jackson in which he positions problem frames in the context of the software engineering discipline, and this article, where we provide a review of the literature

An Investigation of the Stratigraphy and Tectonics of the Kent Area, Western Connecticut

Guidebook for field trips in Connecticut and south central Massachusetts: New England Intercollegiate Geological Conference 74th annual meeting, University of Connecticut, Storrs Connecticut , October 2 and 3, 1982: Trip P-

Activation of mammalian Chk1 during DNA replication arrest: a role for Chk1 in the intra-S phase checkpoint monitoring replication origin firing

Checkpoints maintain order and fidelity in the cell cycle by blocking late-occurring events when earlier events are improperly executed. Here we describe evidence for the participation of Chk1 in an intra-S phase checkpoint in mammalian cells. We show that both Chk1 and Chk2 are phosphorylated and activated in a caffeine-sensitive signaling pathway during S phase, but only in response to replication blocks, not during normal S phase progression. Replication block–induced activation of Chk1 and Chk2 occurs normally in ataxia telangiectasia (AT) cells, which are deficient in the S phase response to ionizing radiation (IR). Resumption of synthesis after removal of replication blocks correlates with the inactivation of Chk1 but not Chk2. Using a selective small molecule inhibitor, cells lacking Chk1 function show a progressive change in the global pattern of replication origin firing in the absence of any DNA replication. Thus, Chk1 is apparently necessary for an intra-S phase checkpoint, ensuring that activation of late replication origins is blocked and arrested replication fork integrity is maintained when DNA synthesis is inhibited

Vehicle Driver & Atmospheric Factors in Light-Duty Vehicle Particle Number Emissions

Made possible by the collection of on-board tailpipe emissions data, this research identifies road and driver factors that are associated with a relatively understudied tailpipe pollutant from lightduty vehicles: ultrafine particle number emissions. High emission events (HEE) of ultrafine particle number (PN) emissions occurred most frequently at locations with steep upgrades or locations that required moderate to rapid accelerations (\u3e3 mph/s). The analysis revealed that less than 2% of the time driving was responsible for almost a third of all ultrafine particles emitted along the designated 17-mile test route for a sample of 22 drivers. Variables identified in a generalized linear model as significant to PN emissions include measures of engine speed (RPM), driver behavior (speed and acceleration rates), and road geometry (grade). These factors account for approximately 61% of the variability measured. Few modal emissions models estimate PN emissions; however, this research has revealed that the same predictor variables used to model gas pollutants are significant predictors of PN emissions. Therefore, the addition of PN emissions estimates to existing models would require little effort if these relationships were developed with larger datasets. This project also documented additional challenges related to on-board PN data collection related to temperature, humidity, and background PN concentrations. Finally, a large amount of the variation in light-duty PN emissions remains unexplained, suggesting a need for more comprehensive on-board datasets, including data on particle size distribution

Use of cumulative mortality data in patients with acute myocardial infarction for early detection of variation in clinical practice: observational study

OBJECTIVES: Use of cumulative mortality adjusted for case mix in patients with acute myocardial infarction for early detection of variation in clinical practice. DESIGN: Observational study. SETTING: 20 hospitals across the former Yorkshire region. PARTICIPANTS: All 2153 consecutive patients with confirmed acute myocardial infarction identified during three months. MAIN OUTCOME MEASURES: Variable life­adjusted displays showing cumulative differences between observed and expected mortality of patients; expected mortality calculated from risk model based on admission characteristics of age, heart rate, and systolic blood pressure. RESULTS: The performance of two individual hospitals over three months was examined as an example. One, the smallest district hospital in the region, had a series of 30 consecutive patients but had five more deaths than predicted. The variable life­adjusted display showed minimal variation from that predicted for the first 15 patients followed by a run of unexpectedly high mortality. The second example was the main tertiary referral centre for the region, which admitted 188 consecutive patients. The display showed a period of apparently poor performance followed by substantial improvement, where the plot rose steadily from a cumulative net lives saved of - 4 to 7. These variations in patient outcome are unlikely to have been revealed during conventional audit practice. CONCLUSIONS: Variable life­adjusted display has been integrated into surgical care as a graphical display of risk­adjusted survival for individual surgeons or centres. In combination with a simple risk model, it may have a role in monitoring performance and outcome in patients with acute myocardial infarction

Design of Launch Vehicle Flight Control Systems Using Ascent Vehicle Stability Analysis Tool

A launch vehicle represents a complicated flex-body structural environment for flight control system design. The Ascent-vehicle Stability Analysis Tool (ASAT) is developed to address the complicity in design and analysis of a launch vehicle. The design objective for the flight control system of a launch vehicle is to best follow guidance commands while robustly maintaining system stability. A constrained optimization approach takes the advantage of modern computational control techniques to simultaneously design multiple control systems in compliance with required design specs. "Tower Clearance" and "Load Relief" designs have been achieved for liftoff and max dynamic pressure flight regions, respectively, in the presence of large wind disturbances. The robustness of the flight control system designs has been verified in the frequency domain Monte Carlo analysis using ASAT