Deltaecore-A model-based delta language generation framework

C Seidl, I Schaefer, U Aßmann - 2014 - dl.gi.de
Software product lines (SPLs) and software ecosystems (SECOs) represent families of
closely related software systems in terms of configurable variable assets. Delta modeling is …

Safety analysis of software product lines using state-based modeling

J Liu, J Dehlinger, R Lutz - Journal of Systems and Software, 2007 - Elsevier
The difficulty of managing variations and their potential interactions across an entire product
line currently hinders safety analysis in safety-critical, software product lines. The work …

Safety-driven design for software-intensive aerospace and automotive systems

MV Stringfellow, NG Leveson… - Proceedings of the …, 2010 - ieeexplore.ieee.org
Too often, systems are designed and then an attempt is made to add safety features or to
prove that the design is safe after the fact. Safety has to be designed into a system from the …

Functional safety and variability: can it be brought together?

M Schulze, J Mauersberger, D Beuche - Proceedings of the 17th …, 2013 - dl.acm.org
Today's product development creates multiple products over time, often by using reuse
strategies like" Clone and Own", leading to very inefficient reuse of artifacts in the long term …

Enhancing Deployment Variability Management by Pruning Elements in Deployment Models

M Stötzner, F Klinaku, RD Pesl, S Becker - Proceedings of the IEEE/ACM …, 2023 - dl.acm.org
Since applications often need to be deployed in different variants, deployment technologies,
such as Ansible and Terraform, support modeling variability. Unfortunately, applications …

A safety case approach to assuring configurable architectures of safety-critical product lines

I Habli, T Kelly - … Systems: First International Symposium, ISARCS 2010 …, 2010 - Springer
Companies are increasingly adopting a product-line approach to the development of safety-
critical systems. A product line offers large-scale reuse by exploiting common features and …

Plfaultcat: A product-line software fault tree analysis tool

J Dehlinger, RR Lutz - Automated Software Engineering, 2006 - Springer
Industry currently employs a product line approach to software development and
deployment as a means to enhance quality while reducing development cost and time. This …

System safety as an emergent property in composite systems

J Black, P Koopman - 2009 IEEE/IFIP International Conference …, 2009 - ieeexplore.ieee.org
Decomposition is used to manage system complexity, but is problematic for emergent
properties such as system safety. Previously, we introduced Indirect Control Path Analysis …

Bi-directional safety analysis of product lines

Q Feng, RR Lutz - Journal of Systems and Software, 2005 - Elsevier
As product-line engineering becomes more widespread, more safety-critical software
product lines are being built. This paper describes a structured method for performing safety …

Modeling the variability of system safety analysis using state-machine diagrams

L Bressan, AL de Oliveira, FC Campos… - … Symposium on Model …, 2022 - Springer
Abstract Software Product Lines (SPLs) enable and maximize reuse of software artefacts,
using software variability as central technique. In Model-Based Safety Analysis, system and …