HATS - A formal software product line engineering methodology
Paper in proceedings, 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

Author

D. Clarke

KU Leuven

Nikolay Diakov

Fredhopper B.V

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers)

Einar Broch Johnsen

University of Oslo

German Puebla

Technical University of 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,

Subject Categories

Production Engineering, Human Work Science and Ergonomics

Software Engineering

Embedded Systems

More information

Latest update

9/15/2020