Tim Winkelmann

Development of a Pepper Pot Emittance Measurement Device for the HIT-LEBT

R. Cee, C. Dorn, Eike Feldmeier, T. Haberer et autres

The Heidelberg Ion Beam Therapy Centre (HIT) is a synchrotron based medical accelerator facility for the treatment of cancer patients with ions. Since the first treatment in November 2009 about 7000 patients have been irradiated with protons or carbon ions and, since …

de (code pays fourni par la source)

Variability Hiding in Contracts for Dependent Software Product Lines

Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel et autres

Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A challenge with such dependent product lines is …

de (code pays fourni par la source)

Recommissioning of the Marburg Ion-beam Therapy Centre (MIT) Accelerator Facility

U. Scheeler, R. Cee, Eike Feldmeier, M. Galonska et autres

The Marburg Ion-Beam Therapy Centre (MIT), located in Marburg, Germany, is in clinical operation since 2015. MIT is designed for precision cancer treatment using beams of protons or carbon nuclei, employing the raster scanning technique. The accelerator facility consists of a linac-synchrotron …

de (code pays fourni par la source)

A software product line of feature modeling notations and cross-tree constraint languages

Christoph Seidl, Tim Winkelmann, Ina Schaefer

Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts

Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster et autres

Systematic reuse of software artifacts can be achieved with software product lines, which represent a family of similar software systems.A variability model, e.g., feature model, describes their commonalities and variabilities and serves as a basis for a product configuration, i.e., the selection …

Detecting and Explaining Conflicts in Attributed Feature Models

Uwe Lesta, Ina Schaefer, Tim Winkelmann

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to …

de (code pays fourni par la source)

Conceptual Design of a Novel RFQ for Medical Accelerators

R. Cee, Eike Feldmeier, T. Haberer, Andreas Joachim Peters et autres

At the Heidelberg Ion Beam Therapy Centre HIT we operate a 4-rod RFQ as first stage of a 7 MeV/u injector linac followed by an IH-DTL. During the first years of patient treatment the injector performance was perfectly adequate, even though the …

de (code pays fourni par la source)

Delta-oriented multi software product lines

Ferruccio Damiani, Ina Schaefer, Tim Winkelmann

Modern software systems outgrow the scope of traditional software product lines (SPLs) resulting in multi software product lines (MSPLs) with many interconnected subsystem versions and variants. Delta-oriented programming (DOP) is a flexible, modular approach for implementing SPLs, but DOP so far does …

it, de (code pays fourni par la source)

Automated verification of feature model configuration processes based on workflow Petri nets

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

Modern software systems are highly configurable in order to satisfy diverse customer requirements and application contexts. Feature models provide a well-established formalism for tailoring configuration spaces of applications. Thereupon, multi-view staged configuration approaches modularize feature models for separation of concerns and apply …

de (code pays fourni par la source)

Improvements for extending the time between maintenance periods for the Heidelberg ion beam therapy center (HIT) ion sources

Tim Winkelmann, R. Cee, T. Haberer, B. Naas et autres

The clinical operation at the Heidelberg Ion Beam Therapy Center (HIT) started in November 2009; since then more than 1600 patients have been treated. In a 24/7 operation scheme two 14.5 GHz electron cyclotron resonance ion sources are routinely used to produce …

de (code pays fourni par la source)

Implementation of a Superconducting Electron Beam Ion Source into the HIT Ion Source Test Bench

E. T. Ritter, R. Cee, T. Haberer, Andreas Joachim Peters et autres

Cancer therapy with light heavy ions is now a well proven technology. Almost all facilities are running Electron Cyclotron Resonance Ion Sources (ECRIS) to produce carbon ions and protons as well. In the 1990’s the idea of using a Electron Beam Ion …

de (code pays fourni par la source)

Status Report at the Heidelberg Ion-Beam Therapy (Hit) Ion Sources and the Testbench

Tim Winkelmann, R. Cee, T. Haberer, B. Naas et autres