A formal approach for correct-by-construction system substitution - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A formal approach for correct-by-construction system substitution

Résumé

The substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when given conditions hold. This contribution summarizes our proposal to define a formal setting for proving the correctness of system substitution. It relies on refinement and on the Event-B method.
Fichier principal
Vignette du fichier
Babin_13147.pdf (256.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04080728 , version 1 (25-04-2023)

Identifiants

Citer

Guillaume Babin. A formal approach for correct-by-construction system substitution. European Dependable Computing Conference (EDCC 2014), May 2014, Newcastle, United Kingdom. pp.1-3, ⟨10.48550/arXiv.1404.7513⟩. ⟨hal-04080728⟩
19 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More