Towards a categorical framework to ensure correct software evolutions

Authors:
Sylvain Bouveret;Julien Brunel;David Chemouil;Fabien Dagnaty
Affiliations:
ONERA-DTIM, 2, avenue Édouard Belin, BP74025, 31055 Toulouse Cedex 4, FRANCE;ONERA-DTIM, 2, avenue Édouard Belin, BP74025, 31055 Toulouse Cedex 4, FRANCE;ONERA-DTIM, 2, avenue Édouard Belin, BP74025, 31055 Toulouse Cedex 4, FRANCE;Institut TELECOM / TELECOM Bretagne, Université Européenne de Bretagne, Technopôle Brest-Iroise - CS 83818, 29238 Brest Cedex 3, France
Venue:
ICDEW '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering Workshops
Year:
2011

Citing 0
Cited 2

Report on the third workshop on hot topics in software upgrades (HotSWUp'11)

ACM SIGOPS Operating Systems Review
Formalizing correctness criteria of dynamic updates derived from specification changes

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed software, such as satellite software are now developed and managed by several actors. In this context supporting the maintenance and therefore the evolution of such applications is complex and need a formal framework. In this article, we propose a first step towards such a formal framework to ensure the correctness of software evolutions. Using category theory, we can model software and represent patches. This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software.