<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Zoeteweij, Peter</style></author><author><style face="normal" font="default" size="100%">Pietersma, Jurryt</style></author><author><style face="normal" font="default" size="100%">Rui Abreu</style></author><author><style face="normal" font="default" size="100%">Feldman, Alexander</style></author><author><style face="normal" font="default" size="100%">Van Gemund, Arjan JC</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Automated fault diagnosis in embedded systems</style></title><secondary-title><style face="normal" font="default" size="100%">Second International Conference on Secure System Integration and Reliability Improvement - SSIRI</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/zpafg_bces07.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><pub-location><style face="normal" font="default" size="100%">Yokohama, Japan</style></pub-location><pages><style face="normal" font="default" size="100%">103–110</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Automated fault diagnosis is emerging as an important factor in achieving an acceptable and competitive cost/dependability ratio for embedded systems. In this paper, we introduce model-based diagnosis and spectrum-based fault localization, two state-of-the-art approaches to fault diagnosis that jointly cover the combination of hardware and control software typically found in embedded systems. In this paper we present an introduction to the eld, discuss our recent research results, and report on the application on industrial test cases.&lt;/p&gt;
</style></abstract></record></records></xml>