Application of the D3H2 Methodology for the Cost-Effective Design of Dependable Systems

The use of dedicated components as a means of achieving desirable levels of fault tolerancein a system may result in high costs. A cost effective way of restoring failed functions is to use heterogeneous redundancies: components that, besides performing their primary intended design function, can also restore compatible functions of other components. In this paper, we apply a novel design methodology called D3H2 (aDaptive Dependable Design for systems with Homogeneous and Heterogeneous redundancies) to assist in the systematic identification of heterogeneous redundancies, the design of hardware/software architectures including fault detection and reconfiguration, and the systematic dependability and cost assessments of the system. D3H2 integrates parameter uncertainty and criticality analyses to model inexact failure data in dependability assessment. The application to a railway case study is presented with a focus on analysing different reconfiguration strategies as well as types and levels of redundancies

Measurements, Models, Systems and Design

531 s.

Timed circuit verification using TEL structures

Journal ArticleAbstract-Recent design examples have shown that significant performance gains are realized when circuit designers are allowed to make aggressive timing assumptions. Circuit correctness in these aggressive styles is highly timing dependent and, in industry, they are typically designed by hand. In order to automate the process of designing and verifying timed circuits, algorithms for their synthesis and verification are necessary. This paper presents timed event/level (TEL) structures, a specification formalism for timed circuits that corresponds directly to gate-level circuits. It also presents an algorithm based on partially ordered sets to make the state-space exploration o f TEL structures more tractable. The combination of the new specification method and algorithm significantly improves efficiency for gate-level timing verification. Results on a number of circuits, including many from the recently published gigahertz unit Test Site (guTS) processor from IBM indicate that modules of significant size can be verified using a level of abstraction that preserves the interesting timing properties of the circuit. Accurate circuit level verification allows the designer to include less margin in the design, which can lead to increased performance

Synthesis, Stabilization, and Characterization of Metal Nanoparticles

Wet chemical synthesis techniques offer the ability to control various nanoparticle characteristics including size, shape, dispersibility in both aqueous and organic solvents, and tailored surface chemistries appropriate for different applications. Large quantities of stabilizing ligands or surfactants are often required during synthesis to achieve these nanoparticle characteristics. Unfortunately, excess reaction byproducts, surfactants, and ligands remaining in solution after nanoparticle synthesis can impede application, and therefore post-synthesis purification must be employed. A liquid-liquid solvent/anti-solvent pair (typically ethanol/toluene or ethanol/hexane for gold nanoparticles, GNPs) can be used to both purify and size-selectively fractionate hydrophobically modified nanoparticles. Alternatively, carbon dioxide may be used in place of a liquid anti-solvent, a ―green‖ approach, enabling both nanoparticle purification and size-selective fractionation while simultaneously eliminating mixed solvent waste and allowing solvent recycle. We have used small-angle neutron scattering (SANS) to investigate the ligand structure and composition response of alkanethiol modified gold and silver nanoparticles at varying anti-solvent conditions (CO2 or ethanol). The ligand lengths and ligand solvation for alkanethiol gold and silver NPs were found to decrease with increased anti-solvent concentrations directly impacting their dispersibility in solution. Calculated Flory-Huggins interaction parameters support our SANS study for dodecanethiol dispersibility in the mixed organic solvents. This research has led to a greater understanding of the liquid-liquid precipitation process for metal nanoparticles, and provides critical results for future interaction energy modeling

Chapter 4 Design Options, Implementation Issues and Evaluating Success of Ecologically Engineered Shorelines

Human population growth and accelerating coastal development have been the drivers for unprecedented construction of artificial structures along shorelines globally. Construction has been recently amplified by societal responses to reduce flood and erosion risks from rising sea levels and more extreme storms resulting from climate change. Such structures, leading to highly modified shorelines, deliver societal benefits, but they also create significant socioeconomic and environmental challenges. The planning, design and deployment of these coastal structures should aim to provide multiple goals through the application of ecoengineering to shoreline development. Such developments should be designed and built with the overarching objective of reducing negative impacts on nature, using hard, soft and hybrid ecological engineering approaches. The design of ecologically sensitive shorelines should be context-dependent and combine engineering, environmental and socioeconomic considerations. The costs and benefits of ecoengineered shoreline design options should be considered across all three of these disciplinary domains when setting objectives, informing plans for their subsequent maintenance and management and ultimately monitoring and evaluating their success. To date, successful ecoengineered shoreline projects have engaged with multiple stakeholders (e.g. architects, engineers, ecologists, coastal/port managers and the general public) during their conception and construction, but few have evaluated engineering, ecological and socioeconomic outcomes in a comprehensive manner. Increasing global awareness of climate change impacts (increased frequency or magnitude of extreme weather events and sea level rise), coupled with future predictions for coastal development (due to population growth leading to urban development and renewal, land reclamation and establishment of renewable energy infrastructure in the sea) will increase the demand for adaptive techniques to protect coastlines. In this review, we present an overview of current ecoengineered shoreline design options, the drivers and constraints that influence implementation and factors to consider when evaluating the success of such ecologically engineered shorelines

Developing Time-Resolved Synchrotron Infrared Spectroscopy for Spectroelectrochemical Measurements

This thesis details my work in developing spectroelectrochemical platforms utilizing synchrotron infrared radiation (SIR) and time-resolved FTIR to study the kinetics of electrochemical reactions on second to millisecond scale with high chemical sensitivity. It will cover development of spectroelectrochemical cells and procedures compatible with the mid-IR beamline at the Canadian Light Source to study irreversible electrocatalytic processes with rapid scan FTIR in reflection mode. The thesis demonstrates application of SIR-based rapid scan FTIR to spatially map catalytic activity on heterogenous PtNi electrode and provides proof-of-principle for its capability for combinatorial screening for binary electrocatalysts. The thesis discusses the development of time-resolved step scan FTIR in attenuated total reflection - surface enhancing infrared absorption spectroscopy configuration (ATR-SEIRAS) to improve signal-to-noise of the measurement for increased detection limits and time-resolution, before demonstrating the utility of the developed step scan ATR-SEIRAS platform by investigation of the kinetics of conformational changes within self-assembled monolayers (SAM) of ferrocene alkanethiols. Overall, the work described in this thesis outlines the advancement of SIR-based spectroelectrochemical platforms within the group to a point, where they can be directly applied to investigation of dynamics processes within electrochemical reaction

Developing Time-Resolved Synchrotron Infrared Spectroscopy for Spectroelectrochemical Measurements

This thesis details my work in developing spectroelectrochemical platforms utilizing synchrotron infrared radiation (SIR) and time-resolved FTIR to study the kinetics of electrochemical reactions on second to millisecond scale with high chemical sensitivity. It will cover development of spectroelectrochemical cells and procedures compatible with the mid-IR beamline at the Canadian Light Source to study irreversible electrocatalytic processes with rapid scan FTIR in reflection mode. The thesis demonstrates application of SIR-based rapid scan FTIR to spatially map catalytic activity on heterogenous PtNi electrode and provides proof-of-principle for its capability for combinatorial screening for binary electrocatalysts. The thesis discusses the development of time-resolved step scan FTIR in attenuated total reflection - surface enhancing infrared absorption spectroscopy configuration (ATR-SEIRAS) to improve signal-to-noise of the measurement for increased detection limits and time-resolution, before demonstrating the utility of the developed step scan ATR-SEIRAS platform by investigation of the kinetics of conformational changes within self-assembled monolayers (SAM) of ferrocene alkanethiols. Overall, the work described in this thesis outlines the advancement of SIR-based spectroelectrochemical platforms within the group to a point, where they can be directly applied to investigation of dynamics processes within electrochemical reaction

High-throughput biomethane potential (BMP) tests as predictors for commercial-scale anaerobic digester performance

Process Engineerin