Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs

d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T¨ubingen, Germany http://www-sr.informatik.uni-tuebingen.de Large-scale medical systems—like magnetic resonance tomographs—are manufactured with a steadily growing number of product options. Different model lines can be equipped with large numbers of supplementary equipment options like (gradient) coils, amplifiers, magnets or imaging devices. The diversity in service and maintenance procedures, which may be different for each of the many product instances, grows accordingly. Therefore, instead of having one common on-line service handbook for all medical devices, SIEMENS fragments the on-line documentation into small (help) packages, out of which a suitable subset is selected for each individual product instance. Selection of the packages is controlled by XML documents, but the conditions can be transl...

• Type: Conference
• Year: 2004
• Where: ICFEM
• Authors: Carsten Sinz, Wolfgang Küchlin
• Keywords: ICFEM 2004, K¨uchlin Symbolic Computation, On-line Documentation, Product Instance