Results 1 - 10
of
14
3.2.2. Beyond Middleware-based Architectures for Interoperability 4
"... Activity Report 2012 Project-Team ARLES Software architectures and distributed ..."
Abstract
- Add to MetaCart
Activity Report 2012 Project-Team ARLES Software architectures and distributed
for software product
"... Noname manuscript No. (will be inserted by the editor) A novel model-based testing approach ..."
Abstract
- Add to MetaCart
(Show Context)
Noname manuscript No. (will be inserted by the editor) A novel model-based testing approach
Model checking, Maximal
"... Abstract. Software product line modeling aims at capturing a set of soft-ware products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fash-io ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Software product line modeling aims at capturing a set of soft-ware products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fash-ion, in terms of commonalities and orthogonalities. Such models are useful when analyzing and verifying all products of an SPL, since they provide a scheme for divide-and-conquer-style decomposition of the analysis or veri-fication problem at hand. We define an abstract class of SPLs for which variability models can be constructed that are optimal w.r.t. the chosen rep-resentation of sharing. We show how the constructed models can be fed into a previously developed algorithmic technique for compositional verification of control-flow temporal safety properties, so that the properties to be ver-ified are iteratively decomposed into simpler ones over orthogonal parts of the SPL, and are not re-verified over the shared parts. We provide tool sup-port for our technique, and evaluate our tool on a small but realistic SPL of cash desks.
darmstadt.de
"... As software product lines are increasingly used for safety-critical systems, researchers have adapted formal verification techniques such as model checking and theorem proving to cope with compile-time variability. While the focus of the ongoing debate lies on the verification mechanisms itself, it ..."
Abstract
- Add to MetaCart
As software product lines are increasingly used for safety-critical systems, researchers have adapted formal verification techniques such as model checking and theorem proving to cope with compile-time variability. While the focus of the ongoing debate lies on the verification mechanisms itself, it becomes increasingly difficult for researchers to maintain an overview about the various accompany-ing modeling techniques. We survey existing approaches as a first step towards a unifying view on variability mechanisms in formal modeling techniques for product lines. We illustrate the approaches by means of a running example to illustrate their commonalities and differences. Categories and Subject Descriptors
This work is licensed under the Creative Commons Attribution License. Spinal Test Suites for Software Product Lines
, 2014
"... A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing ..."
Abstract
- Add to MetaCart
(Show Context)
A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line.
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
"... Early experiments with software diversity in the mid 1970s investigated N-version programming and recov-ery blocks to increase the reliability of embedded systems. Four decades later, the literature about software diversity has expanded in multiple directions: goals (fault tolerance, security, softw ..."
Abstract
- Add to MetaCart
(Show Context)
Early experiments with software diversity in the mid 1970s investigated N-version programming and recov-ery blocks to increase the reliability of embedded systems. Four decades later, the literature about software diversity has expanded in multiple directions: goals (fault tolerance, security, software engineering), means (managed or automated diversity), and analytical studies (quantification of diversity and its impact). Our article contributes to the field of software diversity as the first work that adopts an inclusive vision of the area, with an emphasis on the most recent advances in the field. This survey includes classical work about design and data diversity for fault tolerance, as well as the cybersecurity literature that investigates ran-domization at different system levels. It broadens this standard scope of diversity to include the study and exploitation of natural diversity and the management of diverse software products. Our survey includes the most recent works, with an emphasis from 2000 to the present. The targeted audience is researchers and practitioners in one of the surveyed fields who miss the big picture of software diversity. Assembling the multiple facets of this fascinating topic sheds a new light on the field.
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
"... Abstract. We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with addi-tional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of s ..."
Abstract
- Add to MetaCart
Abstract. We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with addi-tional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two purposes. First, it contributes to a better understanding of the fundamental differences between the two approaches, basically concerning the way in which vari-ability constraints are represented (in terms of features and actions, respectively). Second, it paves the way to compare the modelling and analysis of product line behaviour in two different settings. 1
An Approach to Detect the Origin and Distribution of Software Defects in an Evolving Cyber-Physical System
"... Abstract. Cyber-Physical Systems (CPS) are usually developed by an incremental approach. A changing environment like demanding user re-quirements or legislation amendments lead often to multiple development paths in an evolving CPS. Hence, software variability plays an increas-ingly important role a ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Cyber-Physical Systems (CPS) are usually developed by an incremental approach. A changing environment like demanding user re-quirements or legislation amendments lead often to multiple development paths in an evolving CPS. Hence, software variability plays an increas-ingly important role adapting the characteristics of such CPS to different contexts. This paper focuses on software variability realized through a Software Product Line (SPL) more specifically. Thereby, variability and evolution are usually managed in different tools. However with respect to software defects, a holistic handling of variability and evolution is necessary to ensure a reliable software defect removal. Particularly, de-tecting software defects in different evolution stages and derived vari-ants is ordinary, but complex and error-prone. To close the gap between variability and evolution, this paper presents a systematic approach to combine both disciplines. In particular, we apply existing variant man-agement techniques in combination with software configuration manage-ment methods to determine a software defect’s origin and distribution in an evolving SPL. We apply our approach to a CPS from the automotive domain to show its industrial relevance and usefulness.
AThe Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
"... Early experiments with software diversity in the mid 1970’s investigated N-version programming and recov-ery blocks to increase the reliability of embedded systems. Four decades later, the literature about software diversity has expanded in multiple directions: goals (fault-tolerance, security, soft ..."
Abstract
- Add to MetaCart
(Show Context)
Early experiments with software diversity in the mid 1970’s investigated N-version programming and recov-ery blocks to increase the reliability of embedded systems. Four decades later, the literature about software diversity has expanded in multiple directions: goals (fault-tolerance, security, software engineering); means (managed or automated diversity) and analytical studies (quantification of diversity and its impact). Our paper contributes to the field of software diversity as the first paper that adopts an inclusive vision of the area, with an emphasis on the most recent advances in the field. This survey includes classical work about design and data diversity for fault tolerance, as well as the cybersecurity literature that investigates randomization at different system levels. It broadens this standard scope of diversity, to include the study and exploitation of natural diversity and the management of diverse software products. Our survey includes the most recent works, with an emphasis from 2000 to present. The targeted audience is researchers and practitioners in one of the surveyed fields, who miss the big picture of software diversity. Assembling the multiple facets of this fascinating topic sheds a new light on the field. 1.
