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.

Formal methods

Software product lines



D. Clarke

KU Leuven

Nikolay Diakov

Fredhopper B.V. Amsterdam

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. Amsterdam

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

978-186220274-0 (ISBN)

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


Produktionsteknik, arbetsvetenskap och ergonomi


Inbäddad systemteknik

Mer information

Senast uppdaterat