Reliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets
|
|
- Gladys Leonard
- 6 years ago
- Views:
Transcription
1 Reliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets Kshamta Jerath Frederick T. Sheldon School of Electrical Engineering and Computer Science Washington State University, Pullman, WA 99164, USA Abstract The Reliability Analysis of an Anti-lock Braking System using Stochastic Petri Nets is a work in progress and an extension to the work presented in the paper Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models [9]. The current work attempts to model the Anti-lock braking sub-system of a vehicle system using Stochastic Petri Nets. The reliability analysis is undertaken with particular focus on coincident failures of components. The model is specified in C-based Stochastic Petri Net language, the input language for SPNP. Introduction A complex system (like a vehicle) is composed of numerous components and the probability that the system survives (efficient or acceptable degraded operation) depends directly on each of the constituent components. The reliability analysis of a vehicle system can provide an understanding about the likelihood of failures occurring in the system and an increased insight to manufacturers about inherent weaknesses. In [9], the authors present Stochastic Petri Net (SPN) models of a vehicle dynamic driving regulation (DDR) system. Subsystem representations of the Anti-lock Braking system (ABS), the Electronic Steering Assistance (ESA), the traction control (TC) and a combined model are developed and analyzed for critical failures. In this study, we focus on the Anti-lock braking system and develop a stochastic Petri net model to model coincident failures of certain components, under fully operational as well as degraded operation conditions. The assumption that failures occur independently (in a statistical sense) in hardware components is a widely used and often successful model for predicting the reliability of hardware devices. However, components generally interact with each other during operation, and a faulty component can affect the probability of failure of other components. Such failures are not coincident in the sense that they occur simultaneously, but in the fact that failure of one increases the probability of the failure of another. It is this aspect of the system that we have undertaken to model in this study. The model developed includes the failure modes and effects associated with the failure rates of critical components. The program representing the model is written in CSPL (C-based Stochastic Petri net Language) and the stochastic analysis is carried out using SPNP (Stochastic Petri Net Package). SPNP is a versatile modeling tool which allows the specification of SPN reward models, the computation of steady state, transient, cumulative, time-averaged and up-to-absorption measures and sensitivities of these measures [2].
2 Anti-lock Braking System The Anti-lock braking system prevents wheel lockup during an emergency stop by modulating the brake pressure. It permits the driver to maintain steering control and stop the vehicle in the shortest possible distance under most conditions. The ABS consists of the following major components [6, 7]: Wheel Speed Sensors: These measure wheel-speed and transmit information to an electronic control unit. Electronic Control Unit (Controller): This receives information from the sensors, determines when a wheel is about to lock up and controls the hydraulic control unit. Hydraulic Control Unit (Hydraulic Pump): This controls the pressure in the brake lines of the vehicle. Valves: Valves are present in the brake line of each brake and are controlled by the hydraulic control unit to regulate the pressure in the brake lines. Under braking, the electronic control unit (ECU) reads signals from electronic sensors monitoring wheel rotation. If a wheel s rate of rotation suddenly decreases, the ECU orders the hydraulic control unit (HCU) to reduce the line pressure to that wheel s brake. Once the wheel resumes normal operation, the controls restore pressure to its brake. Depending on the system, this cycle of pumping can occur at up to 15 times per second. Anti-lock braking systems use different schemes depending on the type of brake in use: Four channel, four sensors ABS; three channel, three sensors ABS; two channel, two sensors ABS. In this study we focus on the four channel four sensor ABS [1]. Assumptions In the model developed, we assume a four channel, four sensor ABS. The model can be easily modified to represent other ABS schemes. It is assumed that on an average a passenger vehicle travels for 200,000 miles at a speed of 50 mph in its lifetime. Hence, the analysis is carried out for 50K hours, the average life span of a passenger vehicle being 40K hours. The components of the ABS are assumed to operate independent of each other, wherever coincident failures are not explicitly modeled. In order to allow a Markov chain analysis, the time to failure of all components is assumed to have an exponential distribution. This signifies that the distribution of the remaining life of a component does not depend on how long the component has been operating. The component does not age or it forgets how long it has been operating, and its eventual breakdown is the result of some suddenly appearing failure, not of gradual deterioration [10]. While this might be true for electronic components, the failure of other mechanical parts like valves might occur due to gradual deterioration. However, we assume an exponential distribution to keep the model simple. Every component operates in three scenarios: normal operation, degraded operation or loss of stability. The system is assumed to fail (failure situations resulting in absorbing states) when either more than five components are functioning in a degraded state; or more than three components are causing loss of stability; or there is a loss of vehicle. A component operating in a degraded condition causes its failure rate to increase by one order of magnitude, while a component causing loss of stability causes the failure rate to increase by two orders of magnitude. The correlation between failure rates of two related components (to model coincident failures) is consistent with the above scheme.
3 Since the model is an abstraction of a real world problem, predictions based on the model must be validated against actual measurements collected from the real phenomena. A poor validation may suggest modifications to the original model [10]. The ABS Model A Petri Net (PN) is a bipartite directed graph whose nodes are divided into two disjoint sets called places and transitions. Directed arcs in the graph connect places to transitions (called input arcs) and transitions to places (called output arcs). A marked Petri net is obtained by associating tokens with places. In a graphical representation of a PN, places are represented by circles, transitions are represented by bars and the tokes are represented by dots in the places. The firing of a transition is an atomic action in which one or more tokens are removed from the input place of the transition and one or more tokens are added to each of the output place of the transition. By requiring exponentially distributed firing times, we obtain stochastic Petri nets (SPN). Stochastic Reward nets are SPNs augmented with the ability to specify output measures as reward-based functions, for the evaluation of reliability for complex systems [3]. In our SRN model, the ABS is represented as a combination of all the important components it consists of, as shown in Figure 1. It represents the operation of the ABS under normal, degraded and lost stability conditions. Loss of vehicle, extreme degraded operation and extreme loss of stability signify critical failures and determine the halting condition for the model. The model is instantiated with a single token in the start place. When the central_op controllerop controller controllerfail failedcontroller controllerdegradedop controllerlosop controllerlovop controllerdegraded controllerlos degraded_operation loss_of_stability loss_of_vehicle Figure 2: SPN model of an ABS component central central_op start braking and the axle_op transitions fire, a token is deposited in each place that represents a component of the ABS. The operation of each component is now independent of every other component. The model of a component of the ABS is shown in Figure 2. The component depicted here is the controller. Every component either functions normally as shown by the controllerop transition or fails as shown by the controllerfail transition. A failed component may either cause degraded operation, loss of stability or loss of vehicle. The probability of any one of these three transitions occurring is axle axle_op mbrakecyl controller tubing piping axlecentral FRWheel RLWheel RRWheel FLWheel degraded_operation loss_of_stability loss_of_vehicle Figure 1: The ABS model
4 different for each component. When the failure causes either degraded operation or loss of stability, the component continues to operate, though the failure rate increases by one and two orders of magnitude respectively. Coincident failures are modeled in a similar manner. The function that calculates the failure rate of the transition controllerfail is shown in Figure 3. It is assumed that malfunctioning tubing affects the operation of the controller. Hence, while calculating the failure rate of the controller, the normal rate is increased by one order of magnitude if the tubing has failed causing degraded operation (indicated by a token in the tubingdegraded place). While modeling other coincident failures like loss of controller itself affecting the failure rates of the hydraulic pump, if the failure of the controller causes loss of stability, the failure rate of the hydraulic pump increases by two orders of magnitude. Only a few coincident failures have been represented in the model. However, coincident failures between other components can be easily modeled by suitably modifying the failure rate function of the component in question. The model is easily extensible to include other components deemed relevant to the ABS. Results The Stochastic Petri Net Package (SPNP) allows the specification of SRN models, the computation of steady state, transient, cumulative, timeaveraged, up-toabsorption measures and sensitivities of these measures. Steady-state analysis of SRNs is often adequate to study the performance of a system, but timedependent behavior is double controllerrate() { double controller_rate = ; if (mark("controllerlos") > 0) return controller_rate * 100; if ((mark("controllerdegraded") > 0) (mark("tubingdegraded") > 0)) return controller_rate * 10; return controller_rate; } Figure 3: Variable rate to model coincident failures 1 Reliability of ABS Time (in hrs) Without coincident failures With coincident failures MTTF (w/o) = hrs. MTTF (with)= hrs. Figure 4: Reliability analysis results sometimes of greater interest: instantaneous availability, interval availability, reliability, response time distribution, and computational availability. The reliability of the system at time t is computed as the expected instantaneous reward rate at time t [3]. Transient analysis of the ABS model developed was carried out and the reliability was measured between 0 and 50K hours (representing average lifetime of a passenger vehicle). The
5 expected values of reliability at various time instances was determined and plotted as a function of time. The measure was predicted at 169 points along the range. The interval between the points did not remain constant along the entire time range; instead the time range was divided into four segments. Each of these segments has a different time interval. In Figure 4, the Y-axis gives the measure of interest - the reliability; while the time range (0 to 50K hours) is shown along the X-axis. The shape of the curve is not a property of the system but of how the data was collected from the Petri net model. Conclusion and Future Work In this study, we have shown how to model coincident failures in the Anti-lock Braking system of a passenger vehicle using Stochastic Reward Nets. In order to specify the system, we had to make some system assumptions. The stochastic Petri net modeled a few coincident failures possible in a four channel four sensor ABS. The model, however, is easily extensible to model other schemes of ABS. Other coincident failures between components can be easily modeled by suitably modifying the failure rate function of the component in question. In order to specify the system and carry out the reliability analysis, we used SPNP. The goal of future work is two-fold. First, specify and analyze the model developed using UltraSAN, a software tool for model-based performance, dependability and performability evaluation of computer, communication and other systems [8]. We would like to compare the results for the reliability analysis of the model from both SPNP and UltraSAN tools. Second, extend the model to include other systems that operate in conjunction with the ABS sharing some components e.g. Acceleration Slip Regulation (ASR) and Electronic Steer Assist (ESA). References [1] Bosch, R. Automotive Handbook, Bentley Pubs. [2] Ciardo, G.; Muppala, J.; Trivedi, K. SPNP: Stochastic Petri Net Package. Proc. 1st Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'93). [3] Ciardo, G.; Muppala, J.; Trivedi, K. Stochastic Reward Nets for Reliability Prediction. Communications in Reliability, Maintainability and Serviceability 1(2): [4] Ciardo, G.; Muppala, J.; Trivedi, K. SPNP User Manual Version 6. [5] Dugan, J. B.; Ciardo, G. Stochastic Petri Net Analysis of a Replicated File System. IEEE Transactions on Software Engineering 15(4): [6] Kolsky, M. ABS: Understanding Anti-Lock Brakes. [7] Nice, K. How Anti-Lock Brakes Work. [8] Sanders W. UltraSAN User s Manual version [9] Sheldon, F. T.; Greiner, S.; Benzinger, M. Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. ACM International Workshop on Software Specification and Design. [10] Trivedi, K. Probability and Statistics with Reliability, Queuing and Computer Science Applications, Prentice-Hall.
Multi-State Availability Modeling in Practice
Multi-State Availability Modeling in Practice Kishor S. Trivedi, Dong Seong Kim, Xiaoyan Yin Depart ment of Electrical and Computer Engineering, Duke University, Durham, NC 27708 USA kst@ee.duke.edu, {dk76,
More informationStochastic Petri Net. Ben, Yue (Cindy) 2013/05/08
Stochastic Petri Net 2013/05/08 2 To study a formal model (personal view) Definition (and maybe history) Brief family tree: the branches and extensions Advantages and disadvantages for each Applications
More informationProxel-Based Simulation of Stochastic Petri Nets Containing Immediate Transitions
Electronic Notes in Theoretical Computer Science Vol. 85 No. 4 (2003) URL: http://www.elsevier.nl/locate/entsc/volume85.html Proxel-Based Simulation of Stochastic Petri Nets Containing Immediate Transitions
More informationAnalysis and Optimization of Discrete Event Systems using Petri Nets
Volume 113 No. 11 2017, 1 10 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu ijpam.eu Analysis and Optimization of Discrete Event Systems using Petri Nets
More informationFailure rate in the continuous sense. Figure. Exponential failure density functions [f(t)] 1
Failure rate (Updated and Adapted from Notes by Dr. A.K. Nema) Part 1: Failure rate is the frequency with which an engineered system or component fails, expressed for example in failures per hour. It is
More informationStochastic Reward Nets for Reliability Prediction
Stochastic Reward Nets for Reliability Prediction Jogesh K. Muppala Dept. of Computer Science The Hong Kong University of Science and Technology Clear Water Bay Kowloon, Hong Kong Gianfranco Ciardo Dept.
More informationSTOCHASTIC MODELS FOR RELIABILITY, AVAILABILITY, AND MAINTAINABILITY
STOCHASTIC MODELS FOR RELIABILITY, AVAILABILITY, AND MAINTAINABILITY Ph.D. Assistant Professor Industrial and Systems Engineering Auburn University RAM IX Summit November 2 nd 2016 Outline Introduction
More informationELE 491 Senior Design Project Proposal
ELE 491 Senior Design Project Proposal These slides are loosely based on the book Design for Electrical and Computer Engineers by Ford and Coulston. I have used the sources referenced in the book freely
More informationMODELLING DYNAMIC RELIABILITY VIA FLUID PETRI NETS
MODELLING DYNAMIC RELIABILITY VIA FLUID PETRI NETS Daniele Codetta-Raiteri, Dipartimento di Informatica, Università di Torino, Italy Andrea Bobbio, Dipartimento di Informatica, Università del Piemonte
More informationEnergy Modeling of Processors in Wireless Sensor Networks based on Petri Nets
Energy Modeling of Processors in Wireless Sensor Networks based on Petri Nets Ali Shareef, Yifeng Zhu Department of Electrical and Computer Engineering University of Maine, Orono, USA Email: {ashareef,
More informationFault Tolerance. Dealing with Faults
Fault Tolerance Real-time computing systems must be fault-tolerant: they must be able to continue operating despite the failure of a limited subset of their hardware or software. They must also allow graceful
More informationStructured Language for Specifications of Quantitative Requirements
Structured Language for Specifications of Quantitative Requirements Mario Dal Cin University of Erlangen-Nuremberg Informatik 3 dalcin@infomatik.uni-erlangen.de Abstract Requirements for dependable systems
More informationQuantitative evaluation of Dependability
Quantitative evaluation of Dependability 1 Quantitative evaluation of Dependability Faults are the cause of errors and failures. Does the arrival time of faults fit a probability distribution? If so, what
More informationEvaluation criteria for reliability in computer systems
Journal of Electrical and Electronic Engineering 5; 3(-): 83-87 Published online February, 5 (http://www.sciencepublishinggroup.com/j/jeee) doi:.648/j.jeee.s.53.8 ISSN: 39-63 (Print); ISSN: 39-65 (Online)
More informationControl of Hybrid Petri Nets using Max-Plus Algebra
Control of Hybrid Petri Nets using Max-Plus Algebra FABIO BALDUZZI*, ANGELA DI FEBBRARO*, ALESSANDRO GIUA, SIMONA SACONE^ *Dipartimento di Automatica e Informatica Politecnico di Torino Corso Duca degli
More informationSafety and Reliability of Embedded Systems. (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues
(Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues Content What are Events? Examples for Problematic Event Semantics Inhibit, Enabler / Conditioning
More informationAvailability. M(t) = 1 - e -mt
Availability Availability - A(t) the probability that the system is operating correctly and is available to perform its functions at the instant of time t More general concept than reliability: failure
More informationGeorg Frey ANALYSIS OF PETRI NET BASED CONTROL ALGORITHMS
Georg Frey ANALYSIS OF PETRI NET BASED CONTROL ALGORITHMS Proceedings SDPS, Fifth World Conference on Integrated Design and Process Technologies, IEEE International Conference on Systems Integration, Dallas,
More informationReliability of Safety-Critical Systems 5.4 Petrinets
Reliability of Safety-Critical Systems 5.4 Petrinets Mary Ann Lundteigen and Marvin Rausand mary.a.lundteigen@ntnu.no &marvin.rausand@ntnu.no RAMS Group Department of Production and Quality Engineering
More informationAssessing system reliability through binary decision diagrams using bayesian techniques.
Loughborough University Institutional Repository Assessing system reliability through binary decision diagrams using bayesian techniques. This item was submitted to Loughborough University's Institutional
More informationA FRAMEWORK FOR PERFORMABILITY MODELLING USING PROXELS. Sanja Lazarova-Molnar, Graham Horton
A FRAMEWORK FOR PERFORMABILITY MODELLING USING PROXELS Sanja Lazarova-Molnar, Graham Horton University of Magdeburg Department of Computer Science Universitaetsplatz 2, 39106 Magdeburg, Germany sanja@sim-md.de
More informationEstimation of Tire-Road Friction by Tire Rotational Vibration Model
53 Research Report Estimation of Tire-Road Friction by Tire Rotational Vibration Model Takaji Umeno Abstract Tire-road friction is the most important piece of information used by active safety systems.
More information2 Theory. 2.1 State Space Representation S 2 S 1 S 3
In the following sections we develop the theory, illustrate the technique by applying it to a sample system, and validate the results using the method of enumeration. Notations: A-state functional (acceptable)
More informationSafety Analysis Using Petri Nets
Safety Analysis Using Petri Nets IEEE Transactions on Software Engineering (1987) Nancy G. Leveson and Janice L. Stolzy Park, Ji Hun 2010.06.21 Introduction Background Petri net Time petri net Contents
More informationChapter 6. a. Open Circuit. Only if both resistors fail open-circuit, i.e. they are in parallel.
Chapter 6 1. a. Section 6.1. b. Section 6.3, see also Section 6.2. c. Predictions based on most published sources of reliability data tend to underestimate the reliability that is achievable, given that
More informationNONLINEAR BACKSTEPPING DESIGN OF ANTI-LOCK BRAKING SYSTEMS WITH ASSISTANCE OF ACTIVE SUSPENSIONS
NONLINEA BACKSTEPPING DESIGN OF ANTI-LOCK BAKING SYSTEMS WITH ASSISTANCE OF ACTIVE SUSPENSIONS Wei-En Ting and Jung-Shan Lin 1 Department of Electrical Engineering National Chi Nan University 31 University
More informationA SELF-TUNING ABS CONTROL FOR ELECTROMECHANICAL BRAKING SYSTEMS
A SELF-TUNING ABS CONTROL FOR ELECTROMECHANICAL BRAKING SYSTEMS Riccardo Morselli Roberto Zanasi DII, University of Modena and Reggio Emilia Via Vignolese 905, 41100 Modena, Italy Phone: +39 59 2056161,
More informationAvailability and Reliability Analysis for Dependent System with Load-Sharing and Degradation Facility
International Journal of Systems Science and Applied Mathematics 2018; 3(1): 10-15 http://www.sciencepublishinggroup.com/j/ijssam doi: 10.11648/j.ijssam.20180301.12 ISSN: 2575-5838 (Print); ISSN: 2575-5803
More informationResearch Article Research on Dynamic Reliability of a Jet Pipe Servo Valve Based on Generalized Stochastic Petri Nets
Aerospace Engineering Volume 2015, Article ID 171642, 8 pages http://dx.doi.org/10.55/2015/171642 Research Article Research on Dynamic Reliability of a Jet Pipe Servo Valve Based on Generalized Stochastic
More informationVEHICULAR TRAFFIC FLOW MODELS
BBCR Group meeting Fri. 25 th Nov, 2011 VEHICULAR TRAFFIC FLOW MODELS AN OVERVIEW Khadige Abboud Outline Introduction VANETs Why we need to know traffic flow theories Traffic flow models Microscopic Macroscopic
More informationResearch on Heat Conduction Inverse Problem of Continuous Long Downhill Truck Brake
International Conference on Civil, Transportation and Environment (ICCTE 2016) Research on Heat Conduction Inverse Problem of Continuous Long Downhill Truck Brake Shun Zeng1, a,heng Zhang2,b,Yunwei Meng1,c
More informationDependability Analysis
Software and Systems Verification (VIMIMA01) Dependability Analysis Istvan Majzik Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology
More informationPRISM: Probabilistic Model Checking for Performance and Reliability Analysis
PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford,
More information1.225 Transportation Flow Systems Quiz (December 17, 2001; Duration: 3 hours)
1.225 Transportation Flow Systems Quiz (December 17, 2001; Duration: 3 hours) Student Name: Alias: Instructions: 1. This exam is open-book 2. No cooperation is permitted 3. Please write down your name
More informationComplete Solutions to Examination Questions Complete Solutions to Examination Questions 16
Complete Solutions to Examination Questions 16 1 Complete Solutions to Examination Questions 16 1. The simplest way to evaluate the standard deviation and mean is to use these functions on your calculator.
More informationQuantitative evaluation of Dependability
Quantitative evaluation of Dependability 1 Quantitative evaluation of Dependability Faults are the cause of errors and failures. Does the arrival time of faults fit a probability distribution? If so, what
More informationChapter 4 Availability Analysis by Simulation and Markov Chain
Chapter 4 Availability Analysis by Simulation and Markov Chain Chapter 4 Availability Analysis by Simulation and Markov Chain 4.1 Introduction: For a perfect design, an engineering systems, component and
More informationRandom Walk on a Graph
IOR 67: Stochastic Models I Second Midterm xam, hapters 3 & 4, November 2, 200 SOLUTIONS Justify your answers; show your work.. Random Walk on a raph (25 points) Random Walk on a raph 2 5 F B 3 3 2 Figure
More informationANALYSIS OF INDEPENDENT PROTECTION LAYERS AND SAFETY INSTRUMENTED SYSTEM FOR OIL GAS SEPARATOR USING BAYESIAN METHODS
ANALYSIS OF INDEPENDENT PROTECTION LAYERS AND SAFETY INSTRUMENTED SYSTEM FOR OIL GAS SEPARATOR USING BAYESIAN METHODS G. Unnikrishnan 1 *, Shrihari 2, Nihal A. Siddiqui 3 1 Department of Health, Safety
More information7. Queueing Systems. 8. Petri nets vs. State Automata
Petri Nets 1. Finite State Automata 2. Petri net notation and definition (no dynamics) 3. Introducing State: Petri net marking 4. Petri net dynamics 5. Capacity Constrained Petri nets 6. Petri net models
More informationCOMPACT RELIABILITY AND MAINTENANCE MODELING OF COMPLEX REPAIRABLE SYSTEMS
COMPACT RELIABILITY AND MAINTENANCE MODELING OF COMPLEX REPAIRABLE SYSTEMS A Thesis Presented to The Academic Faculty by René Valenzuela In Partial Fulfillment of the Requirements for the Degree Doctor
More informationVIBRATION ANALYSIS OF E-GLASS FIBRE RESIN MONO LEAF SPRING USED IN LMV
VIBRATION ANALYSIS OF E-GLASS FIBRE RESIN MONO LEAF SPRING USED IN LMV Mohansing R. Pardeshi 1, Dr. (Prof.) P. K. Sharma 2, Prof. Amit Singh 1 M.tech Research Scholar, 2 Guide & Head, 3 Co-guide & Assistant
More informationReliability of Technical Systems
Reliability of Technical Systems Main Topics 1. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability
More informationA study on wheel force measurement using strain gauge equipped wheels
A study on wheel force measurement using strain gauge equipped wheels PAVLOS MAVROMATIDIS a, ANDREAS KANARACHOS b Electrical Engineering Department a, Mechanical Engineering Department b Frederick University
More informationPage 1. Outline. Modeling. Experimental Methodology. ECE 254 / CPS 225 Fault Tolerant and Testable Computing Systems. Modeling and Evaluation
Page 1 Outline ECE 254 / CPS 225 Fault Tolerant and Testable Computing Systems Modeling and Evaluation Copyright 2004 Daniel J. Sorin Duke University Experimental Methodology and Modeling Modeling Random
More informationDependable Systems. ! Dependability Attributes. Dr. Peter Tröger. Sources:
Dependable Systems! Dependability Attributes Dr. Peter Tröger! Sources:! J.C. Laprie. Dependability: Basic Concepts and Terminology Eusgeld, Irene et al.: Dependability Metrics. 4909. Springer Publishing,
More informationStatistical Inference on Constant Stress Accelerated Life Tests Under Generalized Gamma Lifetime Distributions
Int. Statistical Inst.: Proc. 58th World Statistical Congress, 2011, Dublin (Session CPS040) p.4828 Statistical Inference on Constant Stress Accelerated Life Tests Under Generalized Gamma Lifetime Distributions
More informationPID Control Analysis of Brake Test Bench
PID Control Analysis of Brake Test Bench Rui Zhang, Haiyin Li, and Huimin Xiao, Department of Mathematics and Information, Henan University of Finance and Economics, Zhengzhou 450002, Henan, China haiyinli2002@yahoo.com.cn
More informationThe driver then accelerates the car to 23 m/s in 4 seconds. Use the equation in the box to calculate the acceleration of the car.
Q1.The diagram shows the forces acting on a car. The car is being driven along a straight, level road at a constant speed of 12 m/s. (a) The driver then accelerates the car to 23 m/s in 4 seconds. Use
More informationCHAPTER 3. CAPACITY OF SIGNALIZED INTERSECTIONS
CHAPTER 3. CAPACITY OF SIGNALIZED INTERSECTIONS 1. Overview In this chapter we explore the models on which the HCM capacity analysis method for signalized intersections are based. While the method has
More informationStéphane Lafortune. August 2006
UNIVERSITY OF MICHIGAN DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE LECTURE NOTES FOR EECS 661 CHAPTER 1: INTRODUCTION TO DISCRETE EVENT SYSTEMS Stéphane Lafortune August 2006 References for
More informationDependable Computer Systems
Dependable Computer Systems Part 3: Fault-Tolerance and Modelling Contents Reliability: Basic Mathematical Model Example Failure Rate Functions Probabilistic Structural-Based Modeling: Part 1 Maintenance
More informationPOSSIBILITIES OF MMPP PROCESSES FOR BURSTY TRAFFIC ANALYSIS
The th International Conference RELIABILITY and STATISTICS in TRANSPORTATION and COMMUNICATION - 2 Proceedings of the th International Conference Reliability and Statistics in Transportation and Communication
More informationDES. 4. Petri Nets. Introduction. Different Classes of Petri Net. Petri net properties. Analysis of Petri net models
4. Petri Nets Introduction Different Classes of Petri Net Petri net properties Analysis of Petri net models 1 Petri Nets C.A Petri, TU Darmstadt, 1962 A mathematical and graphical modeling method. Describe
More informationWireless Network Security Spring 2016
Wireless Network Security Spring 2016 Patrick Tague Class #19 Vehicular Network Security & Privacy 2016 Patrick Tague 1 Class #19 Review of some vehicular network stuff How wireless attacks affect vehicle
More informationP D = 5 W Transient Voltage Suppressor. Package. Description. Features. Applications. Typical Application. (1) (2) (1) Cathode (2) Anode
P D = 5 W Transient Voltage Suppressor Data Sheet Description The is a power Zener diode designed for the protection of automotive electronic units, especially from the surge generated during load dump
More informationAnalyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets
Analyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets Gianfranco Ciardo Software Productivity Consortium Herndon, VA 22070 Kishor S. Trivedi Dept. of Electrical Engineering Duke
More informationDegraded Performance Analysis of Phased Mission System
5 th International & 26 th All India Manufacturing Technology, Design and Research Conference (AIMTDR 2014) December 12 th 14 th, 2014, IIT Guwahati, Assam, India Degraded Performance Analysis of Phased
More informationModelling of Railway Network Using Petri Nets
Modelling of Railway Network Using Petri Nets MANDIRA BANIK 1, RANJAN DASGUPTA 2 1 Dept. of Computer Sc. & Engg., National Institute of Technical Teachers' Training & Research, Kolkata, West Bengal, India
More informationA Generalized Fault Coverage Model for Linear Time- Invariant Systems
A Generalized Fault Coverage Model for Linear Time- Invariant Systems The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Dominguez-Garcia,
More informationPetri Net Modeling of Irrigation Canal Networks
Petri Net Modeling of Irrigation Canal Networks Giorgio Corriga, Alessandro Giua, Giampaolo Usai DIEE: Dip. di Ingegneria Elettrica ed Elettronica Università di Cagliari P.zza d Armi 09123 CAGLIARI, Italy
More information49th European Organization for Quality Congress. Topic: Quality Improvement. Service Reliability in Electrical Distribution Networks
49th European Organization for Quality Congress Topic: Quality Improvement Service Reliability in Electrical Distribution Networks José Mendonça Dias, Rogério Puga Leal and Zulema Lopes Pereira Department
More informationComparative Analysis of Two-Unit Hot Standby Hardware-Software Systems with Impact of Imperfect Fault Coverages
International Journal of Statistics and Systems ISSN 0973-2675 Volume 12, Number 4 (2017), pp. 705-719 Research India Publications http://www.ripublication.com Comparative Analysis of Two-Unit Hot Standby
More informationEstimation Techniques for Monitoring and Controlling the Performance of the Computer Communication Networks
American Journal of Applied Sciences 2 (1): 1395-14, 25 ISSN 1546-9239 25 Science Publications Estimation Techniques for Monitoring and Controlling the Performance of the Computer Communication Networks
More information17 Neutron Life Cycle
17 Neutron Life Cycle A typical neutron, from birth as a prompt fission neutron to absorption in the fuel, survives for about 0.001 s (the neutron lifetime) in a CANDU. During this short lifetime, it travels
More informationDESIGN AND MODELING OF ADAPTIVE CRUISE CONTROL SYSTEM USING PETRI NETS WITH FAULT TOLERANCE CAPABILITIES. A Thesis. Submitted to the Faculty
DESIGN AND MODELING OF ADAPTIVE CRUISE CONTROL SYSTEM USING PETRI NETS WITH FAULT TOLERANCE CAPABILITIES A Thesis Submitted to the Faculty of Purdue University by Nivethitha Amudha Chandramohan In Partial
More informationA STUDY OF ASYMPTOTIC AVAILABILITY MODELING FOR A FAILURE AND A REPAIR RATES FOLLOWING A WEIBULL DISTRIBUTION
A STUDY OF ASYMPTOTIC AVAILABILITY MODELING FOR A FAILURE AND A REPAIR RATES FOLLOWING A WEIBULL DISTRIBUTION Salem Bahri a, Fethi Ghribi b, Habib Ben Bacha a,c a Electro Mechanical systems laboratory
More informationRisk Analysis of Highly-integrated Systems
Risk Analysis of Highly-integrated Systems RA II: Methods (FTA, ETA) Fault Tree Analysis (FTA) Problem description It is not possible to analyse complicated, highly-reliable or novel systems as black box
More informationReliable Computing I
Instructor: Mehdi Tahoori Reliable Computing I Lecture 5: Reliability Evaluation INSTITUTE OF COMPUTER ENGINEERING (ITEC) CHAIR FOR DEPENDABLE NANO COMPUTING (CDNC) National Research Center of the Helmholtz
More informationOn Qualitative Analysis of Fault Trees Using Structurally Persistent Nets
On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets Ricardo J. Rodríguez rj.rodriguez@unileon.es Research Institute of Applied Sciences in Cybersecurity University of León, Spain
More informationTrench IGBT failure mechanisms evolution with temperature and gate resistance under various short-circuit conditions
Author manuscript, published in "Microelectronics Reliability vol.47 (7) pp.173-1734" Trench IGBT failure mechanisms evolution with temperature and gate resistance under various short-circuit conditions
More informationElectric Vehicle Performance Power and Efficiency
Electric Vehicle Performance Power and Efficiency 1 Assignment a) Examine measurement guide and electric vehicle (EV) arrangement. b) Drive the route according to teacher s instruction and download measured
More informationPage 1. Outline. Experimental Methodology. Modeling. ECE 254 / CPS 225 Fault Tolerant and Testable Computing Systems. Modeling and Evaluation
Outline Fault Tolerant and Testable Computing Systems Modeling and Evaluation Copyright 2011 Daniel J. Sorin Duke University Experimental Methodology and Modeling Random Variables Probabilistic Models
More informationTemplate-Based Representations. Sargur Srihari
Template-Based Representations Sargur srihari@cedar.buffalo.edu 1 Topics Variable-based vs Template-based Temporal Models Basic Assumptions Dynamic Bayesian Networks Hidden Markov Models Linear Dynamical
More information9. Reliability theory
Material based on original slides by Tuomas Tirronen ELEC-C720 Modeling and analysis of communication networks Contents Introduction Structural system models Reliability of structures of independent repairable
More informationData Sheet. Functional Safety Characteristic Safety Values for BE..(FS) Brakes * _0715*
Drive Technology \ Drive Automation \ System Integration \ Services *22292616_0715* Data Sheet Functional Safety Characteristic Safety Values for BE..(FS) Brakes Edition 07/2015 22292616/EN SEW-EURODRIVE
More informationMETHOD FOR ANALYZING EPICYCLIC GEARBOXES
International Journal of Automotive Technology Vol. No. pp. 67 7 () DOI.7/s39 4 Copyright KSAE 9 938//5 4 METHOD FOR ANALYZING EPICYCLIC GEARBOXES T. CIOBOTARU )* D. FRUNZETI ) and L. JÄNTSCHI ) ) Military
More informationProceedings of the 2012 Winter Simulation Conference C. Laroque, J. Himmelspach, R. Pasupathy, O. Rose, and A. M. Uhrmacher, eds.
Proceedings of the 2012 Winter Simulation Conference C. Laroque, J. Himmelspach, R. Pasupathy, O. Rose, and A. M. Uhrmacher, eds. HIDDEN NON-MARKOVIAN REWARD MODELS : VIRTUAL STOCHASTIC SENSORS FOR HYBRID
More informationPSD Analysis and Optimization of 2500hp Shale Gas Fracturing Truck Chassis Frame
Send Orders for Reprints to reprints@benthamscience.ae The Open Mechanical Engineering Journal, 2014, 8, 533-538 533 Open Access PSD Analysis and Optimization of 2500hp Shale Gas Fracturing Truck Chassis
More informationThe Need for and the Advantages of Generalized Tensor Algebra for Kronecker Structured Representations
The Need for and the Advantages of Generalized Tensor Algebra for Kronecker Structured Representations Leonardo Brenner, Paulo Fernandes, and Afonso Sales PUCRS, Av Ipiranga, 6681-90619-900 - Porto Alegre,
More informationDiagram and Physical Theory
Physics Lab Lab Name Date Slip Sliding Away Purpose Materials 1. 2. 3. 4. 5. 6. Diagram and Physical Theory Finding the Coefficients of Friction 1. Diagram 2. FreeBody Diagram Finding the Coefficient of
More informationROLLING STOCK BRAKING PERFORMANCE EVALUATION UNDER LOW ADHESION CONDITIONS
11 th International Conference on Vibration Problems Z. Dimitrovová et al. (eds.) Lisbon, Portugal, 9-12 September 2013 ROLLING STOCK BRAKING PERFORMANCE EVALUATION UNDER LOW ADHESION CONDITIONS Marco
More informationC 2. The average speed of a car that travels 500 km in 5 hours is a. 10 km/h. b km/h. c. 100 km/h. d. 1,000 km/h
Name: KEY IP 644 lock: Date: / / Review Packet: Position, Distance, Displacement, Motion, Speed and Velocity Multiple Choice C 1. When a driver checks her speedometer, she is checking a. acceleration.
More information57:022 Principles of Design II Final Exam Solutions - Spring 1997
57:022 Principles of Design II Final Exam Solutions - Spring 1997 Part: I II III IV V VI Total Possible Pts: 52 10 12 16 13 12 115 PART ONE Indicate "+" if True and "o" if False: + a. If a component's
More informationP D = 5 W / 6 W Transient Voltage Suppressor. Description. Package SZ-10. Features. Selection Guide. Applications. Typical Application
P D = 5 W / 6 W Transient Voltage Suppressor SZ-0N Series Data Sheet Description The SZ-0N series are power Zener diodes designed for the protection of automotive electronic units, especially from the
More informationCOMPOSITE REPRESENTATION OF BOND GRAPHS AND BLOCK DIAGRAMS FOR CONTROLLED SYSTEMS
COMPOSITE REPRESENTATION OF BOND GRAPHS AND BLOCK DIAGRAMS FOR CONTROLLED SYSTEMS Engr. Lubna Moin Dr. Vali Uddin (e-mail: engr_lubna@yahoo.com) (e-mail v_uddin@hotmail.com) National University of Sciences
More informationDegradable Agreement in the Presence of. Byzantine Faults. Nitin H. Vaidya. Technical Report #
Degradable Agreement in the Presence of Byzantine Faults Nitin H. Vaidya Technical Report # 92-020 Abstract Consider a system consisting of a sender that wants to send a value to certain receivers. Byzantine
More informationSOP Release. FEV Chassis Reliable Partner in Chassis Development. FEV Chassis Applications and Activities. Concept Layout. Design
CHASSIS Reliable Partner in Chassis Development FEV Chassis Applications and Activities Founded in 1978, FEV is an internationally recognized leader in the design and development of internal combustion
More informationVirtual Data Evaluation for ABS Maneuvers on Rough Roads
Virtual Data Evaluation for ABS Maneuvers on Rough Roads Complete Vehicle Simulation for Virtual Data Evaluation in Highly Dynamical ABS Deceleration Processes on Rough Roads S. Brandes 1, Dr. Sedlaczek
More informationFORCE AND MOTION SEPUP UNIT OVERVIEW
FORCE AND MOTION SEPUP UNIT OVERVIEW Listed below is a summary of the activities in this unit. Note that the total teaching time is listed as 26-32 periods of approximately 50 minutes (approximately 5-6
More informationUNIVERSITY OF MASSACHUSETTS Dept. of Electrical & Computer Engineering. Fault Tolerant Computing ECE 655
UNIVERSITY OF MASSACHUSETTS Dept. of Electrical & Computer Engineering Fault Tolerant Computing ECE 655 Part 1 Introduction C. M. Krishna Fall 2006 ECE655/Krishna Part.1.1 Prerequisites Basic courses in
More informationPractical Applications of Reliability Theory
Practical Applications of Reliability Theory George Dodson Spallation Neutron Source Managed by UT-Battelle Topics Reliability Terms and Definitions Reliability Modeling as a tool for evaluating system
More informationTransport. Pupil Booklet
Duncanrig Secondary School East Kilbride S3 Physics Elective Transport Pupil Booklet Name: Class: Aspects of the following outcomes in bold are covered by this topic of work. SCN 4-07a I can use appropriate
More informationToward a Definition of Modeling Power for Stochastic Petri Net Models
Toward a Definition of Modeling Power for Stochastic Petri Net Models Gianfranco Ciardo Duke University Proc. of the Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987
More informationWorksheet 3. Sketch velocity vs time graphs corresponding to the following descriptions of the motion of an object.
Worksheet 3 Sketch velocity vs time graphs corresponding to the following descriptions of the motion of an object. 1. The object is moving away from the origin at a constant (steady) speed. 2. The object
More informationChapter 8. Calculation of PFD using Markov
Chapter 8. Calculation of PFD using Markov Mary Ann Lundteigen Marvin Rausand RAMS Group Department of Mechanical and Industrial Engineering NTNU (Version 0.1) Lundteigen& Rausand Chapter 8.Calculation
More informationMIT Manufacturing Systems Analysis Lectures 6 9: Flow Lines
2.852 Manufacturing Systems Analysis 1/165 Copyright 2010 c Stanley B. Gershwin. MIT 2.852 Manufacturing Systems Analysis Lectures 6 9: Flow Lines Models That Can Be Analyzed Exactly Stanley B. Gershwin
More informationIdentifying multiple RFID tags in high interference environments
Identifying multiple RFID tags in high interference environments Jonnatan Avilés-González jonnatan.aviles@gmail.com Tecnológico de Monterrey Neale R. Smith nsmith@itesm.mx Tecnológico de Monterrey César
More informationNotes for Math 450 Stochastic Petri nets and reactions
Notes for Math 450 Stochastic Petri nets and reactions Renato Feres Petri nets Petri nets are a special class of networks, introduced in 96 by Carl Adam Petri, that provide a convenient language and graphical
More informationAnswers to selected exercises
Answers to selected exercises A First Course in Stochastic Models, Henk C. Tijms 1.1 ( ) 1.2 (a) Let waiting time if passengers already arrived,. Then,, (b) { (c) Long-run fraction for is (d) Let waiting
More information