Current OBD-II vehicle systems detect misfires by monitoring slight variances of crankshaft acceleration throughout power-strokes of each of the engine’s cylinders. If the PCM determines that the acceleration of the engine’s crankshaft is inappropriate, it concludes a misfire is detected. However, after this misfire is detected, the technician still needs to diagnose (isolate) the root-cause. Diagnosis is no easy task, especially with several potential subsystems that could be at fault: fuel injection, air-intake, sparkignition, and engine-mechanical. With this being said, it is difficult for many technicians to isolate the fault causing a misfire because of the wide range of root-cause possibilities within each of the subsystems. The proposed On-Board Diagnostics III contributes to the computer-aided detection and diagnosis of future-production vehicle faults. Several data-mining algorithms were investigated and applied to data parameters collected from misfire and misfire-free fault instances. Rules were then used to accurately classify future engine misfire fault instances.

No description available.

No description available.

Memory management unit (MMU) is a hardware component providing above all the translation of virtual addresses to physical addresses and thus providing secure isolation of kernel and processes. HelenOS is a research operating system which is being developed at MFF UK. The kernel of HelenOS uses hardware MMU of the processor for virtual to physical memory translation using paging. The goal of this work is to provide an overview of the techniques which can be used to (partially) substitute the functionality of MMU by other means. A proposed design, analysis and prototype implementation of an extension to HelenOS is also part of this work. This extension enables functionality of HelenOS on processors without MMU.

<p>In a system like a Scania heavy duty truck, faultcodes (DTCs) are generated and stored locally in the ECUs when components, e.g. sensors or actuators, malfunction. Tests are run periodically to detect failure in the system. The test results are processed by the diagnostic system that tries to isolate the faulty components and set local faultcodes.</p><p>Currently, in a Scania truck, local diagnoses are only based on local diagnostic information, which the DTCs are based upon. The diagnosis statement can, however, be more complete if diagnoses from other ECUs are considered. Thus a system that extends the local diagnoses by exchanging diagnostic information between the ECUs is desired. The diagnostic information to share and how it should be done is elaborated in this thesis. Further, a model of distributed diagnosis is given and a few distributed diagnostic algorithms for transmitting and receiving diagnostic information are presented.</p><p>A basic idea that has influenced the project is to make the diagnostic system scalable with respect to hardware and thereby making it easy to add and remove ECUs. When implementing a distributed diagnostic system in networked real-time embedded systems, technical problems arise such as memory handling, process synchronization and transmission of diagnostic data and these will be discussed in detail. Implementation of a distributed diagnostic system is further complicated due to the fact that the isolation process is a non deterministic job and requires a non deterministic amount of memory.</p>

<p>This thesis investigates the possibility of improving black box fault diagnosis by a process called manifold learning, which simply stated is a way of finding patterns in recorded sensor data. The idea is that there is more information in the data than is exploited when using simple classification algorithms such as k-Nearest Neighbor and Support Vector Machines, and that this additional information can be found by using manifold learning methods. To test the idea of using manifold learning, data from two different fault diagnosis scenarios is used: A Scania truck engine and an electrical system called Adapt. Two linear and one non-linear manifold learning methods are used: Principal Component Analysis and Linear Discriminant Analysis (linear) and Laplacian Eigenmaps (non-linear).Some improvements are achieved given certain conditions on the diagnosis scenarios. The improvements for different methods correspond to the systems in which they are achieved in terms of linearity. The positive results for the relatively linear electrical system are achieved mainly by the linear methods Principal Component Analysis and Linear Discriminant Analysis and the positive results for the non-linear Scania system are achieved by the non-linear method Laplacian Eigenmaps.The results for scenarios without these special conditions are not improved however, and it is uncertain wether the improvements in special condition scenarios are due to gained information or to the nature of the cases themselves.</p>

In complex and automated technological processes the effects of a fault can quickly propagate and lead to degradation of process performance or even worse to a catastrophic failure. This means that faults have to be found as quickly as possible and decisions have to be made to stop the propagation of their effects and to minimize process performance degradation. The behavior of the process is affected in different ways by different faults and the fault can be found by ruling out faults for which the expected behavior of the process is not consistent with the observed behavior. In model-based diagnosis, a model describes the expected behavior of the process for the different faults. A device for finding faults is called a diagnosis system. In the diagnosis systems considered here, a number of tests check the consistency of different parts of the model, by using observations of the process. To be able to identify which fault that has occurred, the set of tests that is used must be carefully selected. Furthermore, to reduce the on-line computational cost of running the diagnosis system and to minimize the in general difficult and time-consuming work of tests construction, it is also desirable to use few tests. A two step design procedure for construction of a diagnosis systems is proposed and it provides the means for selecting which tests to use implicitly by selecting which parts of the model that should be tested with each test. Then, the test design for each part can be done with any existing technique for model-based diagnosis. Two different types of design goals concerning the capability of distinguishing faults is proposed. The first goal is to design a sound and complete diagnosis system, i.e., a diagnosis system with the following property. For any observation, the diagnosis system computes exactly the faults that together with the observation are consistent with the model. The second goal is specified by which faults that should be distinguished from other faults, and this is called the desired isolability. Given any of these two design goals, theory and algorithms for selecting a minimum cardinality set of parts of the model are presented. Only parts with redundancy can be used for test construction and a key result is that there exists a sound and complete diagnosis system based on the set of all minimal parts with redundancy in the model. In differentialalgebraic models, it is in general difficult to analytically identify parts with redundancy, because it corresponds to variable elimination or projection. It is formally shown that redundant parts can be found by using a structural approach, i.e., to use only which variables that are included in each equation. In the structural approach, parts with more equations than unknowns are identified with efficient graph-theoretical tools. A key contribution is a new algorithm for finding all minimal parts with redundancy of the model. The efficiency of the algorithm is demonstrated on a truck engine model and compared to the computational complexity of previous algorithms. In conclusion, tools for test selection have been developed. The selection is based on intuitive requirements such as soundness or isolability requirements specified by the diagnosis system designer. This leads to a more straightforward design of diagnosis systems, valuable engineering time can be saved, and the resulting diagnosis systems use minimum number of tests, i.e., the on-line computational complexity of the resulting diagnosis systems become low.

To improve safety, reliability, and efficiency of automotive vehicles and other technical applications, embedded systems commonly use fault diagnosis consisting of fault detection and isolation. Since many systems are constructed as distributed embedded systems including multiple control units, it is necessary to perform global fault isolation using for example a central unit. However, the drawbacks with such a centralized method are the need of a powerful diagnostic unit and the sensitivity against disconnections of this unit. Two alternative methods to centralized fault isolation are presented in this thesis. The first method performs global fault isolation by a istributed sequential computation. For a set of studied systems, themethod gives, compared to a centralizedmethod, amean reduction inmaximumprocessor load on any unitwith 40 and 70%for systems consisting of four and eight units respectively. The second method instead extends the result of the local fault isolation performed in each unit such that the results are globally correct. By only considering the components affecting each specific unit, the extended result in each agent is kept small. For a studied automotive vehicle, the second method gives, compared to a centralized method, a mean reduction in the sizes of the results and the maximum processor load on any unit with 85 and 90% respectively. To perform fault diagnosis, diagnostic tests are commonly used. If the additional evaluation of tests can not improve the fault isolation of a component then the component is ready. Since the evaluation of a test comes with a cost in for example computational resources, it is valuable to minimize the number of tests that have to be evaluated before readiness is achieved for all components. A strategy is presented that decides in which order to evaluate tests such that readiness is achieved with as few evaluations of tests as possible. Besides knowing how fault diagnosis is performed, it is also interesting to assess the effect that fault diagnosis has on for example safety. Since fault tree analysis often is used to evaluate safety, this thesis contributes with a systematic method that includes the effect of fault diagnosis in fault trees. The safety enhancement due to the use of fault diagnosis can thereby be analyzed and quantified.

Traditional diagnosis has been performed with hardware redundancy and limit checking. The development of more powerful computers have made a new kind of diagnosis possible. Todays computing power allows models of the system to be run in real time and thus making model-based diagnosis possible. The objective with this thesis is to investigate the potential of model-based diagnosis, especially when combined with active diagnosis. The diagnosis system has been applied on a model of the JAS39 Gripen fuel pressurization system. With the sensors available today no satisfying diagnosis system can be built, however, by adding a couple of sensors and using active model-based diagnosis all faults can be detected and isolated into a group of at most three components. Since the diagnosis system in this thesis only had a model of the real system to be tested at, this thesis is not directly applicable on the real system. What can be used is the diagnosis approach and the residuals and decision structure developed here.

In a system like a Scania heavy duty truck, faultcodes (DTCs) are generated and stored locally in the ECUs when components, e.g. sensors or actuators, malfunction. Tests are run periodically to detect failure in the system. The test results are processed by the diagnostic system that tries to isolate the faulty components and set local faultcodes. Currently, in a Scania truck, local diagnoses are only based on local diagnostic information, which the DTCs are based upon. The diagnosis statement can, however, be more complete if diagnoses from other ECUs are considered. Thus a system that extends the local diagnoses by exchanging diagnostic information between the ECUs is desired. The diagnostic information to share and how it should be done is elaborated in this thesis. Further, a model of distributed diagnosis is given and a few distributed diagnostic algorithms for transmitting and receiving diagnostic information are presented. A basic idea that has influenced the project is to make the diagnostic system scalable with respect to hardware and thereby making it easy to add and remove ECUs. When implementing a distributed diagnostic system in networked real-time embedded systems, technical problems arise such as memory handling, process synchronization and transmission of diagnostic data and these will be discussed in detail. Implementation of a distributed diagnostic system is further complicated due to the fact that the isolation process is a non deterministic job and requires a non deterministic amount of memory.