* This work is supported by the Commission of the European Union (Project no. G3RD CT199-00058) Abstract The growing importance of on-board diagnosis for automobiles demands for a close integration of diagnostic tasks in the entire design process. This report describes work carried out to date within the European project „Integrated Design Process for onboard Diagnosis„ (IDD). It presents an an...

Im Rahmen der präventiven Qualitätsmanagement-Methode FMEA (Failure Mode and Effects Analysis) wird jedes Risikoelement durch die Parameter Bedeutung (B), Auftretenswahrscheinlichkeit (A) und Entdeckungswahrscheinlichkeit (E) charakterisiert. Um die Risikoelemente rangieren zu können, wird für jedes Risikoelement eine Risikoprioritätszahl (RPZ) berechnet. Für diese Berechnung existieren verschi...

The development of safety critical systems becomes even harder since the complexity of these systems grows continuously. Moreover, this kind of process involves the use of powerful design methods and precise reliability techniques that utilize dissimilar models and construction policy. In this article we propose a method to unify and enhance this process by linking functional design phase using...

It has been suggested that goal-directed actions performed under full vision are immune to certain visual illusions, while movements relying on perception-based visual information are deceived by them (Milner & Goodale, 1995). Consequently, pointing movements should be deceived by visual illusions when a delay is introduced (memory demands) or when antipointing (spatial imagery) is required. In...

015-0344 Security risks in service offshoring/outsourcing: an assessment model based on the Failure Mode and Effect Analysis Guido Nassimbeni, University of Udine, Via delle scienze 208, 33100 Udine, Italy [email protected], +39 320 4366017 Marco Sartor, University of Udine, Via delle Scienze 208, 33100 Udine, Italy [email protected] , +39 328 2198896 Daiana Dus, CASCC, Via Bogino 9, 10123 Tor...

A multiagent diagnostic system implemented in a ProtégéJADE-JESS environment interfaced with a dynamic simulator and database services is described in this paper. The proposed system architecture enables the use of a combination of diagnostic methods from heterogeneous knowledge sources. The process ontology and the process agents are designed based on the structure of the process system, while...

Studies suggest that when the lower-potency estrogen, estriol, is administered topically, it does not increase the risk of hormone-dependent cancers of the breast or endometrium (uterine lining).1-3 However, having weaker estrogenic effects does not mean that estriol has none of the benefits that come with more potent estrogens. Studies suggest that estriol reduces symptoms of menopause, such a...

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is pres...

Der Beitrag stellt ein softwaregestütztes Modell vor, in dem methodische, softwaretechnische und organisatorische Ansätze zu einem Werkzeug für das präventive Risikomanagement zusammengeführt sind. Das Modell verknüpft folgende softwaregestützte Methoden mit dem Risikomanagementprozess: 1. Risikobeurteilung: Einsatz der softwaregestützten FMEA (FehlerMöglichkeits und Einfluss-Analyse) und weite...

Failure detection and group membership are two important components of fault-tolerant distributed systems. Understanding their role is essential when developing efficient solutions, not only in failure-free runs, but also in runs in which processes do crash. While group membership provides consistent information about the status of processes in the system, failure detectors provide inconsistent...