15 citations · 16 across the 3 of their papers we have counts for
4 papers · 1 filter
Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages
Kamil Rosiak, Alexander Schlie, Lukas Linsbauer +2
Automated production systems (aPS) are highly customized systems that consist of hardware and software. Such aPS are controlled by a programmable logic controller (PLC), often in a…
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Sönke Holthusen, Sophie Quinton, Ina Schaefer +2
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal…
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Matthias Kowal, Ina Schaefer
Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces a…
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 de…