With distributed functions taking over more and more safety-relevant functions in modern cars, their possible faulty behaviour has to be detected and dangerous effects to be prevented or mitigated. Additionally, information about the fault’s root cause has to be provided to support repairs in the garage. These are the central tasks of automotive diagnosis, which is arguably a prime application for the methods and tools developed by the diagnosis community at large. However, our experiences have shown that the constraints imposed by this domain, which has a great need for efficient and accurate diagnoses, make it very difficult to use some of the existing methods out of the box. The main contribution of this paper is therefore to introduce a methodology centred around the different stakeholders of automotive diagnosis, in order to facilitate the employment of model-based diagnosis approaches for the diagnosis of vehicle functions as they are part of most modern cars. Besides, we provide an in-depth discussion of some of the challenges imposed by automotive diagnosis and relate these to existing diagnosis methods where feasible, thereby also further motivating our methodology.
How to Cite
applications: automotive, Model-based diagnosis
(Bauer, 2007) Andreas Bauer. Model-based runtime analysis of distributed reactive systems. PhD thesis, Technische Universita ̈t Mu ̈nchen, 2007.
(Broy, M., 2006) Broy, M. Challenges in Automotive Software Engineering. In International Conference on Software Engineering (ICSE 2006), pages 33– 42, Shanghai, China, May 2006. ACM.
(Buchanan, B. and Shortliffe, E., 1984) Buchanan, B. and Shortliffe, E., editors. Rule-Based Expert Systems—The MYCIN Experiments of the Stan- ford Heuristic Programming Project, volume 1 of The Addison-Wesley Series in Artificial Intelligence. Addison-Wesley, 1984.
(Ioannou, P. and Chien, C., 1993) Ioannou, P. and Chien, C. Autonomous Intelligent Cruise Control. IEEE Transactions on Vehicular Technology, 42(4):657 – 672, 1993.
(Isermann, R., 2004) Isermann, R. Model-based fault detection and diagnosis: status and applications. In Proceedings of the 16th IFAC Symposium on Automatic Control in Aerospace, St. Petersburg, Russia, June 2004.
(Kleer, de J. and Williams, B. C., 1987) Kleer, de J. and Williams, B. C. Diagnosing multiple faults. AI, 32(1):97–130, 1987.
(MISRA, 2004) Motor Industry Software Reliability Association MISRA. MISRA-C:2004 – Guidelines for the use of the C language in critical systems, 2004.
(Nolte, T. et al., 2005) Nolte, T., Hansson, H., and Bello, L. L. Automotive Communications - Past, Current and Future. In 10th IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2005), volume 1, 2005.
(Nyberg, M. et al., 2001) Nyberg, M., Stutte, T., and Wilhelmi, V. Model based diagnosis of the air path of an automotive Diesel engine. In IFAC Workshop: Advances in Automotive Control, 2001.
(Picardi, C. et al., 2002) Picardi, C., Bray, R., Cascio, F., Console, L., Dague, P., Dressler, O., Millet, D., Rehfus, B., Struss, P., and Valle ́e, C. IDD: Integrating diagnosis in the design of automotive systems. In Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002), pages 628 – 632, Lyon, France, July 21 – 26 2002.
(Prestl, W. et al., 2000) Prestl, W., Sauer, T., Steinle, J., and Tschernoster, O. The BMW active cruise control ACC. Society of Automotive Engineers (SAE) Transactions, 109(7):119–125, 2000.
(Pretschner, A. et al., 2007) Pretschner, A., Broy, M., Kru ̈ger, I., and Stauner, T. Software engineering for automotive systems: A roadmap. In Future of Software Engineering (FOSE’07), pages 55 – 71. IEEE Computer Society, Mai 2007.
(Reiter, R., 1987) Reiter, R. A theory of diagnosis from first principles. artificial Intelligence
(Sampath, M. et al., 1995) Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneket- zis, D. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9):1555–1575, September 1995.
(Stamatis, D. H., 2003) Stamatis, D. H. Failure Mode and Effect Analysis: FMEA from theory to execution. American Society for Quality (ASQ), 2. edition, 2003.
(Struss, 2006) P. Struss. A model-based methodology for the integration of diagnosis and fault analysis during the entire life cycle. In Proc. of SAFEPRO- CESS 2006. Elsevier, 2006.
(Thiel, S. and Hein, A., 2002) Thiel, S. and Hein, A. Modeling and using product line variability in automotive systems. IEEE Software, 19:66–72, 2002.
(Tripakis, S., 2009) Tripakis, S. A combined on- line/off-line framework for black-box fault diagnosis. In 9th International Workshop on Runtime Verification (RV 2009), pages 152 – 169, Grenoble, France, 2009. Springer
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.