E-Book, Englisch, Band 60, 500 Seiten, eBook
Gelman Electronic Engineering and Computing Technology
1. Auflage 2010
ISBN: 978-90-481-8776-8
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 60, 500 Seiten, eBook
Reihe: Lecture Notes in Electrical Engineering
ISBN: 978-90-481-8776-8
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
Electronic Engineering and Computing Technology contains sixty-one revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. Electronic Engineering and Computing Technology will offer the state of art of tremendous advances in electronic engineering and computing technology and also serve as an excellent reference work for researchers and graduate students working with/on electronic engineering and computing technology.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
On the Experimental Control of a Separately Excited DC Motor.- MASH Digital Delta–Sigma Modulator with Multi-Moduli.- Sensorless PM-Drive Aspects.- Design of Silicon Resonant Micro Accelerometer Based on Electrostatic Rigidity.- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver.- Optimal Control of Full Envelope Helicopter.- Determination of Consistent Induction Motor Parameters.- Broken Rotor Bars in Squirrel Cage Induction Machines – Modeling and Simulation.- Different Designs of Large Chipper Drives.- Macro Cell Placement: Based on a Force Directed Flow.- Surface Roughness Scattering in MOS Structures.- A Novel Transform Domain Based Hybrid Recurrent Neural Equaliser for Digital Communication Channel.- Embedding Interconnection Networks in Crossed Cubes.- Software Fault Tolerance: An Aspect Oriented Approach.- An Adaptive Multibiometric System for Uncertain Audio Condition.- Analysis of Performance Impact due to Hardware Virtualization Using a Purely Hardware-Assisted VMM.- Metrics-Driven Software Quality Prediction Without Prior Fault Data.- Models of Computation for Heterogeneous Embedded Systems.- A Quotient-Graph for the Analysis of Reflective Petri Nets.- Using Xilinx System Generator for Real Time Hardware Co-simulation of Video Processing System.- Perception-Based Road Traffic Congestion Classification Using Neural Networks and Decision Tree.- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation.- Classification of Road Traffic Congestion Levels from Vehicle’s Moving Patterns: A Comparison Between Artificial Neural Network and Decision Tree Algorithm.- Fuzzy Parameters and Cutting Forces Optimization via Genetic Algorithm Approach.- Encoding Data to Use with a Sparse Distributed Memory.- A Proposal forIntegrating Formal Logic and Artificial Neural Systems: A Practical Exploration.- A Clustering Application in Portfolio Management.- Building an Expert System for HIV and Aids Information.- A Multi-Objective Approach to Generate an Optimal Management Plan in an IMS-QSE.- Topological Spatial Relations for Circular Spatially Extended Points: An Overview.- Spatial Neighbors for Topological Spatial Relations: The Case of a Circular Spatially Extended Point.- Multi-Agent Exploration Inside Structural Collapses.- Diagnostic Problem Solving by Means of Neuro-Fuzzy Learning, Genetic Algorithm and Chaos Theory Principles Applying.- The New Measure of Robust Principal Component Analysis.- The Affects of Demographics Differentiations on Authorship Identification.- Anonymous ID Assignment and Opt-Out.- Clustering Biological Data Using Enhanced k-Means Algorithm.- The Ornstein–Uhlenbeck Processes Driven by Lévy Process and Application to Finance.- Discrete Orthogonality of Zernike Functions and Its Application to Corneal Measurements.- A New Scheme for Land Cover Classification in Aerial Images: Combining Extended Dependency Tree-HMM and Unsupervised Segmentation.- Applying View Models in SOA: A Case Study.- Optimal Sample Number for Autonomous and Central Wireless Sensor Actuator Network.- WI-FI Point-to-Point Links: Performance Aspects of IEEE 802.11a, b, g Laboratory Links.- A Subnet Handover Scheme Based Communication System of Subway.- PROMESPAR: A High Performance Computing Implementation of the Regional Atmospheric Model PROMES.- Transparent Integration of a Low-Latency Linux Driver for Dolphin SCI and DX.- Effect of Dyslipidemia on a Simple Morphological Feature Extracted from Photoplethysmography Flow Mediated Dilation.- Study of the General Solution for theTwo-Dimensional Electrical Impedance Equation.- Biological Application of Widefield Surface Plasmon Resonance Microscope to Study Cell/Surface Interactions and the Effect of TGF-?3, HCL and BSA/HCL on Cell Detachment Assay of Bone Cells Monolayer.- Application of a Novel Widefield Surface Plasmon Resonance Microscope in Cell Imaging and Wound Closure Properties of TGF-?3, BSA/HCl and HCl in Cultured Human Bone Cell Monolayer.- Speech Rehabilitation Methods for Laryngectomised Patients.- Study of the Tip Surface Morphology of Glass Micropipettes and Its Effects on Giga-Seal Formation.- Effect of Canned Cycles on Drilled Hole Quality.- Micro Machine Parts Fabricated from Aqueous Based Stainless Steel Slurry.- Voxel-Based Component Description for Functional Graded Parts.- A Multi-Parametric Analysis of Drift Flux Models to Pipeline Applications.- Influence of Preventive Maintenance Frequency on Manufacturing Systems Performances.- On the Numerical Prediction of Stability in Thin Wall Machining.- Risk Analysis of ERP Projects in the Manufacturing SMES: Case Study.- Sleeping in Sitting Posture Analysis of Economy Class Aircraft Passenger.- A Scheduling Method for Cranes in a Container Yard with Inter-Crane Interference.
"Chapter 14 Software Fault Tolerance: An Aspect Oriented Approach (p. 153-154)
Kashif Hameed, RobWilliams, and Jim Smith
Abstract Software fault tolerance demands additional tasks like error detection and recovery through executable assertions, exception handling, diversity and redundancy based mechanisms. These mechanisms do not come for free; rather they introduce additional complexity to the core functionality. This paper presents light weight error detection and recovery mechanisms based on the rate of change in signal or data values. Maximum instantaneous and mean rates are used as plausibility checks to detect erroneous states and recover. These plausibility checks are exercised in a novel aspect oriented software fault tolerant design framework that reduces the additional logical complexity. A Lego NXT Robot based case study has been completed to demonstrate the effectiveness of the proposed design framework.
Keywords Aspect oriented design and programming - executable assertions - exception handling - fault tolerance - plausibility checks
14.1 Introduction
Adding fault tolerance measures to safety critical and mission critical applications introduces additional complexity to the core application. By incorporating handler code, for error detection, checkpointing, exception handling, and redundancy/ diversity management, the additional complexity may adversely affect the dependability of a safety critical or mission critical system. One of the solutions to reduce this complexity is to separate and modularize the extra, cross-cutting concerns from the true functionality. At the level of design and programming, several approaches have been utilized that aim at separating functional and non-functional aspects.
Component level approach like IFTC [1], computational reflection and meta-object protocol based MOP [2] have shown that dependability issues can be implemented independently of functional requirements. The evolving area of Aspect-Oriented Programming & Design (AOP&D) presents the same level of independence by supporting the modularized implementation of crosscutting concerns. Aspect-oriented language extensions, like AspectJ [3] and AspectCCC [4] provide mechanisms like Advice (behavioural and structural changes) that may be applied by a pre-processor at specific locations in the program called join point.
These are designated by pointcut expressions. In addition to that, static and dynamic modifications to a program are incorporated by slices which can affect the static structure of classes and functions. In the context of fault tolerance, an induced fault can activate an error that changes the behaviour of the program and may lead to system failure. In order to tolerate a fault, abnormal behaviour must be detected and transformed back by introducing additional behaviour changes (Exception Handler) or alternate structure adoption (Recovery Blocks, N-Version Programming) strategies."