Kamil Rosiak

Analyzing Variability in 25 Years of Industrial Legacy Software

2019

In certain domains, safety-critical software systems may remain operational for decades. To comply with changing requirements, new system variants are commonly created by copying and modifying existing ones. Typically denoted clone-and-own, software quality and overall …

A model-based mutation framework for IEC61131-3 manufacturing systems

2023 · at - Automatisierungstechnik

Abstract This article presents a model-based mutation framework for creating mutant systems implemented in IEC61131-3 languages. The framework is based on a meta-model of the IEC61131-3 standard. It supports 21 mutation operations, such as the …