Design of intelligent distributed control systems: a dependability point of view

The use of fieldbuses and the emergence of intelligent sensors and actuators are opening up new possibilities for distributed control systems, but are also introducing additional constraints in terms of achieving dependability objectives. The type of production environment will greatly determine the predominant criterion for an automatic control system, i.e. reliability, availability, maintainability, safety, etc. On the other hand, the choice of a fieldbus system will also depend on factors such as application size, data throughput, and integration of time considerations. Other important criteria include cost, confidentiality, and compatibility with existing equipment. Therefore, it appears essential that designers be given the means to assess dependability at each design step by integrating feedback from experience. Assessing dependability is too often limited to an evaluation at the end of the design process, which often involves reselecting previous choices. The main topic of this paper is to focus on the communication function which is a pivotal of intelligent distributed control systems. So this article is a synthesis of different aspects linked to the design of fieldbus based applications thanks to the contributors, who come from various fields. Consequently it highlights the main problem and give some ways to solve them.     

An integrated probabilistic risk analysis decision support methodology for systems with multiple state variables

Probabilistic risk analysis (PRA) methods have been proven to be valuable in risk and reliability analysis. However, a weak link seems to exist between methods for analysing risks and those for making rational decisions. The integrated decision support system (IDSS) methodology presented in this paper attempts to address this issue in a practical manner. In consists of three phases: a PRA phase, a risk sensitivity analysis (SA) phase and an optimisation phase, which are implemented through an integrated computer software system. In the risk analysis phase the problem is analysed by the Boolean representation method (BRM), a PRA method that can deal with systems with multiple state variables and feedback loops. In the second phase the results obtained from the BRM are utilised directly to perform importance and risk SA. In the third phase, the problem is formulated as a multiple objective decision making problem in the form of multiple objective reliability optimisation. An industrial example is included. The resultant solutions of a five objective reliability optimisation are presented, on the basis of which rational decision making can be explored.     

Evaluation of full and degraded mission reliability and mission dependability for intermittently operated, multi-functional systems

Availability is one of the metrics often used in the evaluation of system effectiveness. Its use as an effectiveness metric is often dictated by the nature of the system under consideration. While some systems operate continuously, many others operate on an intermittent basis where each operational period may often involve a different set of missions. This is the most likely scenario for complex multi-functional systems, where each specific system mission may require the availability of a different combination of system elements. Similarly, for these systems, not only is it important to know whether a mission can be initiated, it is just as important to know whether the system is capable of completing such a mission. Thus, for these systems, additional measures become relevant to provide a more holistic assessment of system effectiveness. This paper presents techniques for the evaluation of both full and degraded mission reliability and mission dependability for coherent, intermittently operated multi-functional systems. These metrics complement previously developed availability and degraded availability measures of multi-functional systems, in the comprehensive assessment of system effectiveness.     

An analytical framework for reliability growth of one-shot systems

In this paper, we introduce a new reliability growth methodology for one-shot systems that is applicable to the case where all corrective actions are implemented at the end of the current test phase. The methodology consists of four model equations for assessing: expected reliability, the expected number of failure modes observed in testing, the expected probability of discovering new failure modes, and the expected portion of system unreliability associated with repeat failure modes. These model equations provide an analytical framework for which reliability practitioners can estimate reliability improvement, address goodness-of-fit concerns, quantify programmatic risk, and assess reliability maturity of one-shot systems. A numerical example is given to illustrate the value and utility of the presented approach. This methodology is useful to program managers and reliability practitioners interested in applying the techniques above in their reliability growth program.     

An analytical formulation of bispectral densities for multiple degree-of-freedom systems

Expressions for the bispectral density functions for multi-degree-of-freedom spring–mass–damper systems possessing quadratic nonlinearities and subject to Gaussian excitation are derived. The derivation uses a Volterra-series model for the system response and yields expressions for both auto-spectra, where the output of only one degree-of-freedom is used, and cross-spectra, where the bispectral density contains multiple output-response time series. The proposed formulation is used to identify the presence and location of quadratic nonlinearities in multiple degree-of-freedom systems. Results show that the ability to detect and localize nonlinearity is heavily dependent on which particular bispectral density is utilized.     

Balancing reduction of linear systems having multiple delays

Abstract

In this paper we apply the balancing reduction method to derive reduced‐order models for linear systems having multiple delays. The time‐domain balanced realization is achieved through computing the controllability and observability gramians in the frequency domain. With the variable transformation s = i tan(θ/2), the gramians of linear multi‐delay systems can be accurately evaluated by solving first‐order differential equations over a finite domain. The proposed approach is computationally superior to that of using the two‐dimensional realization of delay differential systems.     

An analytical method for the performance evaluation of echelon kanban control systems

We develop a general purpose analytical approximation method for the performance evaluation of a multi-stage, serial, echelon kanban control system. The basic principle of the method is to decompose the original system into a set of nested subsystems, each subsystem being associated with a particular echelon of stages. Each subsystem is analyzed in isolation using a product-form approximation technique. An iterative procedure is used to determine the unknown parameters of each subsystem. Numerical results show that the method is fairly accurate. Correspondence to: George Liberopoulos     

An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems

We propose an integrated methodology for the reliability and dynamic performance analysis of fault-tolerant systems. This methodology uses a behavioral model of the system dynamics, similar to the ones used by control engineers to design the control system, but also incorporates artifacts to model the failure behavior of each component. These artifacts include component failure modes (and associated failure rates) and how those failure modes affect the dynamic behavior of the component. The methodology bases the system evaluation on the analysis of the dynamics of the different configurations the system can reach after component failures occur. For each of the possible system configurations, a performance evaluation of its dynamic behavior is carried out to check whether its properties, e.g., accuracy, overshoot, or settling time, which are called performance metrics, meet system requirements. Markov chains are used to model the stochastic process associated with the different configurations that a system can adopt when failures occur. This methodology not only enables an integrated framework for evaluating dynamic performance and reliability of fault-tolerant systems, but also enables a method for guiding the system design process, and further optimization. To illustrate the methodology, we present a case-study of a lateral-directional flight control system for a fighter aircraft.     

Reliability and risk analysis of large systems with ageing components

Applications of limit reliability functions to the reliability evaluation of large multi-state systems composed of independent components are considered. The main emphasis is on multi-state systems with ageing components because of the importance of such an approach in safety analysis, assessment and prediction, and analysing the effectiveness of operation processes of real technical systems. The results concerned with multi-state series systems are applied to the reliability evaluation and risk function determination of a homogeneous bus transportation system. Results on limit reliability functions of a homogeneous multi-state “m out of n” system are applied to durability evaluation of a steel rope. A non-homogeneous series-parallel pipeline systems composed of several lines of pipe segments is estimated as well. Moreover, the reliability evaluation of the model homogeneous parallel-series electrical energy distribution system is performed.     

TREC chemical information retrieval - An initial evaluation effort for chemical IR systems

There is little need to emphasize the importance of chemoinformatics and chemical information retrieval. However, what seems to require a lot more effort in convincing members of the community is the need for standardized evaluation procedures and measures. How confident are we, as users, that the search tools we used have given us all the information that we were looking for? It is unrealistic to believe a marketing campaign which claims that a specific patent IR (information retrieval) system can find all relevant results for a search topic. And if we don’t trust marketing campaigns, how can we get an idea of what to expect from a patent search engine?One of the most prominent initiatives to work in this direction, of evaluating chemical IR tools, has started in 2009 with the support of NIST (National Institute for Standards and Technology): the TREC Chemical IR Track focuses on evaluation of search technologies for retrieval and knowledge discovery of digitally stored information on chemical patents and academic journal articles on chemistry. This paper describes our 2009 experience, presents the official results of the participating groups, and lays down the targets for 2010.     

An efficient algorithm for sequential generation of failure states in a network with multi-mode components

In this work a new algorithm for the sequential generation of failure states in a network with multi-mode components is proposed. The algorithm presented in the paper transforms the state enumeration problem into a K-shortest paths problem.Taking advantage of the inherent efficiency of an algorithm for shortest paths enumeration and also of the characteristics of the reliability problem in which it will be used, an algorithm with lower complexity than the best algorithm in the literature for solving this problem, was obtained.Computational results will be presented for comparing the efficiency of both algorithms in terms of CPU time and for problems of different size.     

An analysis of safety-critical digital systems for risk-informed design

This paper quantitatively presents the results of a case study which examines the fault tree analysis framework of the safety of digital systems. The case study is performed for the digital reactor protection system of nuclear power plants. The broader usage of digital equipment in nuclear power plants gives rise to the need for assessing safety and reliability because it plays an important role in proving the safety of a designed system in the nuclear industry. We quantitatively explain the relationship between the important characteristics of digital systems and the PSA result using mathematical expressions. We also demonstrate the effect of critical factors on the system safety by sensitivity study and the result which is quantified using the fault tree method shows that some factors remarkably affect the system safety. They are the common cause failure, the coverage of fault tolerant mechanisms and software failure probability.     

Protection of simple series and parallel systems with components of different values

We apply game theory, optimization, and reliability analysis to identify optimal defenses against intentional threats to system reliability. The goals are to identify optimal strategies for allocating resources among possible defensive investments, and to develop qualitative guidelines that reflect those strategies. The novel feature of the approach is the use of reliability analysis together with game theory and optimization to study optimal management of intentional threats to system reliability. Thus, this work extends and adapts the existing body of game-theoretic work on security to systems with series or parallel structures. The results yield insights into the nature of optimal defensive investments that yield the best tradeoff between investment cost and security. In particular, the results illustrate how the optimal allocation of defensive investments depends on the structure of the system, the cost-effectiveness of infrastructure protection investments, and the adversary's goals and constraints.     

An analytical method for predicting cutting forces in orthogonal machining of unidirectional composites

Since the chip-formation mechanism in orthogonal machining of composites is different from that of metals, the cutting theories developed for metals cannot be directly used for orthogonal machining of composites. The objective of this research was to develop a new analytical method using energy method to predict the machining forces for orthogonal machining of unidirectional polymer–matrix composites (PMCs) for fiber orientations ranging from 90° to 180° Experiments were conducted to verify the validity of the proposed model using tools with rake angles of 5°, 10°, 15°, and 20°.     

An evaluation of failure criteria for matrix induced failure in composite materials

This paper reports on work being undertaken in the Cooperative Research Centre for Advanced Composite Structures Ltd. (CRC-ACS) to develop improved techniques for predicting the failure of composite materials. The procedures being investigated include a maximum strain criterion for fibre failure. For failure of the resin a new approach, which includes determination of the residual stresses due to manufacturing, is being trialed. This work closely parallels the new criteria proposed by Gosse and Hart-Smith [AIAA/CRC-ACS text on composite materials, submitted for publication] and we have subsequently replaced a simple stress criterion for matrix failure with their proposals based on strain invariants. The new procedures are applied to the failure of laminates in bolted joints with complex steered fibre patterns. Thermal residual stress was included to predict the matrix failure of T-section laminates under loads that open the angle between the flanges and the web. Here a transverse tension stress criterion was used.     

Reliability properties of systems with exchangeable components and exponential conditional distributions

We study basic properties for bivariate systems with exchangeable components and exponential conditional distributions which represent bi-component biological or engineering systems with structural dependency. This is equivalent to suppose that we have similar components with the bivariate exponential conditional joint distribution defined by Arnold and Strauss (1988). Specifically, we study the reliability functions, the moments, some aging measures, ordering and classification properties for series and parallel systems. Supported by Ministerio de Ciencia y Tecnología under grant BFM2003-02947     

An aggregation method of Markov graphs for the reliability analysis of hybrid systems

To meet always increasing safety requirements in car industry, design and safety assessment methods are developed in order to fit the complexity of new embedded mecatronic systems. Hybrid (discrete/continuous) and dynamic features, specific to these systems, require choosing a suitable formalism. These features should also be considered in safety studies made all through the system design. The aim of this paper is to propose a quantitative analysis method based on the construction of an aggregated Markov graph, which allows a limitation of the combinatorial expansion. This graph is directly deducted from the Petri net modelling of the system. It is composed by a set of functional modes and a set of transitions to which statistical information regarding the system dynamics has been added.     

TCP with header checksum option for wireless links: An analytical approach towards performance evaluation

TCP performs poorly in wireless mobile networks due to large bit error rates. Basically, the TCP sender responds to these losses as if they were due to congestion in the network, and reduces the congestion window unnecessarily. In earlier work, it has been shown that adding a TCP header checksum is very useful in differentiating between congestion loss and corruption loss. With the modified TCP, receivers can explicitly indicate corruption of received packets by generating “Explicit Loss Notifications (ELNs).” This paper focuses on an analytical study of this modified TCP protocol. We derive an expression for the probability of a receiver generating successful ELN, assuming a generic link layer protocol for data transfer over wireless links. Next, we develop an analytical approach for TCP throughput evaluation under the modified scheme. We compare the throughput results obtained by analysis and simulation, and find very close agreement between the two sets. We also compare the performance of the modified scheme with the standard NewReno TCP, and find considerable improvement in data throughput over wireless links.     

Hybrid expert system for the failure analysis of mechanical elements

An expert system for the failure analysis of metallic mechanical components is described, with emphasis on the structure and the solution strategy followed by the software. The system treats failure in common mechanical elements and is aimed to guide non-experts through the process of basic failure analysis. The system acts as a “virtual colleague”, providing guidance and experience during failure studies. As such, it allows the users to gradually increase their experience while using the software in distinct applications. The system works interactively through a system of structured questions. The answers provided by the user permit the software to direct the analysis toward its solution. Decisions are taken in a hybrid way, through case based reasoning and rule based reasoning, the former using a database of solved cases, the latter mimicking the way experts treat failure analysis. The paper describes the development method, the logic behind the operation of the system and the interaction between case based reasoning and rule based reasoning modules. Its performance in four real-world failure cases is used to demonstrate its feasibility and usefulness.     

An analytical assessment of the influence of skin imperfections on the indentation collapse mechanism in composite sandwich beams

The influence of skin imperfections, in the form of delamination damage or thickness variations, on the indentation collapse mechanism in composite sandwich beams with compressive yielding cores is studied using the models of non-prismatic beam and beam-column resting on a nonlinear Winkler foundation. Upper and lower threshold solutions are derived for the indentation response and collapse load and the transition between the two limits is defined as a function of size, magnitude and position of the imperfections. In beams where global bending effects are not negligible, the collapse load is limited from above by the indentation collapse load of beams with rigid-plastic cores and the face wrinkling collapse load of beams with elastic cores; the transition between the two limits is controlled by material/structure properties and the magnitude of the imperfections. Characteristic lengths, which depend on material and geometrical properties, define the minimum size of the imperfections with the strongest effect on the solution and the minimum distance between load and imperfections with no effect on the solution.