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 not allow the realization of MSPLs. In this paper, we extend DOP to support MSPL development and provide the first holistic modeling approach for MSPLs that spans problem, solution and configuration space. The main concept is the extension of DOP with the possibility to import other SPLs or MSPLs into a new MSPL. By expressing constraints amongst the imported SPLs, a common configuration and product generation is enabled.

Radiotherapy with heavy ions is an upcoming cancer treatment method with to date unparalleled precision. It associates higher control rates particularly for radiation resistant tumor species with reduced adverse effects compared to conventional photon therapy. The accelerator beam lines and structures of the Heidelberg Ion Beam Therapy Center (HIT) have been designed under the leadership of GSI, Darmstadt with contributions of the IAP Frankfurt. Currently, the accelerator is under commissioning, while the injector linac has been completed. When the patient treatment begins in 2008, HIT will be the first medical heavy ion accelerator in Europe. This presentation will provide an overview about the project, with special attention given to the 14.5 GHz electron cyclotron resonance (ECR) ion sources in operation with carbon, hydrogen, helium, and oxygen, and the experience of one year of continuous operation. It also displays examples for beam emittances, measured in the low energy beam transport. In addition to the outlook of further developments at the ECR ion sources for a continuously stable operation, this paper focuses on some of the technical processings of the past year.

Abstract. Domain feature models concisely express commonality and variability among variants of a software product line. For separation of concerns, e.g., due to legal restrictions, technical considerations, and business requirements, multi-view approaches restrict the configuration choices on feature models for different stakeholders. However, recent approaches lack a formalization for precise, yet flexible specifications of views that ensure every derivable configuration perspective to obey feature model semantics. Here, we introduce a novel approach for clustering feature models to create multi-perspectives. Such customized perspectives result from composition of multiple concern-relevant views. A structured view model is used to organize feature groups, whereat a feature can be contained in multiple views. We provide formalizations for view composition and guaranteed consistency of the resulting perspectives w.r.t. feature model semantics. Thereupon, an efficient algorithm to verify consistency for entire clusterings is provided. We present an implementation and evaluate our concepts on two case studies.

The HIT (Heidelberg Ion Beam Therapy Center) is the first hospital-based treatment facility in Europe where patients can be irradiated with protons and carbon ions. Since the commissioning starting in 2006 two 14.5 GHz electron cyclotron resonance ion sources are routinely used to produce a variety of ion beams from protons up to oxygen. In the future a helium beam for regular patient treatment is requested, therefore a third ion source (Supernanogan source from PANTECHNIK S.A.) will be integrated. This third ECR source with a newly designed extraction system and a spectrometer line is installed at a test bench at HIT to commission and validate this section. Measurements with different extraction system setups will be presented to show the improvement of beam quality for helium, proton, and carbon beams. An outlook to the possible integration scheme of the new ion source into the production facility will be discussed.

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 mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable or that there are contradictions in the variability model. In this paper, we propose an approach to discover and to explain contradictions in attributed feature models efficiently in order to assist the developer with the correction of mistakes. We use extended feature models with attributes and arithmetic constraints, translate them into a constraint satisfaction problem and explore those for contradictions. When a contradiction is found, the constraints are searched for a set of contradicting relations by the QuickXplain algorithm.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301