HATS - A formal software product line engineering methodology
Paper i proceeding, 2010

Trust in software is typically achieved via stabilization efforts over long periods of use. Adaptation to changing circumstances, however, often requires substantial changes to the software. Changing a software system using standard manufacturing processes often results in quality regressions, invalidating trust. Formal methods provide a means for guaranteeing various properties of a software system that increase its trustworthiness. The HATS methodology aims to integrate formal methods for modeling changes of software systems in terms of variability and evolution, while preserving trustworthiness properties. This paper outlines how different formal methods are extended and integrated to build an industrially viable Software Product Line Engineering method for manufacturing highly adaptable and trustworthy software.

Software product lines

Formal methods

Methodology

Författare

D. Clarke

KU Leuven

Nikolay Diakov

Fredhopper B.V

Reiner Hähnle

Chalmers, Data- och informationsteknik

Einar Broch Johnsen

Universitetet i Oslo

German Puebla

Universidad Politecnica de Madrid

Balthasar Weitzel

Fraunhofer-Institut fur Experimentelles Software Engineering

Peter Wong

Fredhopper B.V

SPLC 2010 - Proceedings of the 14th International Software Product Line Conference

121-128

14th International Software Product Line Conference, SPLC 2010
Jeju Island, South Korea,

Ämneskategorier

Produktionsteknik, arbetsvetenskap och ergonomi

Programvaruteknik

Inbäddad systemteknik

Mer information

Senast uppdaterat

2020-09-15